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 project’s quality management principles in a comprehensive manner to help partner beneficiaries carry out their activities with a high standard of quality. and describes the management procedures with details of risk management.
First version of the Dissemination and Exploitation (D&E) Plan, including Communication Activities (se abrirá en una nueva ventana)Creating a first version of the Dissemination, Exploitation (D&E) Plan, including Communication Activities.
Integration and Networking plan (se abrirá en una nueva ventana)To develop and execute integration and networking strategy to elevate the position in networks and to establish, maintain and develop long-term beneficial interactions and relations with stakeholders/ecosystem.
Plan for the data management describing the data management methods, how the data will be generated, processed, collected, stored and documented.
Publicaciones
Autores:
Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Publicado en:
Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-91121-7_10
Autores:
Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Publicado en:
Lecture Notes in Computer Science, Computer Aided Verification, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-98679-6_8
Autores:
Tomáš Dacík, Tomáš Vojnar
Publicado en:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90660-2_20
Autores:
Marius Bozga, Radu Iosif, Florian Zuleger
Publicado en:
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Editor:
IEEE
DOI:
10.48550/ARXIV.2408.01226
Autores:
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Publicado en:
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/IJCAI.2025/947
Autores:
David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Publicado en:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90653-4_2
Autores:
Beatrice Melani, Ezio Bartocci, Michele Chiari
Publicado en:
ACM Transactions on Embedded Computing Systems, Edición 24, 2025, ISSN 1539-9087
Editor:
Association for Computing Machinery (ACM)
DOI:
10.1145/3759917
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles