Jesse Comer

Orcid: 0009-0006-9734-3457

According to our database¹, Jesse Comer authored at least 7 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

A Unifying Algorithm for Hierarchical Queries.

[BibT_eX]

[DOI]

CoRR, June, 2025

Craig Interpolation for Decidable First-Order Fragments.

[BibT_eX]

[DOI]

Balder ten Cate

Jesse Comer

Log. Methods Comput. Sci., 2025

2024

Lov\'asz Theorems for Modal Languages.

[BibT_eX]

[DOI]

Jesse Comer

CoRR, 2024

Technical Report: Time-Bounded Resilience.

[BibT_eX]

[DOI]

CoRR, 2024

Time-Bounded Resilience.

[BibT_eX]

[DOI]

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

Lovász Theorems for Modal Languages.

[BibT_eX]

Jesse Comer

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

2023

Craig Interpolation for Guarded Fragments.

[BibT_eX]

[DOI]

Balder ten Cate

Jesse Comer

CoRR, 2023

Jesse Comer

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...