CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
The Data Management Plan describes the data management life cyclefor all data sets that will be collected processed or generated by the action It is adocument describing what data will be collected processed or generated andfollowing what methodology and standards whether and how this data will beshared andor made open and how it will be curated and preserved
Communication, Dissemination & Outreach Plan (s’ouvre dans une nouvelle fenêtre)The plan describes the planned measures to maximize the impact ofthe project, including the dissemination and exploitation measures that are planned,and the target group(s) addressed. Regarding communication measures and publicengagement strategy, the aim is to inform and reach out to society and show theactivities performed, and the use and the benefits the project will have for citizens.
Publications
Auteurs:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Publié dans:
Lecture Notes in Computer Science, Logic, Language, Information, and Computation, 2024
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-62687-6_4
Auteurs:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Publié dans:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
Éditeur:
IEEE
DOI:
10.1109/LICS56636.2023.10175684
Auteurs:
Anupam Das, Marianna Girlando
Publié dans:
Journal of Automated Reasoning, Numéro 67, 2023, ISSN 0168-7433
Éditeur:
Springer Science and Business Media LLC
DOI:
10.1007/s10817-023-09675-1
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible