Journal Articles

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

Conference Papers

1. A Unifying Algorithm for Hierarchical Queries [arXiv]
   M. Abo Khamis, J. Comer, P. Kolaitis, S. Roy, V. Tannen. PODS 2026 (To appear).
2. The Complexity of Finding Missing Answer Repairs
   J. Comer, V. Tannen. ICDT 2026 (To appear).
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.

Manuscripts

1. Technical Report: Time-Bounded Resilience [arXiv]
   T. Ban Kirigin, J. Comer, M. Kanovich, A. Scedrov, C. Talcott. arXiv preprint (2024).

Master's Thesis

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

Talks

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