Search - Archive ouverte HAL Access content directly

Filter your results

22 Results
Image document

Type Inference for the receptive distributed Pi-calculus

Cédric Lhoussaine
RR-4373, INRIA. 2002
Reports inria-00072215v1
Image document

Rule-based modeling of transcriptional attenuation at the tryptophan operon

Celine Kuttler , Cédric Lhoussaine , Mirabelle Nebut
Winter Simulation Conference, Dec 2009, Austin, Texas, USA, United States. pp.920-931
Conference papers hal-00445565v1
Image document

The Receptive Distributed $\pi$-Calculus

Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine
[Research Report] RR-4080, INRIA. 2000
Reports inria-00072553v1
Image document

The Attributed Pi Calculus with Priorities

Mathias John , Cédric Lhoussaine , Joachim Niehren , Adelinde Uhrmacher
Corrado 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
Image document

Rule-based modeling of transcriptional attenuation at the tryptophan operon

Celine Kuttler , Cédric Lhoussaine , Mirabelle Nebut
Transactions on Computational Systems Biology, 2010, XII, pp.199-228
Journal articles hal-00445566v1
Image document

Attractor Equivalence: An Observational Semantics for Reaction Networks

Guillaume Madelaine , Cédric Lhoussaine , Joachim Niehren
First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101
Conference papers hal-00990924v1
Image document

Structural simplification of chemical reaction networks in partial steady states

Guillaume Madelaine , Cédric Lhoussaine , Joachim Niehren , Elisa Tonello
BioSystems, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩
Journal articles hal-01350517v1
Image document

Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 Diabetes

Danilo Dursoniah , Maxime Folschette , Cédric Lhoussaine , Rebecca Goutchtat , François Pattou et al.
BIOTECHNO 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
Image document

Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform

Cristian Versari , Szymon Stoma , Kirill Batmanov , Artémis Llamosi , Filip Mroz et al.
Journal of the Royal Society Interface, 2017, 14 (127), pp.32. ⟨10.1098/rsif.2016.0705⟩
Journal articles hal-01547623v1
Image document

Biochemical Reaction Rules with Constraints

Mathias John , Cédric Lhoussaine , Joachim Niehren , Cristian Versari
20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357
Conference papers inria-00544387v1
Image document

Self-organized patterning by diffusible factors: roles of a community effect

Kirill Batmanov , Celine Kuttler , Cédric Lhoussaine , Yasushi Saka
Fundamenta Informaticae, 2012, 118 (4), pp.419-461. ⟨10.3233/FI-2012-723⟩
Journal articles hal-00633921v1

Special issue "Formal Method for Biological Systems Modelling

Cédric Lhoussaine , Jérôme Feret
Cedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197
Books hal-03542053v1
Image document

Normalizing Chemical Reaction Networks by Confluent Structural Simplification

Guillaume Madelaine , Elisa Tonello , Cédric Lhoussaine , Joachim Niehren
14th 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
Image document

Dynamic Compartments in the Imperative Pi Calculus

Mathias John , Cédric Lhoussaine , Joachim Niehren
Computational 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
Image document

Theoretical basis of the community effect in development

Yasushi Saka , Cédric Lhoussaine , Celine Kuttler , Ekkehard Ullner , Marco Thiel et al.
BMC Systems Biology, 2011, 5, pp.54. ⟨10.1186/1752-0509-5-54⟩
Journal articles hal-00576155v1
Image document

A Stochastic Pi Calculus for Concurrent Objects

Céline Kuttler , Cédric Lhoussaine , Joachim Niehren
Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246
Conference papers inria-00121104v3
Image document

Simplification of Reaction Networks, Confluence and Elementary Modes

Guillaume Madelaine , Elisa Tonello , Cédric Lhoussaine , Joachim Niehren
Computation, 2017, Multiscale and Hybrid Modeling of the Living Systems
Journal articles hal-01471074v1
Image document

Models of Tet-On System with Epigenetic Effects

Russ Harmer , Jean Krivine , Élise Laruelle , Cédric Lhoussaine , Guillaume Madelaine et al.
Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Conference papers hal-00725553v1

The receptive distributed pi-calculus

Roberto Amadio , Gérard Boudol , Cédric Lhoussaine
ACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (5), pp.549-577
Journal articles hal-00147008v1
Image document

Symmetry-based model reduction for approximate stochastic analysis

Kirill Batmanov , Celine Kuttler , François Lemaire , Cédric Lhoussaine , Cristian Versari et al.
Computational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68
Conference papers hal-00713386v1
Image document

The Attributed Pi Calculus

Mathias John , Cédric Lhoussaine , Joachim Niehren , Adelinde Uhrmacher
Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102
Conference papers inria-00308970v4
Image document

Structural simplification of chemical reaction networks preserving deterministic semantics

Guillaume Madelaine , Cédric Lhoussaine , Joachim Niehren
Computational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144
Conference papers hal-01168038v1