CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Balder ten Cate, Raoul Koudijs
Publicado en:
ACM Transactions on Computational Logic, Edición 25, 2024, Página(s) 1-27, ISSN 1529-3785
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3649461
Autores:
Balder ten Cate, Tobias Kapp
Publicado en:
Proceedings of the ACM on Programming Languages, Edición 9, 2025, Página(s) 718-744, ISSN 2475-1421
Editor:
ACM Inc.
DOI:
10.1145/3704861
Autores:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Publicado en:
ACM SIGMOD Record, Edición 52, 2024, Página(s) 6-18, ISSN 0163-5808
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3641832.3641834
Autores:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Publicado en:
Information Processing Letters, Edición 183, 2023, Página(s) 106431, ISSN 0020-0190
Editor:
Elsevier BV
DOI:
10.1016/j.ipl.2023.106431
Autores:
Balder Ten Cate, Victor Dalmau
Publicado en:
ACM Transactions on Database Systems, Edición 47, 2023, Página(s) 1-41, ISSN 0362-5915
Editor:
Association for Computing Machinary, Inc.
DOI:
10.1145/3559756
Autores:
Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
Publicado en:
Logical Methods in Computer Science, Edición Volume 20, Edición 3, 2024, ISSN 1860-5974
Editor:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-20(3:20)2024
Autores:
ten Cate, Balder; Dalmau, Victor; Kolaitis, Phokion G.; Wu, Wei-Lin
Publicado en:
27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Página(s) 8:1--8:20
Editor:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.icdt.2024.8
Autores:
Balder ten Cate, Raoul Koudijs, Ana Ozaki
Publicado en:
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Página(s) 3567-3575
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2024/395
Autores:
Balder Ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz
Publicado en:
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2024, Página(s) 89-98
Editor:
ACM
DOI:
10.1145/3584372.3588655
Autores:
ten Cate, Balder
Publicado en:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 2024, Página(s) 2:1-2:2
Editor:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2024.2
Autores:
ten Cate, Balder; Dalmau, Vctor; Opral, Jakub
Publicado en:
27th International Conference on Database Theory, {ICDT} 2024, March 25-28, 2024, Paestum, Italy, 2024, Página(s) 10:1--10:20
Editor:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.icdt.2024.10
Autores:
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Publicado en:
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Página(s) 3347-3355
Editor:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2023/373
Autores:
van Benthem, J.; ten Cate, B.; Koudijs, R.
Publicado en:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 2022, Página(s) 135--154
Editor:
College Publications
Autores:
Balder ten Cate, Jesse Comer
Publicado en:
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures, 2024, Página(s) 137-159
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-57231-9_7
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles