Cédric Lhoussaine
发表
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2015,
CMSB.
Roberto M. Amadio,
Pascal Zimmer,
Gérard Boudol,
2002
.
Cédric Lhoussaine,
Cristian Versari,
Artémis Llamosi,
2017,
Journal of The Royal Society Interface.
Joachim Niehren,
Mathias John,
Adelinde M. Uhrmacher,
2010,
Trans. Comp. Sys. Biology.
Joachim Niehren,
Cédric Lhoussaine,
Céline Kuttler,
2007,
AB.
Vladimiro Sassone,
Cédric Lhoussaine,
2004,
ESOP.
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2017,
Comput..
Joachim Niehren,
Mathias John,
Adelinde M. Uhrmacher,
2008,
CMSB.
Cédric Lhoussaine,
Kirill Batmanov,
Céline Kuttler,
2012,
Fundam. Informaticae.
Joachim Niehren,
Mathias John,
Cédric Lhoussaine,
2009,
CMSB.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
2002,
Fundam. Informaticae.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999
.
Russell Harmer,
Jean Krivine,
Mirabelle Nebut,
2012,
CMSB.
Cédric Lhoussaine,
Cédric Lhoussaine,
2002
.
Cédric Lhoussaine,
Cédric Lhoussaine,
2003,
ESOP.
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2016,
CMSB.
Joachim Niehren,
Mathias John,
Cédric Lhoussaine,
2011,
ESOP.
Cédric Lhoussaine,
Cédric Lhoussaine,
2004,
Sci. Comput. Program..
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2016,
Biosyst..
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999,
FSTTCS.
Roberto M. Amadio,
Gérard Boudol,
Cédric Lhoussaine,
1999,
TOPL.
Joachim Niehren,
Guillaume Madelaine,
Cédric Lhoussaine,
2014,
FMMB.
Karl Schlechta,
Cédric Lhoussaine,
Laurent Audibert,
1999,
Log. J. IGPL.
Cédric Lhoussaine,
Marco Thiel,
Céline Kuttler,
2010,
BMC Systems Biology.
Mirabelle Nebut,
Cédric Lhoussaine,
Céline Kuttler,
2009,
Proceedings of the 2009 Winter Simulation Conference (WSC).
François Lemaire,
Cédric Lhoussaine,
Cristian Versari,
2012,
CMSB.
Mirabelle Nebut,
Cédric Lhoussaine,
Celine Kuttler,
2009
.