CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultado final
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 (se abrirá en una nueva ventana)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.
Publicaciones
Autores:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Publicado en:
Lecture Notes in Computer Science, Logic, Language, Information, and Computation, 2024
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-62687-6_4
Autores:
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger
Publicado en:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023
Editor:
IEEE
DOI:
10.1109/LICS56636.2023.10175684
Autores:
Anupam Das, Marianna Girlando
Publicado en:
Journal of Automated Reasoning, Edición 67, 2023, ISSN 0168-7433
Editor:
Springer Science and Business Media LLC
DOI:
10.1007/s10817-023-09675-1
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles