New equations for neutral terms: a sound and complete decision procedure, formalized. - Guillaume Allais; Conor McBride; Pierre Boutillier (DTP@ICFP, 2013)

De nouveaux outils pour calculer avec des inductifs en Coq. (New tool to compute with inductive in Coq). - Pierre Boutillier (2014)

Incremental Update for Graph Rewriting. - Pierre Boutillier; Thomas Ehrhard; Jean Krivine (ESOP, 2017)

When rule-based models need to count. - Pierre Boutillier; Ioana Cristescu (CoRR, 2017)

KaSa: A Static Analyzer for Kappa. - Pierre Boutillier; Ferdinanda Camporesi; Jean Coquet; Jérôme Feret; Kim Quyên Lý; Nathalie Théret; Pierre Vignet (CMSB, 2018)

A Trace Query Language for Rule-Based Models. - Jonathan Laurent; Héctor F. Medina-Abarca; Pierre Boutillier; Jean Yang; Walter Fontana (CMSB, 2018)

The Kappa platform for rule-based modeling. - Pierre Boutillier; Mutaamba Maasha; Xing Li; Héctor F. Medina-Abarca; Jean Krivine; Jérôme Feret; Ioana Cristescu; Angus G. Forbes; Walter Fontana (Bioinform., 2018)

Dynamic Influence Networks for Rule-Based Models. - Angus Graeme Forbes; Andrew Burks; Kristine Lee; Xing Li; Pierre Boutillier; Jean Krivine; Walter Fontana (IEEE Trans. Vis. Comput. Graph., 2018)

The Kappa Simulator Made Interactive. - Pierre Boutillier (CMSB, 2019)

Counters in Kappa: Semantics, Simulation, and Static Analysis. - Pierre Boutillier; Ioana Cristescu; Jérôme Feret (ESOP, 2019)

RuleVis: Constructing Patterns and Rules for Rule-Based Models. - David Abramov; Jasmine Otto; Mahika Dubey; Cassia Artanegara; Pierre Boutillier; Walter Fontana; Angus G. Forbes (IEEE VIS (Short Papers), 2019)

Proving the Absence of Unbounded Polymers in Rule-based Models. - Pierre Boutillier; Aurélie Faure de Pebeyre; Jérôme Feret (SASB, 2020)