Jesse Comer

According to our database, Jesse Comer authored at least 6 papers between 2023 and 2024.

Collaborative distances:

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

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