History-Deterministic Parikh Automata. - Enzo Erlich; Shibashis Guha; Ismaël Jecker; Karoliina Lehtinen; Martin Zimmermann 002 (CONCUR, 2023)

Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata. - Emily Clement; Enzo Erlich; Jérémy Ledent (CoRR, 2024)

History-Deterministic Parikh Automata. - Enzo Erlich; Mario Grobler; Shibashis Guha; Ismaël Jecker; Karoliina Lehtinen; Martin Zimmermann 002 (ACM Trans. Comput. Log., 2025)