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