no image

Cedric Lhoussaine

Professeur des universités

Publications

Article dans des revues

  • Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. Simplification of Reaction Networks, Confluence and Elementary Modes. Computation, MDPI, 2017, Multiscale and Hybrid Modeling of the Living Systems. ⟨hal-01471074⟩
  • Cristian Versari, Szymon Stoma, Kirill Batmanov, Artémis Llamosi, Filip Mroz, et al.. Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform. Journal of the Royal Society Interface, the Royal Society, 2017, 14 (127), pp.32. ⟨10.1098/rsif.2016.0705⟩. ⟨hal-01547623⟩
  • Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren, Elisa Tonello. Structural simplification of chemical reaction networks in partial steady states. BioSystems, Elsevier, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩. ⟨hal-01350517⟩
  • Kirill Batmanov, Celine Kuttler, Cédric Lhoussaine, Yasushi Saka. Self-organized patterning by diffusible factors: roles of a community effect. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 118 (4), pp.419-461. ⟨10.3233/FI-2012-723⟩. ⟨hal-00633921⟩
  • Yasushi Saka, Cédric Lhoussaine, Celine Kuttler, Ekkehard Ullner, Marco Thiel. Theoretical basis of the community effect in development. BMC Systems Biology, BioMed Central, 2011, 5, pp.54. ⟨10.1186/1752-0509-5-54⟩. ⟨hal-00576155⟩
  • Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus with Priorities. Transactions on Computational Systems Biology, Springer, 2010, Lecture Notes in Computer Science, XII (5945), pp.13-76. ⟨10.1007/978-3-642-11712-1_2⟩. ⟨inria-00422969⟩
  • Celine Kuttler, Cédric Lhoussaine, Mirabelle Nebut. Rule-based modeling of transcriptional attenuation at the tryptophan operon. Transactions on Computational Systems Biology, Springer, 2010, XII, pp.199-228. ⟨hal-00445566⟩
  • Roberto Amadio, Gérard Boudol, Cédric Lhoussaine. The receptive distributed pi-calculus. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2003, 25 (5), pp.549-577. ⟨hal-00147008⟩

Communication dans un congrès

  • Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. Normalizing Chemical Reaction Networks by Confluent Structural Simplification. 14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom. ⟨hal-01348303⟩
  • Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Structural simplification of chemical reaction networks preserving deterministic semantics. Computational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144. ⟨hal-01168038⟩
  • Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Attractor Equivalence: An Observational Semantics for Reaction Networks. First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101. ⟨hal-00990924⟩
  • Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, et al.. Models of Tet-On System with Epigenetic Effects. Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378. ⟨hal-00725553⟩
  • Kirill Batmanov, Celine Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari. Symmetry-based model reduction for approximate stochastic analysis. Computational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68. ⟨hal-00713386⟩
  • Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari. Biochemical Reaction Rules with Constraints. 20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357. ⟨inria-00544387⟩
  • Celine Kuttler, Cédric Lhoussaine, Mirabelle Nebut. Rule-based modeling of transcriptional attenuation at the tryptophan operon. Winter Simulation Conference, Dec 2009, Austin, Texas, USA, United States. pp.920-931. ⟨hal-00445565⟩
  • Mathias John, Cédric Lhoussaine, Joachim Niehren. Dynamic Compartments in the Imperative Pi Calculus. Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩. ⟨inria-00422970⟩
  • Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus. Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102. ⟨inria-00308970v4⟩
  • Céline Kuttler, Cédric Lhoussaine, Joachim Niehren. A Stochastic Pi Calculus for Concurrent Objects. Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246. ⟨inria-00121104v3⟩

Pré-publication, Document de travail

  • Danilo Dursoniah, Maxime Folschette, Cédric Lhoussaine, Rebecca Goutchtat, François Pattou, et al.. Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 Diabetes. 2021. ⟨hal-03216583⟩

Rapport

  • Cédric Lhoussaine. Type Inference for the receptive distributed Pi-calculus. RR-4373, INRIA. 2002. ⟨inria-00072215⟩
  • Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. The Receptive Distributed $\pi$-Calculus. [Research Report] RR-4080, INRIA. 2000. ⟨inria-00072553⟩