Pierre Boutillier

According to our database, Pierre Boutillier authored at least 12 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Proving the Absence of Unbounded Polymers in Rule-based Models.

Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

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

Proceedings of the 30th IEEE Visualization Conference, 2019

Counters in Kappa: Semantics, Simulation, and Static Analysis.

Pierre Boutillier, Ioana Cristescu, Jérôme Feret

Proceedings of the Programming Languages and Systems, 2019

The Kappa Simulator Made Interactive.

Pierre Boutillier

Proceedings of the Computational Methods in Systems Biology, 2019

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 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

A Trace Query Language for Rule-Based Models.

Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana

Proceedings of the Computational Methods in Systems Biology, 2018

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

Proceedings of the Computational Methods in Systems Biology, 2018

2017

When rule-based models need to count.

Pierre Boutillier, Ioana Cristescu

CoRR, 2017

Incremental Update for Graph Rewriting.

Pierre Boutillier, Thomas Ehrhard, Jean Krivine

Proceedings of the Programming Languages and Systems, 2017

2014

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

Pierre Boutillier

PhD thesis, 2014

2013

New equations for neutral terms: a sound and complete decision procedure, formalized.

Guillaume Allais, Conor McBride, Pierre Boutillier

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013