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):
Thom Badings, Thiago D. Simo, Marnix Suilen, Nils Jansen
Published in:
International Journal on Software Tools for Technology Transfer, Issue 25, 2023, ISSN 1433-2779
Publisher:
Springer Science and Business Media LLC
DOI:
10.1007/S10009-023-00704-3
Author(s):
Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Published in:
International Journal on Software Tools for Technology Transfer, Issue 26, 2024, ISSN 1433-2779
Publisher:
Springer Science and Business Media LLC
DOI:
10.1007/S10009-024-00747-0
Author(s):
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, Nils Jansen
Published in:
Journal of Artificial Intelligence Research, Issue 76, 2023, ISSN 1076-9757
Publisher:
AI Access Foundation
DOI:
10.1613/JAIR.1.14253
Author(s):
Sebastian Junges, Erika brahm, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Published in:
Formal Methods in System Design, Issue 62, 2024, ISSN 0925-9856
Publisher:
Springer Science and Business Media LLC
DOI:
10.1007/S10703-023-00442-X
Author(s):
Merlijn Krale, Thiago D. Simo, Nils Jansen
Published in:
Proceedings of the International Conference on Automated Planning and Scheduling, Issue 33, 2023, ISSN 2334-0843
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/ICAPS.V33I1.27197
Author(s):
Maris F.L. Galesloot, Thiago D. Simo, Sebastian Junges, Nils Jansen
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 38, 2024, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V38I16.29689
Author(s):
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Published in:
Lecture Notes in Computer Science, Computer Aided Verification, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-37709-9_4
Author(s):
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Published in:
2024 European Control Conference (ECC), 2024
Publisher:
IEEE
DOI:
10.23919/ECC64448.2024.10590865
Author(s):
Qisong Yang, ThiagoD. Simo, Nils Jansen, SimonH. Tindemans, MatthijsT.J. Spaan
Published in:
Frontiers in Artificial Intelligence and Applications, ECAI 2023, 2023
Publisher:
IOS Press
DOI:
10.3233/FAIA230598
Author(s):
Wietze Koops, Sebastian Junges, Nils Jansen
Published in:
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Publisher:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2024/745
Author(s):
Yannick Hogewind, Thiago D. Simo, Tal Kachman, Nils Jansen
Published in:
The Eleventh International Conference on Learning Representations, {ICLR} 2023, 2023
Publisher:
OpenReview.net
Author(s):
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 37, 2023, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V37I12.26718
Author(s):
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 37, 2023, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V37I12.26723
Author(s):
Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga, Nils Jansen
Published in:
Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-57249-4_13
Author(s):
Merlijn Krale, Thiago D. Simo, Jana Tumova, Nils Jansen
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 38, 2024, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V38I19.30122
Author(s):
Patrick Wienhft, Marnix Suilen, Thiago D. Simo, Clemens Dubslaff, Christel Baier, Nils Jansen
Published in:
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Publisher:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/IJCAI.2023/490
Author(s):
Thiago D. Simo, Marnix Suilen, Nils Jansen
Published in:
Proceedings of the AAAI Conference on Artificial Intelligence, Issue 37, 2023, ISSN 2374-3468
Publisher:
Association for the Advancement of Artificial Intelligence (AAAI)
DOI:
10.1609/AAAI.V37I12.26763
Author(s):
Christoph Schmidl, Thiago Simo, Nils Jansen
Published in:
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Publisher:
SCITEPRESS - Science and Technology Publications
DOI:
10.5220/0012473600003636
Author(s):
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
Published in:
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024
Publisher:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2024/740
Author(s):
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simo
Published in:
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Publisher:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/IJCAI.2023/600
Author(s):
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
Published in:
Lecture Notes in Computer Science, Principles of Verification: Cycling the Probabilistic Landscape, 2024
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-75778-5_7
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available