CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Rezultaty
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 (odnośnik otworzy się w nowym oknie)Creating a first version of the Dissemination, Exploitation (D&E) Plan, including Communication Activities.
Integration and Networking plan (odnośnik otworzy się w nowym oknie)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.
Publikacje
Autorzy:
Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Opublikowane w:
Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-91121-7_10
Autorzy:
Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Opublikowane w:
Lecture Notes in Computer Science, Computer Aided Verification, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-98679-6_8
Autorzy:
Tomáš Dacík, Tomáš Vojnar
Opublikowane w:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90660-2_20
Autorzy:
Marius Bozga, Radu Iosif, Florian Zuleger
Opublikowane w:
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Wydawca:
IEEE
DOI:
10.48550/ARXIV.2408.01226
Autorzy:
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Opublikowane w:
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Wydawca:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/IJCAI.2025/947
Autorzy:
David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Opublikowane w:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90653-4_2
Autorzy:
Beatrice Melani, Ezio Bartocci, Michele Chiari
Opublikowane w:
ACM Transactions on Embedded Computing Systems, Numer 24, 2025, ISSN 1539-9087
Wydawca:
Association for Computing Machinery (ACM)
DOI:
10.1145/3759917
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników