Publications HAL de Cédric, Lhoussaine

2024

Conference papers

titre
Modeling Intestinal Glucose Absorption from D-xylose Data
auteur
Danilo Dursoniah, Maxime Folschette, Rebecca Goutchtat, Violeta Raverdy, François Pattou, Cédric Lhoussaine
article
15th International Conference on Bioinformatics, Models, Methods and Algorithms, Feb 2024, Rome, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04329210/file/danilo2024.pdf BibTex

2023

Conference papers

titre
Core SBML and its Formal Semantics
auteur
Joachim Niehren, Cédric Lhoussaine, Athénaïs Vaginay
article
CMSB 2023 - 21th International Conference on Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04125922/file/c.pdf BibTex

Books

titre
Symbolic Approaches to Modeling and Analysis of Biological Systems
auteur
Cédric Lhoussaine, Élisabeth Remy
article
Wiley; Wiley; ISTE, 1, 2023, SCIENCES - Bioinformatics, 9781789450293. ⟨10.1002/9781394229086⟩
Accès au bibtex
BibTex

2021

Conference papers

titre
Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 Diabetes
auteur
Danilo Dursoniah, Maxime Folschette, Cédric Lhoussaine, Rebecca Goutchtat, François Pattou, Violeta Raverdy
article
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
Accès au texte intégral et bibtex
https://hal.science/hal-03216583/file/main.pdf BibTex

Books

titre
Special issue "Formal Method for Biological Systems Modelling
auteur
Cédric Lhoussaine, Jérôme Feret
article
Cedric Lhoussaine; Jérôme Feret. MDPI, 9, 2021, Section Computational Biology, 2079-3197
Accès au bibtex
BibTex

2017

Journal articles

titre
Simplification of Reaction Networks, Confluence and Elementary Modes
auteur
Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
article
Computation, 2017, Multiscale and Hybrid Modeling of the Living Systems
Accès au texte intégral et bibtex
https://hal.science/hal-01471074/file/0-final.pdf BibTex
titre
Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform
auteur
Cristian Versari, Szymon Stoma, Kirill Batmanov, Artémis Llamosi, Filip Mroz, Adam Kaczmarek, Matt Deyell, Cédric Lhoussaine, Pascal Hersen, Gregory Batt
article
Journal of the Royal Society Interface, 2017, 14 (127), pp.32. ⟨10.1098/rsif.2016.0705⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01547623/file/20160705.full%281%29.pdf BibTex

2016

Journal articles

titre
Structural simplification of chemical reaction networks in partial steady states
auteur
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren, Elisa Tonello
article
BioSystems, 2016, Special Issue of CMSB'2015, 149, pp.34--49. ⟨10.1016/j.biosystems.2016.08.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01350517/file/bio-simplify.pdf BibTex

Conference papers

titre
Normalizing Chemical Reaction Networks by Confluent Structural Simplification
auteur
Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
article
14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01348303/file/1-hal-version.pdf BibTex

2015

Conference papers

titre
Structural simplification of chemical reaction networks preserving deterministic semantics
auteur
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
article
Computational Methods in Systems Biology (CMSB), Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144
Accès au texte intégral et bibtex
https://hal.science/hal-01168038/file/Structural%20simplification%20of%20chemical%20reaction%20networks%20preserving%20deterministic%20semantics.pdf BibTex

2014

Conference papers

titre
Attractor Equivalence: An Observational Semantics for Reaction Networks
auteur
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
article
First International Conference on Formal Methods in Macro-Biology, Sep 2014, Nouméa, New Caledonia. pp.82-101
Accès au texte intégral et bibtex
https://hal.science/hal-00990924/file/0.pdf BibTex

2012

Journal articles

titre
Self-organized patterning by diffusible factors: roles of a community effect
auteur
Kirill Batmanov, Celine Kuttler, Cédric Lhoussaine, Yasushi Saka
article
Fundamenta Informaticae, 2012, 118 (4), pp.419-461. ⟨10.3233/FI-2012-723⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00633921/file/0.pdf BibTex

Conference papers

titre
Models of Tet-On System with Epigenetic Effects
auteur
Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
article
Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter), Oct 2012, London, United Kingdom. pp.378
Accès au texte intégral et bibtex
https://hal.science/hal-00725553/file/0.pdf BibTex
titre
Symmetry-based model reduction for approximate stochastic analysis
auteur
Kirill Batmanov, Celine Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari
article
Computational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68
Accès au texte intégral et bibtex
https://hal.science/hal-00713386/file/0.pdf BibTex

2011

Journal articles

titre
Theoretical basis of the community effect in development
auteur
Yasushi Saka, Cédric Lhoussaine, Celine Kuttler, Ekkehard Ullner, Marco Thiel
article
BMC Systems Biology, 2011, 5, pp.54. ⟨10.1186/1752-0509-5-54⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00576155/file/1752-0509-5-54.pdf BibTex

Conference papers

titre
Biochemical Reaction Rules with Constraints
auteur
Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
article
20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. pp.338-357
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00544387/file/0.pdf BibTex

2010

Journal articles

titre
Rule-based modeling of transcriptional attenuation at the tryptophan operon
auteur
Celine Kuttler, Cédric Lhoussaine, Mirabelle Nebut
article
Transactions on Computational Systems Biology, 2010, XII, pp.199-228
Accès au texte intégral et bibtex
https://hal.science/hal-00445566/file/tcsb.pdf BibTex

Book sections

titre
The Attributed Pi Calculus with Priorities
auteur
Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher
article
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00422969/file/final.pdf BibTex

2009

Conference papers

titre
Rule-based modeling of transcriptional attenuation at the tryptophan operon
auteur
Celine Kuttler, Cédric Lhoussaine, Mirabelle Nebut
article
Winter Simulation Conference, Dec 2009, Austin, Texas, USA, United States. pp.920-931
Accès au texte intégral et bibtex
https://hal.science/hal-00445565/file/bienCompile.pdf BibTex
titre
Dynamic Compartments in the Imperative Pi Calculus
auteur
Mathias John, Cédric Lhoussaine, Joachim Niehren
article
Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00422970/file/pi-imp.pdf BibTex

2008

Conference papers

titre
The Attributed Pi Calculus
auteur
Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher
article
Computational Methods in Systems Biology, 6th International Conference CMSB, Oct 2008, Rostock, Germany. pp.83-102
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00308970/file/final.pdf BibTex

2007

Conference papers

titre
A Stochastic Pi Calculus for Concurrent Objects
auteur
Céline Kuttler, Cédric Lhoussaine, Joachim Niehren
article
Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00121104/file/0.pdf BibTex

2003

Journal articles

titre
The receptive distributed pi-calculus
auteur
Roberto Amadio, Gérard Boudol, Cédric Lhoussaine
article
ACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (5), pp.549-577
Accès au bibtex
BibTex

2002

Reports

titre
Type Inference for the receptive distributed Pi-calculus
auteur
Cédric Lhoussaine
article
RR-4373, INRIA. 2002
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072215/file/RR-4373.pdf BibTex

2000

Reports

titre
The Receptive Distributed $\pi$-Calculus
auteur
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
article
[Research Report] RR-4080, INRIA. 2000
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072553/file/RR-4080.pdf BibTex