Wyniki projektu
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 .
Publikacje
Autorzy:
Dieter Vandesande, Jordi Coll, Bart Bogaerts
Opublikowane w:
Proceedings of the AAAI Conference on Artificial Intelligence, Numer 40, 2026, ISSN 2374-3468
Wydawca:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38449
Autorzy:
Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
Opublikowane w:
Proceedings of the AAAI Conference on Artificial Intelligence, Numer 40, 2026, ISSN 2374-3468
Wydawca:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38439
Autorzy:
Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns
Opublikowane w:
Proceedings of the AAAI Conference on Artificial Intelligence, Numer 40, 2026, ISSN 2374-3468
Wydawca:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38432
Autorzy:
Daimy Van Caudenberg, Alexander Ek, Carlos Cantero, Bart Bogaerts
Opublikowane w:
Electronic Proceedings in Theoretical Computer Science, Numer 450, 2026, ISSN 2075-2180
Wydawca:
Open Publishing Association
DOI:
10.4204/EPTCS.450.24
Autorzy:
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
Opublikowane w:
Proceedings of the AAAI Conference on Artificial Intelligence, Numer 40, 2026, ISSN 2374-3468
Wydawca:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V40I17.38426
Autorzy:
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts, Tias Guns
Opublikowane w:
Proceedings of the AAAI Conference on Artificial Intelligence, Numer 39, 2025, ISSN 2374-3468
Wydawca:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V39I11.33209
Autorzy:
Markus Anders, Sofia Brenner, Gaurav Rattan
Opublikowane w:
Journal of Artificial Intelligence Research, Numer 85, 2026, ISSN 1076-9757
Wydawca:
AI Access Foundation
DOI:
10.1613/JAIR.1.18744
Autorzy:
Nils Froleyks, Emily Yu
Opublikowane w:
Lecture Notes in Computer Science, Automated Reasoning, 2026
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32589-1_17
Autorzy:
Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin
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_1
Autorzy:
Andrew Reynolds, Hans-Jörg Schurr, Mallku Soldevila, Haniel Barbosa, Clark Barrett, Cesare Tinelli
Opublikowane w:
Lecture Notes in Computer Science, Automated Reasoning, 2026
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32589-1_19
Autorzy:
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
Opublikowane w:
Lecture Notes in Computer Science, Computer Aided Verification, 2026
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32526-6_9
Autorzy:
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko
Opublikowane w:
Lecture Notes in Computer Science, Formal Methods, 2026
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-26204-2_9
Autorzy:
Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko
Opublikowane w:
Lecture Notes in Computer Science, Computer Aided Verification, 2026
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-32537-2_1
Autorzy:
Michelle Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Opublikowane w:
Lecture Notes in Computer Science, Electronic Voting, 2026
Wydawca:
Springer Nature Switzerland
DOI:
10.1007/978-3-032-39512-2_1
Autorzy:
Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
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_6
Autorzy:
Daimy Van Caudenberg and Markus Anders and Bart Bogaerts
Opublikowane w:
2026
Wydawca:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/LIPICS.CP.2026.54
Autorzy:
Hannes Ihalainen and Jeremias Berg and Matti Jarvisalo and Bart Bogaerts
Opublikowane w:
2025
Wydawca:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/LIPICS.CP.2025.15
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników