Pierre Boutillier

15 papers A 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2020 — conf
Proving the Absence of Unbounded Polymers in Rule-based Models.
SASB
Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret
2019 A conf
Counters in Kappa: Semantics, Simulation, and Static Analysis.
ESOP
Pierre Boutillier, Ioana Cristescu, Jérôme Feret
2019 — conf
RuleVis: Constructing Patterns and Rules for Rule-Based Models.
IEEE VIS (Short Papers)
David Abramov, Jasmine Otto, Mahika Dubey, Cassia Artanegara, Pierre Boutillier, Walter Fontana, Angus G. Forbes
2019 J jnl
RuleVis: Constructing Patterns and Rules for Rule-Based Models.
CoRR
David Abramov, Jasmine Otto, Mahika Dubey, Cassia Artanegara, Pierre Boutillier, Walter Fontana, Angus G. Forbes
2019 — conf
The Kappa Simulator Made Interactive.
CMSB
Pierre Boutillier
2018 — conf
A Trace Query Language for Rule-Based Models.
CMSB
Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana
2018 J jnl
Dynamic Influence Networks for Rule-Based Models.
IEEE Trans. Vis. Comput. Graph.
Angus Graeme Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
2018 — conf
KaSa: A Static Analyzer for Kappa.
CMSB
Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet
2018 J jnl
The Kappa platform for rule-based modeling.
Bioinform.
Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F. Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G. Forbes, Walter Fontana
2017 J jnl
Dynamic Influence Networks for Rule-based Models.
CoRR
Angus Graeme Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
2017 A conf
Incremental Update for Graph Rewriting.
ESOP
Pierre Boutillier, Thomas Ehrhard, Jean Krivine
2017 J jnl
When rule-based models need to count.
CoRR
Pierre Boutillier, Ioana Cristescu
2014 — —
De nouveaux outils pour calculer avec des inductifs en Coq. (New tool to compute with inductive in Coq).
Pierre Boutillier
2013 J jnl
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized
CoRR
Guillaume Allais, Pierre Boutillier, Conor McBride
2013 — conf
New equations for neutral terms: a sound and complete decision procedure, formalized.
DTP@ICFP
Guillaume Allais, Conor McBride, Pierre Boutillier