Alexandre Duret-Lutz
发表
GENERIC IMPLEMENTATION OF MORPHOLOGICAL IMAGE OPERATORS When Harry's C++ Code Met Sally's Algorithms
Ome Darbon,
Alexandre Duret-Lutz,
2002
.
Alexandre Duret-Lutz,
Jan Strejcek,
Tomás Babiak,
2013,
SPIN.
Daniel M. Germán,
Alexandre Duret-Lutz,
Lloyd Burchill,
2007,
CAe.
Jaco van de Pol,
Alexandre Duret-Lutz,
Vincent Bloemen,
2019,
International Journal on Software Tools for Technology Transfer.
Souheib Baarir,
Alexandre Duret-Lutz,
2014,
FORTE.
Alexandre Duret-Lutz,
Jan Strejcek,
Mojmír Kretínský,
2017,
LPAR.
Souheib Baarir,
Alexandre Duret-Lutz,
2015,
LPAR.
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2015,
TACAS.
Adrien Pommellet,
Alexandre Duret-Lutz,
Florian Renkin,
2020,
ATVA.
Denis Poitrenaud,
Alexandre Duret-Lutz,
2004,
The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..
Thierry Géraud,
Alexandre Duret-Lutz,
2000
.
Alexandre Duret-Lutz,
A. Duret-Lutz,
2014,
Int. J. Crit. Comput. Based Syst..
Denis Poitrenaud,
Jean-Michel Couvreur,
Alexandre Duret-Lutz,
2009,
ATVA.
Christel Baier,
Joachim Klein,
Alexandre Duret-Lutz,
2019,
ATVA.
Akim Demaille,
Thierry Géraud,
Alexandre Duret-Lutz,
2001,
COOTS.
Alexandre Duret-Lutz,
Thibaud Michaud,
Etienne Renault,
2016,
ATVA.
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2017,
International Journal on Software Tools for Technology Transfer.
Alfons Laarman,
Laure Petrucci,
Jaco van de Pol,
2018,
Handbook of Parallel Constraint Reasoning.
Alexandre Duret-Lutz,
Alexandre Duret-Lutz,
2007
.
An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions
Jacques Sakarovitch,
Akim Demaille,
Alexandre Duret-Lutz,
2009,
FSMNLP.
Thierry Géraud,
Alexandre Duret-Lutz,
H. Xue,
2003,
Proceedings 2003 International Conference on Image Processing (Cat. No.03CH37429).
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2016,
ATVA.
Alexandre Duret-Lutz,
2013,
ATVA.
Alexandre Duret-Lutz,
2001
.
Alexandre Duret-Lutz,
Thibaud Michaud,
Thibaud Michaud,
2015,
SPIN.
Alexandre Duret-Lutz,
2001,
Ada-Europe.
Alexandre Duret-Lutz,
Jan Strejček,
Frantǐsek Blahoudek,
2020,
CAV.
Jacques Sakarovitch,
Akim Demaille,
Alexandre Duret-Lutz,
2013,
CIAA.
Thierry Géraud,
Alexandre Duret-Lutz,
Yoann Fabre,
2000,
Proceedings 15th International Conference on Pattern Recognition. ICPR-2000.
Lukasz Fronc,
Alexandre Duret-Lutz,
2013,
ATVA.
Alexandre Duret-Lutz,
A. Duret-Lutz,
2000
.
Souheib Baarir,
Alexandre Duret-Lutz,
2007,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Fabrice Kordon,
Denis Poitrenaud,
Alexandre Duret-Lutz,
2013,
LPAR.
Jan Kretínský,
Joachim Klein,
Alexandre Duret-Lutz,
2015,
CAV.
Fabrice Kordon,
Alexandre Duret-Lutz,
Ala-Eddine Ben Salem,
2012,
Trans. Petri Nets Other Model. Concurr..
Jérôme Darbon,
Thierry Géraud,
Alexandre Duret-Lutz,
2002
.
Thierry Géraud,
Alexandre Duret-Lutz,
T. Géraud,
2000,
EuroPLoP.
Adrien Pommellet,
Alexandre Duret-Lutz,
Florian Renkin,
2022,
ArXiv.