Filter your results
- 20
- 2
- 11
- 7
- 2
- 1
- 1
- 20
- 13
- 2
- 2
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 22
- 11
- 9
- 8
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 10
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
22 Results
|
|
sorted by
|
|
Type Inference for the receptive distributed Pi-calculusRR-4373, INRIA. 2002
Reports
inria-00072215v1
|
||
|
Rule-based modeling of transcriptional attenuation at the tryptophan operonWinter Simulation Conference, Dec 2009, Austin, Texas, USA, United States. pp.920-931
Conference papers
hal-00445565v1
|
||
|
The Receptive Distributed $\pi$-Calculus[Research Report] RR-4080, INRIA. 2000
Reports
inria-00072553v1
|
||
|
The Attributed Pi Calculus with PrioritiesCorrado Priami; Rainer Breitling; David Gilbert; Monika Heiner; Adelinde M. Uhrmacher. Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies, LNBI-5945, Springer, pp.13-76, 2010, Lecture Notes in Bioinformatics (Journal Subline), 978-3-642-11712-1. ⟨10.1007/978-3-642-11712-1_2⟩
Book sections
inria-00422969v1
|
||
|
Rule-based modeling of transcriptional attenuation at the tryptophan operonTransactions on Computational Systems Biology, 2010, XII, pp.199-228
Journal articles
hal-00445566v1
|
||
|
Attractor Equivalence: An Observational Semantics for Reaction NetworksFirst International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101
Conference papers
hal-00990924v1
|
||
|
Structural simplification of chemical reaction networks in partial steady statesBioSystems, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩
Journal articles
hal-01350517v1
|
||
|
Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 DiabetesBIOTECHNO 2021 : The Thirteenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, Birgit Gersbeck-Schierholz; Hesham H. Ali, May 2021, Valencia, Spain. pp.4-7
Conference papers
hal-03216583v1
|
||
|
Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation PlatformJournal of the Royal Society Interface, 2017, 14 (127), pp.32. ⟨10.1098/rsif.2016.0705⟩
Journal articles
hal-01547623v1
|
||
|
Biochemical Reaction Rules with Constraints20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357
Conference papers
inria-00544387v1
|
||
|
Self-organized patterning by diffusible factors: roles of a community effectFundamenta Informaticae, 2012, 118 (4), pp.419-461. ⟨10.3233/FI-2012-723⟩
Journal articles
hal-00633921v1
|
||
Special issue "Formal Method for Biological Systems ModellingCedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197
Books
hal-03542053v1
|
|||
|
Normalizing Chemical Reaction Networks by Confluent Structural Simplification14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom
Conference papers
hal-01348303v1
|
||
|
Dynamic Compartments in the Imperative Pi CalculusComputational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩
Conference papers
inria-00422970v1
|
||
|
Theoretical basis of the community effect in developmentBMC Systems Biology, 2011, 5, pp.54. ⟨10.1186/1752-0509-5-54⟩
Journal articles
hal-00576155v1
|
||
|
A Stochastic Pi Calculus for Concurrent ObjectsSecond International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246
Conference papers
inria-00121104v3
|
||
|
Simplification of Reaction Networks, Confluence and Elementary ModesComputation, 2017, Multiscale and Hybrid Modeling of the Living Systems
Journal articles
hal-01471074v1
|
||
|
Models of Tet-On System with Epigenetic EffectsComputational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Conference papers
hal-00725553v1
|
||
The receptive distributed pi-calculusACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (5), pp.549-577
Journal articles
hal-00147008v1
|
|||
|
Symmetry-based model reduction for approximate stochastic analysisComputational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68
Conference papers
hal-00713386v1
|
||
|
The Attributed Pi CalculusComputational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102
Conference papers
inria-00308970v4
|
||
|
Structural simplification of chemical reaction networks preserving deterministic semanticsComputational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144
Conference papers
hal-01168038v1
|