N. Bertrand
发表
Nathalie Bertrand,
Axel Legay,
Sophie Pinchinat,
2009,
ICFEM.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2012,
JACM.
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
Nathalie Bertrand,
Antoine Lobstein,
Irène Charon,
2004,
Eur. J. Comb..
N. Bertrand,
N. Markey,
O. Sankur,
2022,
ArXiv.
Nathalie Bertrand,
Loïc Hélouët,
Amélie Stainer,
2013
.
Véronique Bruyère,
Jean-François Raskin,
Nathalie Bertrand,
2014,
Acta Informatica.
N. Bertrand,
B. Genest,
H. Gimbert,
2009,
LICS.
Vincent Gramoli,
I. Konnov,
N. Bertrand,
2022,
DISC.
N. Bertrand,
P. Schnoebelen,
2005
.
N. Bertrand,
G. Delzanno,
Arnaud Sangnier,
2011
.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Nathalie Bertrand,
Josef Widder,
Bastien Thomas,
2021,
CONCUR.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2009,
CONCUR.
Nathalie Bertrand,
Hugo Gimbert,
Blaise Genest,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2008,
FoSSaCS.
Nathalie Bertrand,
Axel Legay,
Sophie Pinchinat,
2012,
Sci. Comput. Program..
Nathalie Bertrand,
Sophie Pinchinat,
Jean-Baptiste Raclet,
2009,
LATA.
Nathalie Bertrand,
Patricia Bouyer,
Nicolas Markey,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2007,
FSTTCS.
Nicolas Markey,
Ocan Sankur,
Nathalie Bertrand,
2020,
FSTTCS.
N. Bertrand,
2020
.
Nathalie Bertrand,
Patricia Bouyer,
Thomas Brihaye,
2017,
J. Log. Algebraic Methods Program..
Igor Konnov,
Josef Widder,
Nathalie Bertrand,
2019,
International Journal on Software Tools for Technology Transfer.
Patricia Bouyer,
Nathalie Bertrand,
Anirban Majumdar,
2019,
CONCUR.
Nathalie Bertrand,
Nicolas Markey,
A. R. Balasubramanian,
2018,
TACAS.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2014,
Log. Methods Comput. Sci..
Nathalie Bertrand,
Philippe Schnoebelen,
N. Bertrand,
2013,
Formal Methods Syst. Des..
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2009,
DCFS.
Christel Baier,
Nathalie Bertrand,
Marcus Größer,
2009,
SOFSEM.
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2021,
CONCUR.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2008
.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2008
.
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2018,
LICS.
Nathalie Bertrand,
Blaise Genest,
N. Bertrand,
2011,
FSTTCS.
Nathalie Bertrand,
Loïc Hélouët,
Serge Haddad,
2014,
FoSSaCS.
Nathalie Bertrand,
Thierry Jéron,
Amélie Stainer,
2011,
Formal Methods Syst. Des..
N. Bertrand,
M. Lazic,
Josef Widder,
2022,
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Nathalie Bertrand,
Sven Schewe,
John Fearnley,
2012,
CSL.
Philippe Schnoebelen,
Nathalie Bertrand,
N. Bertrand,
2006,
EXPRESS.
Christel Baier,
Nathalie Bertrand,
Patricia Bouyer,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Christel Baier,
Nathalie Bertrand,
Philippe Schnoebelen,
2006,
Inf. Process. Lett..
Christel Baier,
Nathalie Bertrand,
Philippe Schnoebelen,
2005,
TOCL.
Nathalie Bertrand,
Philippe Schnoebelen,
N. Bertrand,
2003,
FoSSaCS.
Nathalie Bertrand,
N. Bertrand,
2004
.
Nathalie Bertrand,
Philippe Schnoebelen,
N. Bertrand,
2012,
QAPL.
Nathalie Bertrand,
Philippe Schnoebelen,
N. Bertrand,
2012,
1207.4577.
Christel Baier,
Nathalie Bertrand,
Philippe Schnoebelen,
2006,
LPAR.
Luca Bortolussi,
Nathalie Bertrand,
N. Bertrand,
2017,
Lecture Notes in Computer Science.
Nathalie Bertrand,
N. Bertrand,
2020,
ACM SIGLOG News.
N. Bertrand,
P. Schnoebelen,
2012,
Formal Methods in System Design.
N. Bertrand,
R. Fāure,
A. Pompei,
2013
.