Journal Articles

1. Craig Interpolation for Decidable First-Order Fragments [arXiv] [DOI]
   B. ten Cate, J. Comer. LMCS 21(3): 22:1-22:23.

Conference Papers

1. A Unifying Algorithm for Hierarchical Queries [arXiv] [DOI]
   M. Abo Khamis, J. Comer, P. Kolaitis, S. Roy, V. Tannen. PODS 2026.
2. The Complexity of Finding Missing Answer Repairs [arXiv]
   J. Comer, V. Tannen. ICDT 2026.
3. Lovász Theorems for Modal Languages [arXiv]
   J. Comer. AiML 2024.
4. Time-Bounded Resilience [DOI]
   T. Ban Kirigin, J. Comer, M. Kanovich, A. Scedrov, C. Talcott. WRLA 2024.
5. Craig Interpolation for Decidable First-Order Fragments [DOI]
   B. ten Cate, J. Comer. FoSSaCS 2024.

Book Chapters

1. Interpolation in First-Order Logic [arXiv]
   B. ten Cate, J. Comer. In B. ten Cate, J. Jung, P. Koopmann, C. Wernhard, and F. Wolter (eds.), Theory and Applications of Craig Interpolation. Ubiquity Press, 2026 (To appear).

Talks

1. Craig Interpolation for Guarded Fragments [Slides]
   B. ten Cate, J. Comer. DPFO 2023.

Master's Thesis

1. Homomorphism Counts, Database Queries, and Modal Logics [PDF]
   J. Comer. ILLC, University of Amsterdam (2023).