Craig Interpolation for Guarded Fragments. - Balder ten Cate; Jesse Comer (CoRR, 2023)

Lovász Theorems for Modal Languages. - Jesse Comer (AiML, 2024)

Craig Interpolation for Decidable First-Order Fragments. - Balder ten Cate; Jesse Comer (FoSSaCS (2), 2024)

Time-Bounded Resilience. - Tajana Ban Kirigin; Jesse Comer; Max I. Kanovich; Andre Scedrov; Carolyn L. Talcott (WRLA, 2024)

Technical Report: Time-Bounded Resilience. - Tajana Ban Kirigin; Jesse Comer; Max I. Kanovich; Andre Scedrov; Carolyn L. Talcott (CoRR, 2024)

Lov 'asz Theorems for Modal Languages. - Jesse Comer (CoRR, 2024)

A Unifying Algorithm for Hierarchical Queries. - Mahmoud Abo Khamis; Jesse Comer; Phokion G. Kolaitis; Sudeepa Roy 001; Val Tannen (CoRR, 2025)