Publications

International Conferences

2024

[4] Presenting Interval Pomsets with Interfaces
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski 		Relational and Algebraic Methods in Computer Science (RAMiCS 2024) PDF (ArXiv version)
[3] Languages of Higher-Dimensional Timed Automata
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg 		45th International Conference on Theory and Application of Petri Nets and Concurrency conference (Petri Nets 2024) PDF (hal)
[2] Layered controller synthesis for dynamic multi-agent systems
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier 		21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023) PDF (hal)
[1] Computing maximally-permissive strategies in acyclic timed automata
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré 		18st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020) PDF (arxiv version)

Submitted papers

2025

Submitted in Journal Property FA for random l-gonal groups
Emily Clement, John Mackay PDF (arXiv version)
Submitted in Journal Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemiański PDF (arXiv version)

2024

Submitted in International Conference Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata
Emily Clement, Enzo Erlich, Jérémy Ledent PDF (ArXiv version)