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 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 (öffnet in neuem Fenster)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.
Veröffentlichungen
Autoren:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Veröffentlicht in:
Lecture Notes in Computer Science, Logic, Language, Information, and Computation, 2024
Herausgeber:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-62687-6_4
Autoren:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Veröffentlicht in:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
Herausgeber:
IEEE
DOI:
10.1109/LICS56636.2023.10175684
Autoren:
Anupam Das, Marianna Girlando
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 67, 2023, ISSN 0168-7433
Herausgeber:
Springer Science and Business Media LLC
DOI:
10.1007/s10817-023-09675-1
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor