2025:

  • A. Soeteman and B. ten Cate (2025). Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization. Under submission (arxiv).
  • B. ten Cate, Ph. Kolaitis, and A. Kristjánsson (2025). Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts. Under submission (arxiv).
  • B. ten Cate, Ph. Kolaitis, and C. Lutz (2025). Query Repairs. Proceedings of ICDT 2025. (arxiv full version).
  • B. ten Cate and T. Kappé (2025). Algebras for Deterministic Computation are Inherently Incomplete. Proceedings of the ACM on Programming Languages 9:25 (POPL 2025).
  • B. ten Cate and J. Comer (2025). Craig Interpolation for Decidable First-Order Fragments. To appear in Logical Methods in Computer Science.

2024:

2023:

For older publications, see DBLP or Google Scholar.