Pierre-Alain Reynier
发表
Luc Dartois,
Ismaël Jecker,
Pierre-Alain Reynier,
2016,
DLT.
Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier,
2013,
CONCUR.
Nathan Lhote,
Pierre-Alain Reynier,
L'eo Exibard,
2021,
ArXiv.
Luc Dartois,
Pierre-Alain Reynier,
2015,
ArXiv.
Jean-Marc Talbot,
Sebastian Maneth,
Pierre-Alain Reynier,
2018,
Inf. Comput..
Jean-Marc Talbot,
Pierre-Alain Reynier,
Emmanuel Filiot,
2013,
TTATT.
Pierre-Alain Reynier,
Omer Nguena-Timo,
2009,
FICS.
Pierre-Alain Reynier,
Emmanuel Filiot,
2014,
ArXiv.
Benjamin Monmege,
Pierre-Alain Reynier,
Damien Busatto-Gaston,
2017,
FoSSaCS.
Benjamin Monmege,
Pierre-Alain Reynier,
Julie Parreaux,
2020,
CONCUR.
Pierre-Alain Reynier,
Ocan Sankur,
Youssouf Oualhadj,
2014,
CONCUR.
Pierre-Alain Reynier,
Frédéric Servais,
2019,
RP.
Pierre-Alain Reynier,
Emmanuel Filiot,
2021,
Fundam. Informaticae.
Ismaël Jecker,
Pierre-Alain Reynier,
Didier Villevalois,
2017,
FoSSaCS.
Pierre-Alain Reynier,
Peter Niebert,
Janusz Malinowski,
2011,
ATVA.
Jean-Marc Talbot,
Pierre-Alain Reynier,
J. Talbot,
2014,
Int. J. Found. Comput. Sci..
Jean-François Raskin,
Pierre-Alain Reynier,
Kim Guldstrand Larsen,
2013
.
Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier,
2006,
LATIN.
Loïc Hélouët,
Pierre-Alain Reynier,
Claude Jard,
2016,
Fundam. Informaticae.
Pierre-Alain Reynier,
Frédéric Servais,
2013,
Fundam. Informaticae.
Jean-Marc Talbot,
Luc Dartois,
Pierre-Alain Reynier,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2009,
Fundam. Informaticae.
Pierre-Alain Reynier,
Olivier Gauwin,
Emmanuel Filiot,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier,
2008,
FoSSaCS.
Pierre-Alain Reynier,
Didier Villevalois,
2019,
ICALP.
Jean-Marc Talbot,
Pierre-Alain Reynier,
Laure Daviaud,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jean-Marc Talbot,
Pierre-Alain Reynier,
Mathieu Caralp,
2013,
Theor. Comput. Sci..
Pierre-Alain Reynier,
Rémi Jaubert,
2011,
FoSSaCS.
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2012,
ATVA.
Jean-Marc Talbot,
Pierre-Alain Reynier,
Mathieu Caralp,
2013,
CIAA.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2006,
ATVA.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2006,
Inf. Comput..
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2008,
ICALP.
Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier,
2020
.
Jean-Marc Talbot,
Pierre-Alain Reynier,
2014,
Developments in Language Theory.
Pierre-Alain Reynier,
L'eo Exibard,
Emmanuel Filiot,
2019,
CONCUR.
Patricia Bouyer,
Pierre-Alain Reynier,
François Laroussinie,
2005,
FORMATS.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010,
ArXiv.
Pierre-Alain Reynier,
L'eo Exibard,
Emmanuel Filiot,
2020,
FoSSaCS.
Benjamin Monmege,
Pierre-Alain Reynier,
Ocan Sankur,
2019,
CAV.
Igor Potapov,
Pierre-Alain Reynier,
2018,
Lecture Notes in Computer Science.
Nicolas Markey,
Stavros Tripakis,
Pierre-Alain Reynier,
2005
.
Pierre-Alain Reynier,
Emmanuel Filiot,
P. Reynier,
2016,
SIGL.
Pierre-Alain Reynier,
Arnaud Sangnier,
2009,
CONCUR.
Kim G. Larsen,
Jean-François Raskin,
Pierre-Alain Reynier,
2009,
HSCC.
Pierre-Alain Reynier,
Nicolas Baudru,
2018,
DLT.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010
.
Pierre-Alain Reynier,
Olivier Gauwin,
Emmanuel Filiot,
2011,
FSTTCS.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2006,
Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
Kim G. Larsen,
Ulrich Fahrenberg,
Patricia Bouyer,
2018,
FM.
Jean-Marc Talbot,
Sebastian Maneth,
Pierre-Alain Reynier,
2015,
ICALP.
Benjamin Monmege,
Pierre-Alain Reynier,
Damien Busatto-Gaston,
2018,
FSTTCS.
Pierre-Alain Reynier,
Emmanuel Filiot,
P. Reynier,
2017,
RP.
Jean-François Raskin,
Pierre-Alain Reynier,
Kim Guldstrand Larsen,
2013
.
Pierre-Alain Reynier,
Nicolas Baudru,
2020,
Int. J. Found. Comput. Sci..
Pierre-Alain Reynier,
Jose Lopes,
2012
.
Jean-Marc Talbot,
Pierre-Alain Reynier,
Mathieu Caralp,
2012,
Developments in Language Theory.
Jean-Marc Talbot,
Sebastian Maneth,
Pierre-Alain Reynier,
2015
.
Jean-Marc Talbot,
Jean-François Raskin,
Pierre-Alain Reynier,
2010,
MFCS.
Patricia Bouyer,
Pierre-Alain Reynier,
Serge Haddad,
2008,
Inf. Comput..
Pierre-Alain Reynier,
Frédéric Servais,
2011,
Petri Nets.
Loïc Hélouët,
Pierre-Alain Reynier,
Claude Jard,
2012,
RP.
Luc Dartois,
Ismaël Jecker,
Pierre-Alain Reynier,
2018,
Int. J. Found. Comput. Sci..
Benjamin Monmege,
Pierre-Alain Reynier,
Julie Parreaux,
2021,
ICALP.
Benjamin Monmege,
Pierre-Alain Reynier,
Damien Busatto-Gaston,
2021,
ArXiv.
Nathan Lhote,
Pierre-Alain Reynier,
L'eo Exibard,
2021,
Log. Methods Comput. Sci..
Benjamin Monmege,
Jean-Marc Talbot,
Nathan Lhote,
2022,
CSL.
Jean-Marc Talbot,
Pierre-Alain Reynier,
Mathieu Caralp,
2011
.