Jesse Comer

According to our database, Jesse Comer authored at least 10 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Verification of time-bounded multiset rewriting properties.

Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott

J. Log. Algebraic Methods Program., 2026

The Complexity of Finding Missing Answer Repairs.

Jesse Comer, Val Tannen

Proceedings of the 29th International Conference on Database Theory, 2026

2025

A Unifying Algorithm for Hierarchical Queries.

Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen

Proc. ACM Manag. Data, November, 2025

Interpolation in First-Order Logic.

Balder ten Cate, Jesse Comer

CoRR, October, 2025

2024

Lov\'asz Theorems for Modal Languages.

Jesse Comer

CoRR, 2024

Technical Report: Time-Bounded Resilience.

Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott

CoRR, 2024

Time-Bounded Resilience.

Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

Craig Interpolation for Decidable First-Order Fragments.

Balder ten Cate, Jesse Comer

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Lovász Theorems for Modal Languages.

Jesse Comer

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Craig Interpolation for Guarded Fragments.

Balder ten Cate, Jesse Comer

CoRR, 2023