Preprints

  1. Whiel: A Neurosymbolic Platform for Certified Relational Program Verification [PDF]
    J. Comer, F. Shen, S. Zhang, M. Naik, S. Roy, V. Tannen. Preprint.

Journal Articles

  1. Verification of Time-Bounded Multiset Rewriting Properties [arXiv] [DOI]
    T. Ban Kirigin, J. Comer, M. Kanovich, A. Scedrov, C. Talcott. JLAMP. Extended version of WRLA 2024.
  2. 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.

Workshop Papers

  1. Phonological Processes as Modal Transductions [PDF] [DOI]
    T. Yolyan, J. Comer. SCiL 2026 (ACL 2026 workshop).

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).
    Committee: M. Gattinger (chair), B. ten Cate (supervisor), N. Bezhanishvili, R. de Haan.