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
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.