CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Risultati finali
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 (si apre in una nuova finestra)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.
Pubblicazioni
Autori:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Pubblicato in:
Lecture Notes in Computer Science, Logic, Language, Information, and Computation, 2024
Editore:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-62687-6_4
Autori:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Pubblicato in:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
Editore:
IEEE
DOI:
10.1109/LICS56636.2023.10175684
Autori:
Anupam Das, Marianna Girlando
Pubblicato in:
Journal of Automated Reasoning, Numero 67, 2023, ISSN 0168-7433
Editore:
Springer Science and Business Media LLC
DOI:
10.1007/s10817-023-09675-1
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile