Enzo Erlich

According to our database, Enzo Erlich authored at least 4 papers between 2023 and 2026.

Collaborative distances:

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

2026

Kamp Theorem for Pomset Languages of Higher Dimensional Automata.

Emily Clement, Enzo Erlich, Jérémy Ledent

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

History-Deterministic Parikh Automata.

Enzo Erlich, Mario Grobler, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

ACM Trans. Comput. Log., July, 2025

2024

Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata.

Emily Clement, Enzo Erlich, Jérémy Ledent

CoRR, 2024

2023

History-Deterministic Parikh Automata.

Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Proceedings of the 34th International Conference on Concurrency Theory, 2023