Resultats de projets
CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Dieter Vandesande, Jordi Coll, Bart Bogaerts
Publié dans:
Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, ISSN 2374-3468
Éditeur:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38449
Auteurs:
Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
Publié dans:
Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, ISSN 2374-3468
Éditeur:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38439
Auteurs:
Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns
Publié dans:
Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, ISSN 2374-3468
Éditeur:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38432
Auteurs:
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero, Bart Bogaerts
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 450, 2026, ISSN 2075-2180
Éditeur:
Open Publishing Association
DOI:
10.4204/EPTCS.450.24
Auteurs:
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
Publié dans:
Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 40, 2026, ISSN 2374-3468
Éditeur:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38426
Auteurs:
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
Publié dans:
Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 39, 2025, ISSN 2374-3468
Éditeur:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V39I11.33209
Auteurs:
Markus Anders, Sofia Brenner, Gaurav Rattan
Publié dans:
Journal of Artificial Intelligence Research, Numéro 85, 2026, ISSN 1076-9757
Éditeur:
AI Access Foundation
DOI:
10.1613/JAIR.1.18744
Auteurs:
Nils Froleyks, Emily Yu
Publié dans:
Lecture Notes in Computer Science, Automated Reasoning, 2026
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32589-1_17
Auteurs:
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin
Publié dans:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90653-4_1
Auteurs:
Andrew Reynolds, Hans-Jörg Schurr, Mallku Soldevila, Haniel Barbosa, Clark Barrett, Cesare Tinelli
Publié dans:
Lecture Notes in Computer Science, Automated Reasoning, 2026
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32589-1_19
Auteurs:
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
Publié dans:
Lecture Notes in Computer Science, Computer Aided Verification, 2026
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32526-6_9
Auteurs:
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Publié dans:
Lecture Notes in Computer Science, Formal Methods, 2026
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-26204-2_9
Auteurs:
Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko
Publié dans:
Lecture Notes in Computer Science, Computer Aided Verification, 2026
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32537-2_1
Auteurs:
Michelle Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Publié dans:
Lecture Notes in Computer Science, Electronic Voting, 2026
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-39512-2_1
Auteurs:
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
Publié dans:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-90653-4_6
Auteurs:
Daimy Van Caudenberg and Markus Anders and Bart Bogaerts
Publié dans:
2026
Éditeur:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/LIPICS.CP.2026.54
Auteurs:
Hannes Ihalainen and Jeremias Berg and Matti Jarvisalo and Bart Bogaerts
Publié dans:
2025
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/LIPICS.CP.2025.15
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible