CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will becurated and preserved.
The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.
Publikacje
Autorzy:
Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard
Opublikowane w:
Lecture Notes in Computer Science ISBN: 9783031620751, 2024
Wydawca:
Springer
DOI:
10.1007/978-3-031-62076-8_8
Autorzy:
Lanese, Ivan; Gössler, Gregor
Opublikowane w:
Lecture Notes in Computer Science ISBN: 14680, 2024
Wydawca:
Springer
DOI:
10.1007/978-3-031-62076-8_1
Autorzy:
Lanese, Ivan; Dal Lago, Ugo; Choudhury, Vikraman
Opublikowane w:
Lecture Notes in Computer Science ISBN: 9783031773815, 2024
Wydawca:
Springer
DOI:
10.48550/ARXIV.2409.11133
Autorzy:
Lanese, Ivan; Vidal, Germán
Opublikowane w:
Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024, ISBN 9798400711107
Wydawca:
Association for Computing Machinery
DOI:
10.1145/3678720.3685319
Autorzy:
Choudhury, Vikraman; Agapiev, Borislav; Sabry, Amr; Choudhury, Vikraman; Agapiev, Borislav; Sabry, Amr
Opublikowane w:
Scheme Workshop 2022, 2024
Wydawca:
Arxiv
DOI:
10.48550/ARXIV.2409.11106
Autorzy:
Choudhury, Vikraman; Suo, Ariadne, Si; Krishnaswami, Neel; Choudhury, Vikraman; Krishnaswami, Neel; Suo, Ariadne, Si
Opublikowane w:
WITS 2025 - Fourth Workshop on the Implementation of Type Systems, 2025
Wydawca:
HAL
Autorzy:
Ivan Lanese; Ugo Dal Lago; Vikraman Choudhury
Opublikowane w:
Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025), 2025
Wydawca:
HAL
Autorzy:
Cass Alexandru; Vikraman Choudhury; Jurriaan Rot; Niels van der Weide
Opublikowane w:
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, ISBN 9798400713477
Wydawca:
Association for Computing Machinery
DOI:
10.1145/3703595.3705873
Autorzy:
Simon Gay; Wind Wong; Vikraman Choudhury; Wind Wong; Vikraman Choudhury; Simon Gay
Opublikowane w:
Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF 2024), 2024
Wydawca:
HAL
Autorzy:
Fabbretti, Giovanni; Lanese, Ivan; Stefani, Jean-Bernard
Opublikowane w:
Reversible Computation: 16th International Conference, RC 2024, 2024, ISBN 978-3-031-62076-8
Wydawca:
Springer
DOI:
10.1007/978-3-031-62076-8_5
Autorzy:
Vikraman Choudhury, Simon J. Gay
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 9, 2025, ISSN 2475-1421
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3704848
Autorzy:
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Opublikowane w:
Logical Methods in Computer Science, Numer Volume 20, Numer 1, 2024, ISSN 1860-5974
Wydawca:
Centre pour la Communication Scientifique Directe (CCSD)
DOI:
10.46298/lmcs-20(1:11)2024
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników