Formal abstraction of quantitative semantics for protein-protein interaction cellular network models.
Publications
Publications during the project
- 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, G. Ciobanu & M. Koutny (Ed.). © 2012, Elsevier Science.
- Ferdinanda Camporesi, Jérôme Feret. Formal reduction of rule-based models. In Mathematical Foundations of Programming Semantics (MFPS XXVII), in Electronnic Notes in Theoretical Computer Science, volume 276C, pp 31--61. © 2011, Elsevier Science.
- Jérôme Feret. Formal model reduction. In Static Analysis Symposium (SAS 2011), number 6887 in
Lecture Notes in Computer Science, p 6. © 2011, Springer.
- Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov.
Combining model reductions. In Mathematical Foundations of Programming Semantics (MFPS XXVI), in Electronnic Notes in Theoretical Computer Science, volume 265, pp 73--96. © 2010, Elsevier Science.
- Jérôme Feret.
Fragments-based model reduction: some case studies. In Interactions between Computer Science and Biology (CS2Bio 2010), in Electronnic Notes in Theoretical Computer Science, volume 268, pp 77--96. © 2010, Elsevier Science.
- Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harlmer,& Jean Krivine.
Abstracting the differential semantics of rule-based models: exact and automated model reduction. In Logic in Computer Science (LICS 2010). 2010, © IEEE Computer Society.
- Ferdinanda Camporesi, Jérôme Feret, Heinz Koeppl,& Tatjana Petrov.
Automatic reduction of stochastic rules-based models in a nutshell. In International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010), numero 1281(2) in American Institute of Physics conference proceedings. 2010, © American Institute of Physics.
- Jérôme Feret, Thomas Henzinger, Heinz Koeppl,& Tatjana Petrov.
Lumpability Abstractions of Rule-based Systems. In The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), to appear in Electronic Proceedings in Theoretical Computer Science. © 2010, Elsevier Science.
Prepublications
Publications prior to the project (but related to the project)
- Jérôme Feret, Vincent Danos, Jean Krivine, Russel Harmer,& Walter Fontana.
Internal coarse-graining of molecular systems.
Accepted to the Proceedings of National Academy of Sciences of the United States of America (PNAS), 2009.
Other publications by Jérôme Feret