Pierre Boutillier

Orcid: 0000-0001-5370-1597

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Proving the Absence of Unbounded Polymers in Rule-based Models.
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.
Proceedings of the 30th IEEE Visualization Conference, 2019

Counters in Kappa: Semantics, Simulation, and Static Analysis.
Proceedings of the Programming Languages and Systems, 2019

The Kappa Simulator Made Interactive.
Proceedings of the Computational Methods in Systems Biology, 2019

2018
Dynamic Influence Networks for Rule-Based Models.
IEEE Trans. Vis. Comput. Graph., 2018

The Kappa platform for rule-based modeling.
Bioinform., 2018

A Trace Query Language for Rule-Based Models.
Proceedings of the Computational Methods in Systems Biology, 2018

KaSa: A Static Analyzer for Kappa.
Proceedings of the Computational Methods in Systems Biology, 2018

2017
When rule-based models need to count.
CoRR, 2017

Incremental Update for Graph Rewriting.
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).
PhD thesis, 2014

2013
New equations for neutral terms: a sound and complete decision procedure, formalized.
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013


  Loading...