Project Results
CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Dieter Vandesande, Jordi Coll, Bart Bogaerts
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 40, 2026, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38449
Author(s):
Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 40, 2026, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38439
Author(s):
Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 40, 2026, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38432
Author(s):
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero, Bart Bogaerts
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 450, 2026, ISSN 2075-2180
Publisher:
Open Publishing Association
DOI:
10.4204/EPTCS.450.24
Author(s):
Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 40, 2026, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38426
Author(s):
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 39, 2025, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V39I11.33209
Author(s):
Markus Anders, Sofia Brenner, Gaurav Rattan
Published in:
Journal of Artificial Intelligence Research, Issue 85, 2026, ISSN 1076-9757
Publisher:
AI Access Foundation
DOI:
10.1613/JAIR.1.18744
Author(s):
Nils Froleyks, Emily Yu
Published in:
Lecture Notes in Computer Science, Automated Reasoning, 2026
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32589-1_17
Author(s):
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin
Published in:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90653-4_1
Author(s):
Andrew Reynolds, Hans-Jörg Schurr, Mallku Soldevila, Haniel Barbosa, Clark Barrett, Cesare Tinelli
Published in:
Lecture Notes in Computer Science, Automated Reasoning, 2026
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32589-1_19
Author(s):
Andrew Reynolds, Hans-Jörg Schurr, Haniel Barbosa, Ofec Israel, Jibiana Zoe Jakpor, Hanna Lachnitt, Abdalrhman Mohamed, Aina Niemetz, Mathias Preiner, Yoni Zohar, Robert Jones, Clark Barrett, Cesare Tinelli
Published in:
Lecture Notes in Computer Science, Computer Aided Verification, 2026
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32526-6_9
Author(s):
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Published in:
Lecture Notes in Computer Science, Formal Methods, 2026
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-26204-2_9
Author(s):
Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko
Published in:
Lecture Notes in Computer Science, Computer Aided Verification, 2026
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32537-2_1
Author(s):
Michelle Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Published in:
Lecture Notes in Computer Science, Electronic Voting, 2026
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-39512-2_1
Author(s):
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
Published in:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90653-4_6
Author(s):
Daimy Van Caudenberg and Markus Anders and Bart Bogaerts
Published in:
2026
Publisher:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/LIPICS.CP.2026.54
Author(s):
Hannes Ihalainen and Jeremias Berg and Matti Jarvisalo and Bart Bogaerts
Published in:
2025
Publisher:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/LIPICS.CP.2025.15
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available