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
First version of the CHESS Data Management Plan.
Training and knowledge transfer needs and opportunities (SWOT) in the selected areas in South Moravia and Estonia (se abrirá en una nueva ventana)A document describing the training and knowledge transfer needs of the CHESS regions.
Risk Management Plan (se abrirá en una nueva ventana)A document outlining the risk management procedures of the CHESS project.
Dissemination, Exploitation and Communication Plan (se abrirá en una nueva ventana)Description of target groups, messaging and tailored dissemination channels.
Project website (se abrirá en una nueva ventana)Description of the project website.
Publicaciones
Autores:
Miroslav Chodil, Antonín Kučera
Publicado en:
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024, ISBN 979-8-4007-0660-8
Editor:
Association for Computing Machinery
DOI:
10.1145/3661814.3662145
Autores:
Mari Seeba
Publicado en:
CEUR Workshop Proceedings, 2024, ISSN 1613-0073
Editor:
CEUR‑WS
DOI:
10.5281/ZENODO.16093367
Autores:
Lukas Daubner, Raimundas Matulevičius and Barbora Buhnova
Publicado en:
Research Challenges in Information Science: Information Science and the Connected World (RCIS 2023), 2023, ISSN 1865-1348
Editor:
Springer Nature Switzerland AG
DOI:
10.1007/978-3-031-33080-3_19
Autores:
Iqbal, M., Suhail, S., Matulevicius, R.
Publicado en:
Proceedings of the 19th International Conference on Availability, Reliability and Security (2024), 2024, ISBN 979-8-4007-1718-5
Editor:
ACM
DOI:
10.1145/3664476.3670473
Autores:
Lukas Malina, Petr Dzurenda, Norbert Lövinger, Ijeoma Faustina Ekeh, Raimundas Matulevicius
Publicado en:
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, ISBN 979-8-4007-1718-5
Editor:
ACM
DOI:
10.1145/3664476.3670443
Autores:
Bakhtina, M., Vémolová, Z., and Matyáš
Publicado en:
CEUR Workshop Proceedings, 2024, ISSN 1613-0073
Editor:
CEUR‑WS
DOI:
10.5281/ZENODO.11577196
Autores:
Klaška, David; Kučera, Antonín; Kůr, Vojtěch; Musil, Vít; Řehák, Vojtěch
Publicado en:
Proceedings of the AAAI Conference on Artificial Intelligence, 2024, ISSN 2159-5399
Editor:
AAAI Press, Washington, DC, USA
DOI:
10.1609/AAAI.V38I18.29993
Autores:
Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Publicado en:
Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Edición 1, 2023, ISSN 2184-7711
Editor:
SciTePress
DOI:
10.5220/0012112700003555
Autores:
Tereza Schwarzová, Jan Strejček, Juraj Major
Publicado en:
Leibniz International Proceedings in Informatics, 2023, ISSN 1868-8969
Editor:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/LIPICS.SAT.2023.23
Autores:
Patrik Dobias, Lukas Malina, Petr Ilgner, Petr Dzurenda
Publicado en:
Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23), 2023, ISBN 979-8-4007-0772-8
Editor:
Association for Computing Machinery, New York, NY, United States
DOI:
10.1145/3600160.3605015
Autores:
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Publicado en:
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023, ISBN 978-1-956792-03-4
Editor:
International Joint Conferences on Artificial Intelligence
DOI:
10.24963/IJCAI.2023/20
Autores:
Bonchi, F., Di Giorgio, A., Di Lavore, E.
Publicado en:
Foundations of Software Science and Computation Structures. FoSSaCS 2025, Lecture Notes in Computer Science, 2025, ISSN 0302-9743
Editor:
Springer, Cham
DOI:
10.1007/978-3-031-90897-2_15
Autores:
Vakarjuk, J., Snetkov, N.
Publicado en:
Proceedings of the 7th International Conference on Historical Cryptology (HistoCrypt 2024), 2024
Editor:
Tartu University Library
DOI:
10.58009/AERE-PERENNIUS0115
Autores:
Matthew Earnshaw, Paweł Sobociński
Publicado en:
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), 2023, ISSN 1868-8969
Editor:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/LIPICS.MFCS.2023.43
Autores:
Mariia Bakhtina, Kin Long Leung, Raimundas Matulevičius, Ahmed Awad, and Petr Švenda
Publicado en:
ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023, ISBN 979-8-4007-0772-8
Editor:
Association for Computing Machinery, New York, NY, United States
DOI:
10.1145/3600160.3605092
Autores:
Viktor Malík, František Nečas, Peter Schrammel, Tomáš Vojnar
Publicado en:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), 2023, ISSN 0302-9743
Editor:
Springer Nature Switzerland AG
DOI:
10.1007/978-3-031-30820-8_31
Autores:
Antonín Dufka, Jakub Janků, Petr Švenda
Publicado en:
Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, ISBN 979-8-4007-1718-5
Editor:
ACM
DOI:
10.1145/3664476.3670889
Autores:
Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova, Matej Antol, Michal Ruzicka and Tomas Pitner
Publicado en:
Advanced Information Systems Engineering (CAiSE 2023), 2023, ISSN 0302-9743
Editor:
Springer Nature Switzerland AG
DOI:
10.1007/978-3-031-34560-9_31
Autores:
Mari Seeba, Tarmo Oja, Maria Pibilota Murumaa, and Václav Stupka
Publicado en:
ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023, ISBN 979-8-4007-0772-8
Editor:
Association for Computing Machinery, New York, NY, United States
DOI:
10.1145/3600160.3605045
Autores:
Jankola, M., Strejček, J.
Publicado en:
Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science., 2024, ISSN 0302-9743
Editor:
Springer, Cham
DOI:
10.1007/978-3-031-57228-9_12
Autores:
Mariia Bakhtina, Jan Kvapil, Petr Švenda, and Raimundas Matulevičius
Publicado en:
Advanced Information Systems Engineering, 2024, ISSN 0302-9743
Editor:
Cham: Springer
DOI:
10.1007/978-3-031-61057-8_28
Autores:
VYKOPAL, J.; V. ŠVÁBENSKÝ; M. T. LOPEZ II and P. ČELEDA
Publicado en:
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, 2025
Editor:
ACM
DOI:
10.1145/3641554.3701976
Autores:
Mariia Bakhtina
Publicado en:
Proceedings of the Doctoral Consortium Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023, ISSN 1613-0073
Editor:
CEUR-WS.org
Autores:
Valdemar Švábenský, Jan Vykopal, Pavel Čeleda, Ján Dovjak
Publicado en:
Education and Information Technologies, 2023, ISSN 1360-2357
Editor:
Springer Nature
DOI:
10.1007/S10639-023-12265-8
Autores:
Katarina Galanska, Agata Kruzikova, Maria Pibilota Murumaa, Václav Matyáš, Mike Just
Publicado en:
IEEE Access, Edición 13, 2025, ISSN 2169-3536
Editor:
Institute of Electrical and Electronics Engineers (IEEE)
DOI:
10.1109/ACCESS.2025.3561220
Autores:
Mariia Bakhtina, Raimundas Matulevičius, Lukaš Malina
Publicado en:
Complex Systems Informatics and Modeling Quarterly (CSIMQ), 2024, ISSN 2255-9922
Editor:
RTU Press
DOI:
10.7250/CSIMQ.2024-38.04
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles