Skip to Main content Skip to Navigation


...
hal-00816918v1  Preprints, Working Papers, ...
Pierre Boutillier. Simple simpl
2013
...
hal-00651780v1  Conference papers
Pierre Boutillier. A relaxation of Coq's guard condition
JFLA - Journées Francophones des langages applicatifs - 2012, Feb 2012, Carnac, France. pp.1 - 14
...
hal-01962663v1  Journal articles
Pierre BoutillierMutaamba MaashaXing LiHéctor Medina-AbarcaJean Krivine et al.  The Kappa platform for rule-based modeling
Bioinformatics, Oxford University Press (OUP), 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
...
hal-02399102v1  Journal articles
Angus ForbesAndrew BurksKristine LeeXing LiPierre Boutillier et al.  Dynamic Influence Networks for Rule-Based Models
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
hal-02357978v1  Conference papers
Thomas EhrhardPierre BoutillierJean Krivine. Incremental Update for Graph Rewriting
European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
...
tel-01054723v1  Theses
Pierre Boutillier. De nouveaux outils pour calculer avec des inductifs en Coq
Langage de programmation [cs.PL]. Université Paris-Diderot - Paris VII, 2014. Français
...
hal-01967632v1  Conference papers
Pierre BoutillierJérôme FeretAurélie Faure de Pebeyre. Proving the absence of unbounded polymers in rule-based models
Static Analysis and Systems Biology 2018, Aug 2018, Freiburg im Breisgau, Germany
...
hal-02458073v1  Book sections
Nathalie TheretJérôme FeretArran HodgkinsonPierre BoutillierPierre Vignet et al.  Integrative models for TGF-$\beta$ signaling and extracellular matrix
Sylvie Ricard-Blum. Extracellular Matrix Omics, 7, Springer, pp.17, 2020, Biology of Extracellular Matrix, 978-3-030-58329-3. ⟨10.1007/978-3-030-58330-9_10⟩
hal-02397876v1  Conference papers
Pierre BoutillierIoana CristescuJérôme Feret. Counters in Kappa: Semantics, Simulation, and Static Analysis
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩
...
hal-01888951v1  Conference papers
Pierre BoutillierFerdinanda CamporesiJean CoquetJérôme FeretKim Quyên Lý et al.  KaSa: A Static Analyzer for Kappa
CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. pp.285-291, ⟨10.1007/978-3-319-99429-1_17⟩