| 2017 | ESOP | Incremental Update for Graph Rewriting. | Pierre Boutillier, Thomas Ehrhard, Jean Krivine |
| 2016 | RC | Rigid Families for the Reversible π-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2015 | ICTAC | Rigid Families for CCS and the π-calculus. | Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca |
| 2013 | LICS | A Compositional Semantics for the Reversible p-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2012 | RC | A Verification Technique for Reversible Process Algebra. | Jean Krivine |
| 2010 | LICS | Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2009 | CAV | Modelling Epigenetic Information Maintenance: A Kappa Tutorial. | Jean Krivine, Vincent Danos, Arndt Benecke |
| 2008 | VMCAI | Abstract Interpretation of Cellular Signalling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | APLAS | Scalable Simulation of Cellular Signaling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | CONCUR | Rule-Based Modelling of Cellular Signalling. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2005 | CONCUR | Transactions in RCCS. | Vincent Danos, Jean Krivine |
| 2004 | CONCUR | Reversible Communicating Systems. | Vincent Danos, Jean Krivine |