Jérôme Feret
发表
Vincent Danos,
Eric J. Deeds,
Jean Krivine,
2012,
PloS one.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2003,
PLDI '03.
Jérôme Feret,
Kim Quyên Lý,
2018,
SASB.
Jérôme Feret,
Jérôme Feret,
2005,
J. Log. Algebraic Methods Program..
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2002,
The Essence of Computation.
Vincent Danos,
Russell Harmer,
Jean Krivine,
2008,
Workshop on Membrane Computing.
Heinz Koeppl,
Thomas A. Henzinger,
Jérôme Feret,
2012,
Theor. Comput. Sci..
Heinz Koeppl,
Jérôme Feret,
Tatjana Petrov,
2013,
Int. J. Softw. Informatics.
Vincent Danos,
Russell Harmer,
Jean Krivine,
2007,
CONCUR.
Heinz Koeppl,
Jérôme Feret,
Tatjana Petrov,
2012,
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).
Jérôme Feret,
Jérôme Feret,
2000,
SAS.
Heinz Koeppl,
Jérôme Feret,
2017,
Lecture Notes in Computer Science.
Jérôme Feret,
Pierre Boutillier,
Ioana Cristescu,
2019,
ESOP.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2009,
Formal Methods Syst. Des..
Heinz Koeppl,
Thomas A. Henzinger,
Jérôme Feret,
2010,
Theor. Comput. Sci..
Jérôme Feret,
2008,
ArXiv.
Patrick Cousot,
Heinz Hille,
Antoine Miné,
2017
.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2005,
ESOP.
Jérôme Feret,
Ferdinanda Camporesi,
Jérôme Feret,
2011,
MFPS.
Jérôme Feret,
2005
.
Vincent Danos,
Jean Krivine,
Jérôme Feret,
2007,
APLAS.
Vincent Danos,
Russell Harmer,
Jean Krivine,
2010
.
Vincent Danos,
Jean Krivine,
Jérôme Feret,
2010
.
Jérôme Feret,
Raphaël Pélissier,
Christophe Proisy,
2015,
Remote. Sens..
Vincent Danos,
Jean Krivine,
Jérôme Feret,
2008,
VMCAI.
Jérôme Feret,
Jérôme Feret,
2010,
CS2Bio.
Jérôme Feret,
Jonathan Hayman,
Ferdinanda Camporesi,
2013,
CMSB.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2002
.
Christopher D. Thompson-Walsh,
Glynn Winskel,
Vincent Danos,
2012,
FSTTCS.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2009,
Softwaretechnik-Trends.
Vincent Danos,
Jean Krivine,
Jérôme Feret,
2009,
Proceedings of the National Academy of Sciences.
Heinz Koeppl,
Jérôme Feret,
Tatjana Petrov,
2010,
MFPS.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Vincent Danos,
Jean Krivine,
Jérôme Feret,
2009
.
Jérôme Feret,
Jérôme Feret,
2002,
ESOP.
Jérôme Feret,
Kim Quyen Ly,
2016
.
Vincent Danos,
Jean Krivine,
Jérôme Feret,
2010,
Chaos.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2016
.
Jérôme Feret,
2008
.
Jérôme Feret,
Jérôme Feret,
2004,
ESOP.
Denis Thieffry,
Jérôme Feret,
Wassim Abou-Jaoudé,
2015,
CMSB.
Jérôme Feret,
Kim Quyên Lý,
Ferdinanda Camporesi,
2017,
CMSB.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2006,
ASIAN.
Jérôme Feret,
2005,
VMCAI.
Jérôme Feret,
Andre Levchenko,
2012
.
Jérôme Feret,
Jérôme Feret,
2000,
GETCO.
Jérôme Feret,
2011,
SAS.
Eric Goubault,
Patrick Cousot,
Antoine Miné,
2009
.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2011
.
Jérôme Feret,
Jérôme Feret,
2001,
SAS.
Vincent Danos,
Russell Harmer,
Jean Krivine,
2008,
FMSB.
Jérôme Feret,
Kim Quyên Lý,
Kim Quyên Lý,
2018,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Vincent Danos,
Russell Harmer,
Jean Krivine,
2009,
Trans. Comp. Sys. Biology.
Jérôme Feret,
2015,
Electron. Notes Theor. Comput. Sci..
Jérôme Feret,
Kim Quyen Ly,
2016,
CMSB.
Jérôme Feret,
Nathalie Théret,
Pierre Boutillier,
2018,
CMSB.
Patrick Cousot,
Antoine Miné,
Xavier Rival,
2011,
SOEN.
Jérôme Feret,
2007
.
Christopher D. Thompson-Walsh,
Glynn Winskel,
Vincent Danos,
2012
.
Heinz Koeppl,
Jérôme Feret,
Tatjana Petrov,
2010
.