CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Balder ten Cate, Raoul Koudijs
Veröffentlicht in:
ACM Transactions on Computational Logic, Ausgabe 25, 2024, Seite(n) 1-27, ISSN 1529-3785
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3649461
Autoren:
Balder ten Cate, Tobias Kapp
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, Seite(n) 718-744, ISSN 2475-1421
Herausgeber:
ACM Inc.
DOI:
10.1145/3704861
Autoren:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Veröffentlicht in:
ACM SIGMOD Record, Ausgabe 52, 2024, Seite(n) 6-18, ISSN 0163-5808
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3641832.3641834
Autoren:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Veröffentlicht in:
Information Processing Letters, Ausgabe 183, 2023, Seite(n) 106431, ISSN 0020-0190
Herausgeber:
Elsevier BV
DOI:
10.1016/j.ipl.2023.106431
Autoren:
Balder Ten Cate, Victor Dalmau
Veröffentlicht in:
ACM Transactions on Database Systems, Ausgabe 47, 2023, Seite(n) 1-41, ISSN 0362-5915
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3559756
Autoren:
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 20, Ausgabe 3, 2024, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-20(3:20)2024
Autoren:
ten Cate, Balder; Dalmau, Victor; Kolaitis, Phokion G.; Wu, Wei-Lin
Veröffentlicht in:
27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Seite(n) 8:1--8:20
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.icdt.2024.8
Autoren:
Balder ten Cate, Raoul Koudijs, Ana Ozaki
Veröffentlicht in:
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Seite(n) 3567-3575
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2024/395
Autoren:
Balder Ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Veröffentlicht in:
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2024, Seite(n) 89-98
Herausgeber:
ACM
DOI:
10.1145/3584372.3588655
Autoren:
ten Cate, Balder
Veröffentlicht in:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024, Seite(n) 2:1-2:2
Herausgeber:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2024.2
Autoren:
ten Cate, Balder; Dalmau, Vctor; Opral, Jakub
Veröffentlicht in:
27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Seite(n) 10:1--10:20
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.icdt.2024.10
Autoren:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Veröffentlicht in:
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Seite(n) 3347-3355
Herausgeber:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2023/373
Autoren:
van Benthem, J.; ten Cate, B.; Koudijs, R.
Veröffentlicht in:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 2022, Seite(n) 135--154
Herausgeber:
College Publications
Autoren:
Balder ten Cate, Jesse Comer
Veröffentlicht in:
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, 2024, Seite(n) 137-159
Herausgeber:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-57231-9_7
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor