F. Laroussinie
发表
François Laroussinie,
Franck Cassez,
F. Cassez,
2000,
CAV.
Andy J. Wellings,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli,
2005,
TECS.
Arnaud Da Costa Lopes,
F. Laroussinie,
N. Markey,
2012,
CONCUR.
F. Laroussinie,
F Laroussinie,
2010
.
F. Laroussinie,
F Laroussinie,
2010
.
Kim Guldstrand Larsen,
Carsten Weise,
François Laroussinie,
1995
.
F. Laroussinie,
P. Schnoebelen,
1997
.
F. Laroussinie,
N. Markey,
2006
.
F. Laroussinie,
N. Markey,
A. Costa,
2019
.
F. Laroussinie,
N. Markey,
A. Costa,
2010
.
Philippe Schnoebelen,
Laure Petrucci,
Alain Finkel,
2001,
Springer Berlin Heidelberg.
Philippe Schnoebelen,
Sophie Pinchinat,
François Laroussinie,
1995,
Theor. Comput. Sci..
Joël Ouaknine,
James Worrell,
Patricia Bouyer,
2017,
Models, Algorithms, Logics and Tools.
Nicolas Markey,
François Laroussinie,
F. Laroussinie,
2015,
Inf. Comput..
Nicolas Markey,
Thomas Brihaye,
François Laroussinie,
2009,
LFCS.
Kim Guldstrand Larsen,
François Laroussinie,
K. Larsen,
1995,
CONCUR.
Philippe Schnoebelen,
Nicolas Markey,
François Laroussinie,
2001,
FoSSaCS.
Philippe Schnoebelen,
Laure Petrucci,
Alain Finkel,
2001
.
François Laroussinie,
Ph. Schnoebelen,
F. Laroussinie,
1999,
Inf. Comput..
Philippe Schnoebelen,
François Laroussinie,
F. Laroussinie,
1997,
EXPRESS.
Philippe Schnoebelen,
Nicolas Markey,
François Laroussinie,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Nicolas Markey,
François Laroussinie,
F. Laroussinie,
2014,
Log. Methods Comput. Sci..
Carole Delporte-Gallet,
Hugues Fauconnier,
Arnaud Sangnier,
2019,
NETYS.
Antoine Meyer,
François Laroussinie,
Eudes Petonnet,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Philippe Schnoebelen,
Mathieu Turuani,
François Laroussinie,
2000,
Theor. Comput. Sci..
Wang Yi,
Kim G. Larsen,
Paul Pettersson,
1996,
TAPSOFT.
Luca Aceto,
François Laroussinie,
L. Aceto,
1999,
J. Log. Algebraic Methods Program..
Nicolas Markey,
Thomas Brihaye,
François Laroussinie,
2007,
CONCUR.
Marcin Jurdzinski,
Jeremy Sproston,
François Laroussinie,
2007,
Log. Methods Comput. Sci..
Nicolas Markey,
François Laroussinie,
Ghassan Oreiby,
2007,
FoSSaCS.
François Laroussinie,
F. Laroussinie,
1995,
Inf. Process. Lett..
Philippe Schnoebelen,
Stéphane Demri,
François Laroussinie,
2006,
J. Comput. Syst. Sci..
Philippe Schnoebelen,
François Laroussinie,
F. Laroussinie,
2000,
FoSSaCS.
Philippe Schnoebelen,
Nicolas Markey,
François Laroussinie,
2002,
FoSSaCS.
Patricia Bouyer,
François Laroussinie,
Franck Cassez,
2005,
CONCUR.
Patricia Bouyer,
Pierre-Alain Reynier,
François Laroussinie,
2005,
FORMATS.
Patricia Bouyer,
Béatrice Bérard,
François Laroussinie,
2005,
CONCUR.
Kim G. Larsen,
Carsten Weise,
François Laroussinie,
1995,
MFCS.
F. Laroussinie,
N. Markey,
2006
.
Philippe Schnoebelen,
Laure Petrucci,
Pierre McKenzie,
2001
.
A. Hossain,
F. Laroussinie,
F. Laroussinie,
2020,
Inf. Comput..
Akash Hossain,
Francois Laroussinie,
F. Laroussinie,
2019,
TIME.
Philippe Schnoebelen,
François Laroussinie,
F. Laroussinie,
1995,
Theor. Comput. Sci..