Emily Clement

12 papers B 2C 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
Kamp Theorem for Pomset Languages of Higher Dimensional Automata.
CSL
Emily Clement, Enzo Erlich, Jérémy Ledent
2025 J jnl
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2024 J jnl
Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata.
CoRR
Emily Clement, Enzo Erlich, Jérémy Ledent
2024 B conf
Languages of Higher-Dimensional Timed Automata.
Petri Nets
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024 J jnl
Languages of Higher-Dimensional Timed Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024 C conf
Presenting Interval Pomsets with Interfaces.
RAMiCS
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024 J jnl
Presenting Interval Pomsets with Interfaces.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2023 — conf
Layered Controller Synthesis for Dynamic Multi-agent Systems.
FORMATS
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
2023 J jnl
Layered controller synthesis for dynamic multi-agent systems.
CoRR
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
2022 — —
Robustness of timed automata : computing the maximally-permissive strategies. (Robustesse des automates temporisés : calculer les stratégies les plus permissives).
Emily Clement
2020 — conf
Computing Maximally-Permissive Strategies in Acyclic Timed Automata.
FORMATS
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
2020 J jnl
Computing maximally-permissive strategies in acyclic timed automata.
CoRR
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré