Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

14 Results
authIdHal_s : pboutill
Image document

A Kappa model for hepatic stellate cells activation by TGFB1

Matthieu Bouguéon , Pierre Boutillier , Jerome Feret , Octave Hazard , Nathalie Theret et al.
CompSysBio 2021 - Advanced Lecture Course on Computational Systems Biology, Nov 2021, Aussois, France. pp.1-1
Poster communications hal-03545135v1
Image document

A Kappa model for hepatic stellate cells activation by TGFB1

Matthieu Bouguéon , Pierre Boutillier , Jerome Feret , Octave Hazard , Nathalie Theret et al.
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux / Virtual, France. pp.1-6
Poster communications hal-03545256v1
Image document

Simple simpl

Pierre Boutillier
2013
Preprints, Working Papers, ... hal-00816918v1
Image document

A Kappa model for hepatic stellate cells activation by TGFB1

Matthieu Bouguéon , Pierre Boutillier , Jerome Feret , Octave Hazard , Nathalie Theret et al.
GT-Bioss 2021 - Biologie systémique symbolique, Nov 2021, Lyon, France. pp.1-23
Poster communications hal-03545569v1

Counters in Kappa: Semantics, Simulation, and Static Analysis

Pierre Boutillier , Ioana Cristescu , Jérôme Feret
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩
Conference papers hal-02397876v1
Image document

De nouveaux outils pour calculer avec des inductifs en Coq

Pierre Boutillier
Langage de programmation [cs.PL]. Université Paris-Diderot - Paris VII, 2014. Français. ⟨NNT : ⟩
Theses tel-01054723v1

Incremental Update for Graph Rewriting

Thomas Ehrhard , Pierre Boutillier , Jean Krivine
European Symposium on Programming (ESOP), Apr 2017, Uppsala, Sweden. ⟨10.1007/978-3-662-54434-1_8⟩
Conference papers hal-02357978v1

Coq 8.4 Reference Manual

Pierre Boutillier , Stephane Glondu , Benjamin Grégoire , Hugo Herbelin , Pierre Letouzey et al.
[Research Report] Inria. 2014
Reports hal-01114602v1
Image document

Proving the absence of unbounded polymers in rule-based models

Pierre Boutillier , Jérôme Feret , Aurélie Faure de Pebeyre
Static Analysis and Systems Biology 2018, Aug 2018, Freiburg im Breisgau, Germany
Conference papers hal-01967632v1
Image document

Integrative models for TGF-$\beta$ signaling and extracellular matrix

Nathalie Theret , Jérôme Feret , Arran Hodgkinson , Pierre Boutillier , Pierre Vignet et al.
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⟩
Book sections hal-02458073v1
Image document

Dynamic Influence Networks for Rule-Based Models

Angus G. Forbes , Andrew Burks , Kristine Lee , Xing Li , Pierre Boutillier et al.
IEEE Transactions on Visualization and Computer Graphics, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
Journal articles hal-02399102v1
Image document

A relaxation of Coq's guard condition

Pierre Boutillier
JFLA - Journées Francophones des langages applicatifs - 2012, Feb 2012, Carnac, France. pp.1 - 14
Conference papers hal-00651780v1
Image document

The Kappa platform for rule-based modeling

Pierre Boutillier , Mutaamba Maasha , Xing Li , Héctor F Medina-Abarca , Jean Krivine et al.
Bioinformatics, 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
Journal articles hal-01962663v1
Image document

When rule-based models need to count

Pierre Boutillier , Ioana Cristescu
[Research Report] Harvard Medical School. 2017
Reports hal-01572177v1