CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Leistungen
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.
Veröffentlichungen
Autoren:
Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard
Veröffentlicht in:
Lecture Notes in Computer Science ISBN: 9783031620751, 2024
Herausgeber:
Springer
DOI:
10.1007/978-3-031-62076-8_8
Autoren:
Lanese, Ivan; Gössler, Gregor
Veröffentlicht in:
Lecture Notes in Computer Science ISBN: 14680, 2024
Herausgeber:
Springer
DOI:
10.1007/978-3-031-62076-8_1
Autoren:
Lanese, Ivan; Dal Lago, Ugo; Choudhury, Vikraman
Veröffentlicht in:
Lecture Notes in Computer Science ISBN: 9783031773815, 2024
Herausgeber:
Springer
DOI:
10.48550/ARXIV.2409.11133
Autoren:
Lanese, Ivan; Vidal, Germán
Veröffentlicht in:
Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024, ISBN 9798400711107
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3678720.3685319
Autoren:
Choudhury, Vikraman; Agapiev, Borislav; Sabry, Amr; Choudhury, Vikraman; Agapiev, Borislav; Sabry, Amr
Veröffentlicht in:
Scheme Workshop 2022, 2024
Herausgeber:
Arxiv
DOI:
10.48550/ARXIV.2409.11106
Autoren:
Choudhury, Vikraman; Suo, Ariadne, Si; Krishnaswami, Neel; Choudhury, Vikraman; Krishnaswami, Neel; Suo, Ariadne, Si
Veröffentlicht in:
WITS 2025 - Fourth Workshop on the Implementation of Type Systems, 2025
Herausgeber:
HAL
Autoren:
Ivan Lanese; Ugo Dal Lago; Vikraman Choudhury
Veröffentlicht in:
Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025), 2025
Herausgeber:
HAL
Autoren:
Cass Alexandru; Vikraman Choudhury; Jurriaan Rot; Niels van der Weide
Veröffentlicht in:
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, ISBN 9798400713477
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3703595.3705873
Autoren:
Simon Gay; Wind Wong; Vikraman Choudhury; Wind Wong; Vikraman Choudhury; Simon Gay
Veröffentlicht in:
Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF 2024), 2024
Herausgeber:
HAL
Autoren:
Fabbretti, Giovanni; Lanese, Ivan; Stefani, Jean-Bernard
Veröffentlicht in:
Reversible Computation: 16th International Conference, RC 2024, 2024, ISBN 978-3-031-62076-8
Herausgeber:
Springer
DOI:
10.1007/978-3-031-62076-8_5
Autoren:
Vikraman Choudhury, Simon J. Gay
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, ISSN 2475-1421
Herausgeber:
Association for Computing Machinery (ACM)
DOI:
10.1145/3704848
Autoren:
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 20, Ausgabe 1, 2024, ISSN 1860-5974
Herausgeber:
Centre pour la Communication Scientifique Directe (CCSD)
DOI:
10.46298/lmcs-20(1:11)2024
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor