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:
Balder ten Cate, Raoul Koudijs
Publié dans:
ACM Transactions on Computational Logic, Numéro 25, 2024, Page(s) 1-27, ISSN 1529-3785
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3649461
Auteurs:
Balder ten Cate, Tobias Kapp
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 9, 2025, Page(s) 718-744, ISSN 2475-1421
Éditeur:
ACM Inc.
DOI:
10.1145/3704861
Auteurs:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Publié dans:
ACM SIGMOD Record, Numéro 52, 2024, Page(s) 6-18, ISSN 0163-5808
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3641832.3641834
Auteurs:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Publié dans:
Information Processing Letters, Numéro 183, 2023, Page(s) 106431, ISSN 0020-0190
Éditeur:
Elsevier BV
DOI:
10.1016/j.ipl.2023.106431
Auteurs:
Balder Ten Cate, Victor Dalmau
Publié dans:
ACM Transactions on Database Systems, Numéro 47, 2023, Page(s) 1-41, ISSN 0362-5915
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3559756
Auteurs:
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Publié dans:
Logical Methods in Computer Science, Numéro Volume 20, Numéro 3, 2024, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-20(3:20)2024
Auteurs:
ten Cate, Balder; Dalmau, Victor; Kolaitis, Phokion G.; Wu, Wei-Lin
Publié dans:
27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Page(s) 8:1--8:20
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.icdt.2024.8
Auteurs:
Balder ten Cate, Raoul Koudijs, Ana Ozaki
Publié dans:
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Page(s) 3567-3575
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2024/395
Auteurs:
Balder Ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Publié dans:
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2024, Page(s) 89-98
Éditeur:
ACM
DOI:
10.1145/3584372.3588655
Auteurs:
ten Cate, Balder
Publié dans:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024, Page(s) 2:1-2:2
Éditeur:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2024.2
Auteurs:
ten Cate, Balder; Dalmau, Vctor; Opral, Jakub
Publié dans:
27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Page(s) 10:1--10:20
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.icdt.2024.10
Auteurs:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Publié dans:
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Page(s) 3347-3355
Éditeur:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2023/373
Auteurs:
van Benthem, J.; ten Cate, B.; Koudijs, R.
Publié dans:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 2022, Page(s) 135--154
Éditeur:
College Publications
Auteurs:
Balder ten Cate, Jesse Comer
Publié dans:
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, 2024, Page(s) 137-159
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-57231-9_7
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible