| 2026 | LICS | The Size of Interpolants in Modal Logics. | Balder ten Cate, Louwe B. Kuijer, Frank Wolter |
| 2026 | MFCS | Characterizing LTL Formulas by Examples. | Balder ten Cate, Dana Fisman, Roi Ohayon, Patrik Sestic |
| 2025 | ICDT | Query Repairs. | Balder ten Cate, Phokion G. Kolaitis, Carsten Lutz |
| 2025 | MFCS | Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. | Balder ten Cate, Phokion G. Kolaitis, Arnar . Kristjnsson |
| 2024 | CSL | Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). | Balder ten Cate |
| 2024 | FOSSACS | Craig Interpolation for Decidable First-Order Fragments. | Balder ten Cate, Jesse Comer |
| 2024 | ICDT | When Do Homomorphism Counts Help in Query Algorithms? | Balder ten Cate, Victor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu |
| 2024 | ICDT | Right-Adjoints for Datalog Programs. | Balder ten Cate, Vctor Dalmau, Jakub Oprsal |
| 2024 | IJCAI | On the Power and Limitations of Examples for Description Logic Concepts. | Balder ten Cate, Raoul Koudijs, Ana Ozaki |
| 2023 | IJCAI | SAT-Based PAC Learning of Description Logic Concepts. | Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2023 | PODS | Extremal Fitting Problems for Conjunctive Queries. | Balder ten Cate, Victor Dalmau, Maurice Funk, Carsten Lutz |
| 2022 | AiML | Local Dependence and Guarding. | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
| 2021 | ICDT | Conjunctive Queries: Unique Characterizations and Exact Learnability. | Balder ten Cate, Victor Dalmau |
| 2019 | ICDT | Recursive Programs for Document Spanners. | Liat Peterfreund, Balder ten Cate, Ronald Fagin, Benny Kimelfeld |
| 2018 | PODS | Active Learning of GAV Schema Mappings. | Balder ten Cate, Phokion G. Kolaitis, Kun Qian, Wang-Chiew Tan |
| 2016 | EDBT | Practical Query Answering in Data Exchange Under Inconsistency-Tolerant Semantics. | Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis |
| 2016 | ICDT | Declarative Probabilistic Programming with Datalog. | Vince Brny, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena |
| 2016 | LICS | Querying Visible and Invisible Information. | Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis |
| 2015 | ICDT | The Product Homomorphism Problem and Applications. | Balder ten Cate, Vctor Dalmau |
| 2015 | LICS | Interpolation with Decidable Fixpoint Logics. | Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
| 2015 | LICS | The Complexity of Boundedness for Guarded Logics. | Michael Benedikt, Balder ten Cate, Thomas Colcombet, Michael Vanden Boom |
| 2015 | PODS | High-Level Why-Not Explanations using Ontologies. | Balder ten Cate, Cristina Civili, Evgeny Sherkhonov, Wang-Chiew Tan |
| 2015 | SIGMOD | Design and Implementation of the LogicBlox System. | Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, Geoffrey Washburn |
| 2014 | CSL | Effective interpolation and preservation in guarded logics. | Michael Benedikt, Balder ten Cate, Michael Vanden Boom |
| 2014 | PODS | Generating low-cost plans from proofs. | Michael Benedikt, Balder ten Cate, Efthymia Tsamoura |
| 2013 | EDBT | Data exchange with arithmetic operations. | Balder ten Cate, Phokion G. Kolaitis, Walied Othman |
| 2013 | EDBT | Schema mappings and data examples. | Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2013 | MFCS | Rewriting Guarded Negation Queries. | Vince Brny, Michael Benedikt, Balder ten Cate |
| 2013 | PODS | Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. | Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter |
| 2012 | AiML | Guarded Negation. | Balder ten Cate |
| 2012 | ICDT | Learning schema mappings. | Balder ten Cate, Vctor Dalmau, Phokion G. Kolaitis |
| 2012 | ICDT | On the data complexity of consistent query answering. | Balder ten Cate, Galle Fontaine, Phokion G. Kolaitis |
| 2011 | ICALP | Guarded Negation. | Vince Brny, Balder ten Cate, Luc Segoufin |
| 2011 | ICDT | On the equivalence of distributed systems with queries and communication. | Serge Abiteboul, Balder ten Cate, Yannis Katsis |
| 2011 | IJCAI | Beth Definability in Expressive Description Logics. | Balder ten Cate, Enrico Franconi, Inan Seylan |
| 2011 | MFCS | Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs. | Balder ten Cate, Alessandro Facchini |
| 2011 | SIGMOD | Designing and refining schema mappings via data examples. | Bogdan Alexe, Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2011 | STACS | Unary negation. | Balder ten Cate, Luc Segoufin |
| 2010 | CP | Database Constraints and Homomorphism Dualities. | Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan |
| 2010 | FOSSACS | An Easy Completeness Proof for the Modal | Balder ten Cate, Galle Fontaine |
| 2009 | CSL | Craig Interpolation for Linear Temporal Languages. | Amlie Gheerbrant, Balder ten Cate |
| 2009 | ICDT | Structural characterizations of schema-mapping languages. | Balder ten Cate, Phokion G. Kolaitis |
| 2009 | LFCS | Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. | Amlie Gheerbrant, Balder ten Cate |
| 2008 | PODS | XPath, transitive closure logic, and nested tree walking automata. | Balder ten Cate, Luc Segoufin |
| 2007 | ICDT | Axiomatizing the Logical Core of XPath 2.0. | Balder ten Cate, Maarten Marx |
| 2007 | LICS | Lindstrom theorems for fragments of first-order logic. | Balder ten Cate, Johan van Benthem, Jouko A. Vnnen |
| 2007 | PODS | The complexity of query containment in expressive fragments of XPath 2.0. | Balder ten Cate, Carsten Lutz |
| 2006 | KR | Definitorially Complete Description Logics. | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
| 2006 | PODS | The expressivity of XPath with transitive closure. | Balder ten Cate |
| 2005 | CSL | On the Complexity of Hybrid Logics with Binders. | Balder ten Cate, Massimo Franceschet |
| 2002 | KR | On the Logic of d-separation. | Balder ten Cate |
| 2002 | TABLEAUX | Question Answering: From Partitions to Prolog. | Balder ten Cate, Chung-chieh Shan |