Jesse Comer

14 papers A 1B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A conf
The Complexity of Finding Missing Answer Repairs.
ICDT
Jesse Comer, Val Tannen
2026 J jnl
The Complexity of Finding Missing Answer Repairs.
CoRR
Jesse Comer, Val Tannen
2026 J jnl
Verification of time-bounded multiset rewriting properties.
J. Log. Algebraic Methods Program.
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2025 J jnl
A Unifying Algorithm for Hierarchical Queries.
CoRR
Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen
2025 J jnl
A Unifying Algorithm for Hierarchical Queries.
Proc. ACM Manag. Data
Mahmoud Abo Khamis, Jesse Comer, Phokion G. Kolaitis, Sudeepa Roy, Val Tannen
2025 J jnl
Craig Interpolation for Decidable First-Order Fragments.
Log. Methods Comput. Sci.
Balder ten Cate, Jesse Comer
2025 J jnl
Interpolation in First-Order Logic.
CoRR
Balder ten Cate, Jesse Comer
2024 — conf
Craig Interpolation for Decidable First-Order Fragments.
FoSSaCS (2)
Balder ten Cate, Jesse Comer
2024 J jnl
Lov\'asz Theorems for Modal Languages.
CoRR
Jesse Comer
2024 B conf
Lovász Theorems for Modal Languages.
AiML
Jesse Comer
2024 J jnl
Technical Report: Time-Bounded Resilience.
CoRR
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2024 — conf
Time-Bounded Resilience.
WRLA
Tajana Ban Kirigin, Jesse Comer, Max I. Kanovich, Andre Scedrov, Carolyn L. Talcott
2023 J jnl
Craig Interpolation for Decidable First-Order Fragments.
CoRR
Balder ten Cate, Jesse Comer
2023 J jnl
Craig Interpolation for Guarded Fragments.
CoRR
Balder ten Cate, Jesse Comer