Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

When rule-based models need to count

 Pierre Boutillier , Ioana Cristescu
[Research Report] Harvard Medical School. 2017
Rapport hal-01572177v1
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 : ⟩
Thèse 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⟩
Communication dans un congrès hal-02357978v1
Image document

A Kappa model for hepatic stellate cells activation by TGFB1

 Matthieu Bouguéon , Pierre Boutillier , Jerome Feret , Octave Hazard , Nathalie Theret
CompSysBio 2021 - Advanced Lecture Course on Computational Systems Biology, Nov 2021, Aussois, France. pp.1-1
Poster de conférence 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
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux / Virtual, France. pp.1-6
Poster de conférence hal-03545256v1
Image document

Simple simpl

 Pierre Boutillier
2013
Pré-publication, Document de travail hal-00816918v1

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⟩
Communication dans un congrès hal-02397876v1
Image document

Modelling hepatic stellate cells activation by TGFB1 using Kappa language

 Matthieu Bouguéon , Pierre Boutillier , Jerome Feret , Octave Hazard , Nathalie Theret
2021, pp.1-23
Autre publication scientifique hal-03545569v1
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⟩
Article dans une revue 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
Communication dans un congrès 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⟩
Article dans une revue hal-01962663v1

Coq 8.4 Reference Manual

 Pierre Boutillier , Stephane Glondu , Benjamin Grégoire , Hugo Herbelin , Pierre Letouzey , et al.
[Research Report] Inria. 2014
Rapport 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
Communication dans un congrès 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⟩
Chapitre d'ouvrage hal-02458073v1
Page :