Institute National de Recherce en Informatique et Automatique, France

Research Fellow

Email: feret@ens.fr

Qualifications

2005 Ph.D., Computer Science, Laboratoire d'informatique de l'École normale supérieure, France

2000 M.Sc, Pure and Applied Mathématics and Computer Science,École normale supérieure, France

Publications (selected)

1. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Rule-based modelling of cellular signalling. Invited in International Conference on Concurrency Theory(CONCUR 2007), number 4703 in Lecture Notes in Computer Science. 2007, DOI: 10.1007/978-3-540-74407-8_3. © Springer.
2. Vincent Danos, Jérôme Feret, Walter Fontana,& Jean Krivine. Abstract interpretation of cellular signalling networks. In Verification, Model Checking, and Abstract Interpretation(VMCAI 2008), number 4905 in Lecture Notes in Computer Sciences. 2008, DOI: 10.1007/978-3-540-78163-9_11. © Springer.
3. Jérôme Feret, Vincent Danos, Jean Krivine, Russell Harmer,& Walter Fontana. Internal coarse-graining of molecular systems. Proceedings of National Academy of Sciences of the United States of America(PNAS), volume 106.(16). 2009, DOI: 10.1073/pnas.0809908106. © National Academy of Sciences.
4. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer,& Jean Krivine. Abstracting the differential semantics of rule-based models: exact and automated model reduction. In Logic in Computer Science(LICS 2010). 2010, DOI: 10.1109/LICS.2010.44.© IEEE Computer Society.
5. Ferdinanda Camporesi, Jérôme Feret. Formal reduction of rule-based models. In Mathematical Foundations of Programming Semantics(MFPS XXVII), in Electronic Notes in Theoretical Computer Science, volume 276. 2011, DOI:10.1016/j.entcs.2011.09.014. © Elsevier Science.
6. Jérôme Feret, Thomas Henzinger, Heinz Koeppl,& Tatjana Petrov. Lumpability Abstractions of Rule-based Systems. In Theoretical Computer Science, special issue on MeCBIC 2009-2010, vol 431, 2012. DOI: 10.1016/j.tcs.2011.12.059. © Elsevier Inc.
7. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh,& Glynn Winskel. Rewriting and Pathway Reconstruction for Rule-Based Models. InProceedings of the 32nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science(FSTTCS 2012), in Leibniz International Proceedings in Informatics, volume 18, 2012.DOI:10.4230/LIPIcs.FSTTCS.2012.276. © Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Profile Details

http://www.di.ens.fr/~feret/