Emily Clement

According to our database, Emily Clement authored at least 8 papers between 2020 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

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski

CoRR, May, 2025

2024

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

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

CoRR, 2024

Languages of Higher-Dimensional Timed Automata.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Presenting Interval Pomsets with Interfaces.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Layered Controller Synthesis for Dynamic Multi-agent Systems.

Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

Robustness of timed automata : computing the maximally-permissive strategies. (Robustesse des automates temporisés : calculer les stratégies les plus permissives).

Emily Clement

PhD thesis, 2022

2020

Computing Maximally-Permissive Strategies in Acyclic Timed Automata.

Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020