Filtrer vos résultats
- 21
- 2
- 12
- 7
- 2
- 1
- 1
- 1
- 21
- 13
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 23
- 11
- 9
- 9
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 10
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 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
23 résultats
|
|
|
triés par
|
|
|
Type Inference for the receptive distributed Pi-calculusRR-4373, INRIA. 2002
Rapport
inria-00072215v1
|
||
|
|
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⟩
Chapitre d'ouvrage
inria-00422969v1
|
||
|
|
Rule-based modeling of transcriptional attenuation at the tryptophan operonWinter Simulation Conference, Dec 2009, Austin, Texas, USA, United States. pp.920-931
Communication dans un congrès
hal-00445565v1
|
||
|
|
The Receptive Distributed $\pi$-Calculus[Research Report] RR-4080, INRIA. 2000
Rapport
inria-00072553v1
|
||
|
|
Biochemical Reaction Rules with Constraints20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357
Communication dans un congrès
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⟩
Article dans une revue
hal-00633921v1
|
||
|
|
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
Communication dans un congrès
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⟩
Article dans une revue
hal-01547623v1
|
||
Special issue "Formal Method for Biological Systems ModellingCedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197
Ouvrages
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
Communication dans un congrès
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⟩
Communication dans un congrès
inria-00422970v1
|
||
|
|
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
Communication dans un congrès
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⟩
Article dans une revue
hal-01350517v1
|
||
|
|
Rule-based modeling of transcriptional attenuation at the tryptophan operonTransactions on Computational Systems Biology, 2010, XII, pp.199-228
Article dans une revue
hal-00445566v1
|
||
|
|
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
Communication dans un congrès
hal-01168038v1
|
||
|
|
Symmetry-based model reduction for approximate stochastic analysisComputational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68
Communication dans un congrès
hal-00713386v1
|
||
|
|
The Attributed Pi CalculusComputational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102
Communication dans un congrès
inria-00308970v4
|
||
The receptive distributed pi-calculusACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (5), pp.549-577
Article dans une revue
hal-00147008v1
|
|||
|
|
Theoretical basis of the community effect in developmentBMC Systems Biology, 2011, 5, pp.54. ⟨10.1186/1752-0509-5-54⟩
Article dans une revue
hal-00576155v1
|
||
|
|
Models of Tet-On System with Epigenetic EffectsComputational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Communication dans un congrès
hal-00725553v1
|
||
|
|
Simplification of Reaction Networks, Confluence and Elementary ModesComputation, 2017, Multiscale and Hybrid Modeling of the Living Systems
Article dans une revue
hal-01471074v1
|
||
|
|
A Stochastic Pi Calculus for Concurrent ObjectsSecond International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246
Communication dans un congrès
inria-00121104v3
|
||
|
|
Modeling Intestinal Glucose Absorption from D-xylose Data15th International Conference on Bioinformatics, Models, Methods and Algorithms, Feb 2024, Rome, Italy
Communication dans un congrès
hal-04329210v2
|