Journal Articles

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

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] [DOI]
   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.

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).

Master's Thesis

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