Pierre Boutillier

ORCID

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 12

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

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

Pierre Boutillier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre Boutillier