Engel Lefaucheux
发表
Christel Baier,
Amaury Pouly,
Markus A. Whiteland,
2020,
FSTTCS.
Loïc Hélouët,
Hervé Marchand,
Eric Fabre,
2016,
2016 13th International Workshop on Discrete Event Systems (WODES).
Serge Haddad,
Béatrice Bérard,
Engel Lefaucheux,
2017,
FSTTCS.
Serge Haddad,
Nathalie Bertrand,
Engel Lefaucheux,
2020,
Discret. Event Dyn. Syst..
Nathanael Fijalkow,
Pierre Ohlmann,
Amaury Pouly,
2019,
SAS.
Benjamin Monmege,
Thomas Brihaye,
Gilles Geeraerts,
2015,
FSTTCS.
Engel Lefaucheux,
2018
.
Alessandro Giua,
Carla Seatzu,
Engel Lefaucheux,
2018,
Petri Nets.
Benjamin Monmege,
Thomas Brihaye,
Gilles Geeraerts,
2020,
ArXiv.
Nathalie Bertrand,
Serge Haddad,
Engel Lefaucheux,
2014,
FSTTCS.
Markus A. Whiteland,
Pieter Moree,
Joel Ouaknine,
2020,
MFCS.
Nathalie Bertrand,
Serge Haddad,
Engel Lefaucheux,
2019,
Inf. Comput..
Nathalie Bertrand,
Serge Haddad,
Engel Lefaucheux,
2016,
LATA.
Joel Ouaknine,
Engel Lefaucheux,
James Worrell,
2020,
STACS.
Nathalie Bertrand,
Serge Haddad,
Engel Lefaucheux,
2016,
CONCUR.
Béatrice Bérard,
Serge Haddad,
Engel Lefaucheux,
2017
.
Loïc Hélouët,
Hervé Marchand,
Eric Fabre,
2016,
WODES.
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets
James Worrell,
Eike Neumann,
Engel Lefaucheux,
2021,
MFCS.
Engel Lefaucheux,
2021,
QEST.
Christel Baier,
James Worrell,
Markus A. Whiteland,
2021,
CONCUR.
James Worrell,
Engel Lefaucheux,
David Purser,
2021,
CAV.
Nathalie Bertrand,
Serge Haddad,
Engel Lefaucheux,
2016
.
Engel Lefaucheux,
Engel Lefaucheux,
2018
.