Combinatorial Complexity and Compositional Drift in Protein Interaction Networks

por Deeds, Eric J., Krivine, Jean, Feret, Jérôme, Danos, Vincent, Fontana, Walter
Publicado 2012

Static analysis and verification of aerospace software by abstract interpretation

por Julien Bertrane, Julien, Patrick Cousot, Patrick, Radhia Cousot, Radhia, Jérôme Feret, Jérôme, Laurent Mauborgne, Laurent, Miné, Antoine, Xavier Rival, Xavier
Publicado 2015

The Kappa platform for rule-based modeling

por Boutillier, Pierre, Maasha, Mutaamba, Li, Xing, Medina-Abarca, Héctor F, Krivine, Jean, Feret, Jérôme, Cristescu, Ioana, Forbes, Angus G, Fontana, Walter
Publicado 2018