Filter your results
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 14
- 7
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 7
- 9
- 6
- 5
- 5
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 13
- 13
- 13
- 13
- 13
- 10
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 13
- 1
- 11
- 3
- 3
- 1
- 1
- 3
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
A Kappa model for hepatic stellate cells activation by TGFB1CompSysBio 2021 - Advanced Lecture Course on Computational Systems Biology, Nov 2021, Aussois, France. pp.1-1
Poster communications
hal-03545135v1
|
||
|
A Kappa model for hepatic stellate cells activation by TGFB1CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux / Virtual, France. pp.1-6
Poster communications
hal-03545256v1
|
||
|
Simple simpl2013
Preprints, Working Papers, ...
hal-00816918v1
|
||
|
A Kappa model for hepatic stellate cells activation by TGFB1GT-Bioss 2021 - Biologie systémique symbolique, Nov 2021, Lyon, France. pp.1-23
Poster communications
hal-03545569v1
|
||
|
Counters in Kappa: Semantics, Simulation, and Static AnalysisESOP 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
|
||
|
De nouveaux outils pour calculer avec des inductifs en CoqLangage de programmation [cs.PL]. Université Paris-Diderot - Paris VII, 2014. Français. ⟨NNT : ⟩
Theses
tel-01054723v1
|
||
Incremental Update for Graph RewritingEuropean 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[Research Report] Inria. 2014
Reports
hal-01114602v1
|
|||
|
Proving the absence of unbounded polymers in rule-based modelsStatic Analysis and Systems Biology 2018, Aug 2018, Freiburg im Breisgau, Germany
Conference papers
hal-01967632v1
|
||
|
Integrative models for TGF-$\beta$ signaling and extracellular matrixSylvie 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
|
||
|
Dynamic Influence Networks for Rule-Based ModelsIEEE Transactions on Visualization and Computer Graphics, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
Journal articles
hal-02399102v1
|
||
|
A relaxation of Coq's guard conditionJFLA - Journées Francophones des langages applicatifs - 2012, Feb 2012, Carnac, France. pp.1 - 14
Conference papers
hal-00651780v1
|
||
|
The Kappa platform for rule-based modelingBioinformatics, 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
Journal articles
hal-01962663v1
|
||
|
When rule-based models need to count[Research Report] Harvard Medical School. 2017
Reports
hal-01572177v1
|