Cedric Lhoussaine
Professeur des universités
CNU : SECTION 27 - INFORMATIQUE
Laboratoire / équipe
Publications
{
"response":{"numFound":23,"start":0,"numFoundExact":true,"docs":[
{
"citationRef_s":"<i>15th International Conference on Bioinformatics, Models, Methods and Algorithms</i>, Feb 2024, Rome, Italy",
"citationFull_s":"Danilo Dursoniah, Maxime Folschette, Rebecca Goutchtat, Violeta Raverdy, François Pattou, et al.. Modeling Intestinal Glucose Absorption from D-xylose Data. <i>15th International Conference on Bioinformatics, Models, Methods and Algorithms</i>, Feb 2024, Rome, Italy. <a target=\"_blank\" href=\"https://hal.science/hal-04329210v2\">⟨hal-04329210v2⟩</a>",
"title_s":["Modeling Intestinal Glucose Absorption from D-xylose Data"],
"authFullName_s":["Danilo Dursoniah",
"Maxime Folschette",
"Rebecca Goutchtat",
"Violeta Raverdy",
"François Pattou",
"Cédric Lhoussaine"],
"halId_s":"hal-04329210",
"docType_s":"COMM",
"producedDateY_i":2024},
{
"citationRef_s":"<i>BIOTECHNO 2021 : The Thirteenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies</i>, Birgit Gersbeck-Schierholz; Hesham H. Ali, May 2021, Valencia, Spain. pp.4-7",
"citationFull_s":"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. <i>BIOTECHNO 2021 : The Thirteenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies</i>, Birgit Gersbeck-Schierholz; Hesham H. Ali, May 2021, Valencia, Spain. pp.4-7. <a target=\"_blank\" href=\"https://hal.science/hal-03216583\">⟨hal-03216583⟩</a>",
"title_s":["Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 Diabetes"],
"authFullName_s":["Danilo Dursoniah",
"Maxime Folschette",
"Cédric Lhoussaine",
"Rebecca Goutchtat",
"François Pattou",
"Violeta Raverdy"],
"halId_s":"hal-03216583",
"docType_s":"COMM",
"producedDateY_i":2021},
{
"citationRef_s":"Cedric Lhoussaine; Jérôme Feret. <a target=\"_blank\" href=\"https://www.mdpi.com/journal/computation/special_issues/formal_method_biological_systems#info\">MDPI</a>, 9, 2021, Section Computational Biology, 2079-3197",
"citationFull_s":"Cédric Lhoussaine, Jérôme Feret (Dir.). Special issue \"Formal Method for Biological Systems Modelling\". Cedric Lhoussaine; Jérôme Feret. <a target=\"_blank\" href=\"https://www.mdpi.com/journal/computation/special_issues/formal_method_biological_systems#info\">MDPI</a>, 9, 2021, Section Computational Biology, 2079-3197. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03542053\">⟨hal-03542053⟩</a>",
"title_s":["Special issue \"Formal Method for Biological Systems Modelling"],
"authFullName_s":["Cédric Lhoussaine",
"Jérôme Feret"],
"halId_s":"hal-03542053",
"docType_s":"OUV",
"producedDateY_i":2021},
{
"citationRef_s":"<i>Computation</i>, 2017, Multiscale and Hybrid Modeling of the Living Systems",
"citationFull_s":"Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. Simplification of Reaction Networks, Confluence and Elementary Modes. <i>Computation</i>, 2017, Multiscale and Hybrid Modeling of the Living Systems. <a target=\"_blank\" href=\"https://hal.science/hal-01471074\">⟨hal-01471074⟩</a>",
"title_s":["Simplification of Reaction Networks, Confluence and Elementary Modes"],
"authFullName_s":["Guillaume Madelaine",
"Elisa Tonello",
"Cédric Lhoussaine",
"Joachim Niehren"],
"halId_s":"hal-01471074",
"docType_s":"ART",
"producedDateY_i":2017},
{
"citationRef_s":"<i>Journal of the Royal Society Interface</i>, 2017, 14 (127), pp.32. <a target=\"_blank\" href=\"https://dx.doi.org/10.1098/rsif.2016.0705\">⟨10.1098/rsif.2016.0705⟩</a>",
"citationFull_s":"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. <i>Journal of the Royal Society Interface</i>, 2017, 14 (127), pp.32. <a target=\"_blank\" href=\"https://dx.doi.org/10.1098/rsif.2016.0705\">⟨10.1098/rsif.2016.0705⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01547623\">⟨hal-01547623⟩</a>",
"title_s":["Long-term tracking of budding yeast cells in brightfield microscopy: CellStar and the Evaluation Platform"],
"authFullName_s":["Cristian Versari",
"Szymon Stoma",
"Kirill Batmanov",
"Artémis Llamosi",
"Filip Mroz",
"Adam Kaczmarek",
"Matt Deyell",
"Cédric Lhoussaine",
"Pascal Hersen",
"Gregory Batt"],
"halId_s":"hal-01547623",
"docType_s":"ART",
"producedDateY_i":2017},
{
"citationRef_s":"<i>BioSystems</i>, 2016, Special Issue of CMSB'2015, 149, pp.34--49. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.biosystems.2016.08.003\">⟨10.1016/j.biosystems.2016.08.003⟩</a>",
"citationFull_s":"Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren, Elisa Tonello. Structural simplification of chemical reaction networks in partial steady states. <i>BioSystems</i>, 2016, Special Issue of CMSB'2015, 149, pp.34--49. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.biosystems.2016.08.003\">⟨10.1016/j.biosystems.2016.08.003⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01350517\">⟨hal-01350517⟩</a>",
"title_s":["Structural simplification of chemical reaction networks in partial steady states"],
"authFullName_s":["Guillaume Madelaine",
"Cédric Lhoussaine",
"Joachim Niehren",
"Elisa Tonello"],
"halId_s":"hal-01350517",
"docType_s":"ART",
"producedDateY_i":2016},
{
"citationRef_s":"<i>14th International Conference on Computational Methods in Systems Biology (CMSB 2016)</i>, Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom",
"citationFull_s":"Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren. Normalizing Chemical Reaction Networks by Confluent Structural Simplification. <i>14th International Conference on Computational Methods in Systems Biology (CMSB 2016)</i>, Ezio Bartocci; Pietro Lio; Nicola Paoletti, Sep 2016, Cambridge, United Kingdom. <a target=\"_blank\" href=\"https://hal.science/hal-01348303\">⟨hal-01348303⟩</a>",
"title_s":["Normalizing Chemical Reaction Networks by Confluent Structural Simplification"],
"authFullName_s":["Guillaume Madelaine",
"Elisa Tonello",
"Cédric Lhoussaine",
"Joachim Niehren"],
"halId_s":"hal-01348303",
"docType_s":"COMM",
"producedDateY_i":2016},
{
"citationRef_s":"<i>Computational Methods in Systems Biology (CMSB)</i>, Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144",
"citationFull_s":"Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Structural simplification of chemical reaction networks preserving deterministic semantics. <i>Computational Methods in Systems Biology (CMSB)</i>, Jérémie BOURDON; Olivier ROUX, Sep 2015, Nantes, France. pp.133-144. <a target=\"_blank\" href=\"https://hal.science/hal-01168038\">⟨hal-01168038⟩</a>",
"title_s":["Structural simplification of chemical reaction networks preserving deterministic semantics"],
"authFullName_s":["Guillaume Madelaine",
"Cédric Lhoussaine",
"Joachim Niehren"],
"halId_s":"hal-01168038",
"docType_s":"COMM",
"producedDateY_i":2015},
{
"citationRef_s":"<i>First International Conference on Formal Methods in Macro-Biology</i>, Sep 2014, Nouméa, New Caledonia. pp.82-101",
"citationFull_s":"Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren. Attractor Equivalence: An Observational Semantics for Reaction Networks. <i>First International Conference on Formal Methods in Macro-Biology</i>, Sep 2014, Nouméa, New Caledonia. pp.82-101. <a target=\"_blank\" href=\"https://hal.science/hal-00990924\">⟨hal-00990924⟩</a>",
"title_s":["Attractor Equivalence: An Observational Semantics for Reaction Networks"],
"authFullName_s":["Guillaume Madelaine",
"Cédric Lhoussaine",
"Joachim Niehren"],
"halId_s":"hal-00990924",
"docType_s":"COMM",
"producedDateY_i":2014},
{
"citationRef_s":"<i>Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter)</i>, Oct 2012, London, United Kingdom. pp.378",
"citationFull_s":"Russ Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, et al.. Models of Tet-On System with Epigenetic Effects. <i>Computational Methods in Systems Biology 2012 (CMSB 2012, Flashposter)</i>, Oct 2012, London, United Kingdom. pp.378. <a target=\"_blank\" href=\"https://hal.science/hal-00725553\">⟨hal-00725553⟩</a>",
"title_s":["Models of Tet-On System with Epigenetic Effects"],
"authFullName_s":["Russ Harmer",
"Jean Krivine",
"Élise Laruelle",
"Cédric Lhoussaine",
"Guillaume Madelaine",
"Mirabelle Nebut"],
"halId_s":"hal-00725553",
"docType_s":"COMM",
"producedDateY_i":2012},
{
"citationRef_s":"<i>Computational Methods in Systems Biology 2012 (CMSB 2012)</i>, Oct 2012, London, United Kingdom. pp.49-68",
"citationFull_s":"Kirill Batmanov, Celine Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari. Symmetry-based model reduction for approximate stochastic analysis. <i>Computational Methods in Systems Biology 2012 (CMSB 2012)</i>, Oct 2012, London, United Kingdom. pp.49-68. <a target=\"_blank\" href=\"https://hal.science/hal-00713386\">⟨hal-00713386⟩</a>",
"title_s":["Symmetry-based model reduction for approximate stochastic analysis"],
"authFullName_s":["Kirill Batmanov",
"Celine Kuttler",
"François Lemaire",
"Cédric Lhoussaine",
"Cristian Versari"],
"halId_s":"hal-00713386",
"docType_s":"COMM",
"producedDateY_i":2012},
{
"citationRef_s":"<i>Fundamenta Informaticae</i>, 2012, 118 (4), pp.419-461. <a target=\"_blank\" href=\"https://dx.doi.org/10.3233/FI-2012-723\">⟨10.3233/FI-2012-723⟩</a>",
"citationFull_s":"Kirill Batmanov, Celine Kuttler, Cédric Lhoussaine, Yasushi Saka. Self-organized patterning by diffusible factors: roles of a community effect. <i>Fundamenta Informaticae</i>, 2012, 118 (4), pp.419-461. <a target=\"_blank\" href=\"https://dx.doi.org/10.3233/FI-2012-723\">⟨10.3233/FI-2012-723⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00633921\">⟨hal-00633921⟩</a>",
"title_s":["Self-organized patterning by diffusible factors: roles of a community effect"],
"authFullName_s":["Kirill Batmanov",
"Celine Kuttler",
"Cédric Lhoussaine",
"Yasushi Saka"],
"halId_s":"hal-00633921",
"docType_s":"ART",
"producedDateY_i":2012},
{
"citationRef_s":"<i>20th European Symposium on Programming Languages</i>, Mar 2011, Saarbrücken, Germany. pp.338-357",
"citationFull_s":"Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari. Biochemical Reaction Rules with Constraints. <i>20th European Symposium on Programming Languages</i>, Mar 2011, Saarbrücken, Germany. pp.338-357. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00544387\">⟨inria-00544387⟩</a>",
"title_s":["Biochemical Reaction Rules with Constraints"],
"authFullName_s":["Mathias John",
"Cédric Lhoussaine",
"Joachim Niehren",
"Cristian Versari"],
"halId_s":"inria-00544387",
"docType_s":"COMM",
"producedDateY_i":2011},
{
"citationRef_s":"<i>BMC Systems Biology</i>, 2011, 5, pp.54. <a target=\"_blank\" href=\"https://dx.doi.org/10.1186/1752-0509-5-54\">⟨10.1186/1752-0509-5-54⟩</a>",
"citationFull_s":"Yasushi Saka, Cédric Lhoussaine, Celine Kuttler, Ekkehard Ullner, Marco Thiel. Theoretical basis of the community effect in development. <i>BMC Systems Biology</i>, 2011, 5, pp.54. <a target=\"_blank\" href=\"https://dx.doi.org/10.1186/1752-0509-5-54\">⟨10.1186/1752-0509-5-54⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-00576155\">⟨hal-00576155⟩</a>",
"title_s":["Theoretical basis of the community effect in development"],
"authFullName_s":["Yasushi Saka",
"Cédric Lhoussaine",
"Celine Kuttler",
"Ekkehard Ullner",
"Marco Thiel"],
"halId_s":"hal-00576155",
"docType_s":"ART",
"producedDateY_i":2011},
{
"citationRef_s":"Corrado Priami; Rainer Breitling; David Gilbert; Monika Heiner; Adelinde M. Uhrmacher. <i>Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies</i>, LNBI-5945, Springer, pp.13-76, 2010, Lecture Notes in Bioinformatics (Journal Subline), 978-3-642-11712-1. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-11712-1_2\">⟨10.1007/978-3-642-11712-1_2⟩</a>",
"citationFull_s":"Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus with Priorities. Corrado Priami; Rainer Breitling; David Gilbert; Monika Heiner; Adelinde M. Uhrmacher. <i>Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies</i>, LNBI-5945, Springer, pp.13-76, 2010, Lecture Notes in Bioinformatics (Journal Subline), 978-3-642-11712-1. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-11712-1_2\">⟨10.1007/978-3-642-11712-1_2⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00422969\">⟨inria-00422969⟩</a>",
"title_s":["The Attributed Pi Calculus with Priorities"],
"authFullName_s":["Mathias John",
"Cédric Lhoussaine",
"Joachim Niehren",
"Adelinde Uhrmacher"],
"halId_s":"inria-00422969",
"docType_s":"COUV",
"producedDateY_i":2010},
{
"citationRef_s":"<i>Transactions on Computational Systems Biology</i>, 2010, XII, pp.199-228",
"citationFull_s":"Celine Kuttler, Cédric Lhoussaine, Mirabelle Nebut. Rule-based modeling of transcriptional attenuation at the tryptophan operon. <i>Transactions on Computational Systems Biology</i>, 2010, XII, pp.199-228. <a target=\"_blank\" href=\"https://hal.science/hal-00445566\">⟨hal-00445566⟩</a>",
"title_s":["Rule-based modeling of transcriptional attenuation at the tryptophan operon"],
"authFullName_s":["Celine Kuttler",
"Cédric Lhoussaine",
"Mirabelle Nebut"],
"halId_s":"hal-00445566",
"docType_s":"ART",
"producedDateY_i":2010},
{
"citationRef_s":"<i>Winter Simulation Conference</i>, Dec 2009, Austin, Texas, USA, United States. pp.920-931",
"citationFull_s":"Celine Kuttler, Cédric Lhoussaine, Mirabelle Nebut. Rule-based modeling of transcriptional attenuation at the tryptophan operon. <i>Winter Simulation Conference</i>, Dec 2009, Austin, Texas, USA, United States. pp.920-931. <a target=\"_blank\" href=\"https://hal.science/hal-00445565\">⟨hal-00445565⟩</a>",
"title_s":["Rule-based modeling of transcriptional attenuation at the tryptophan operon"],
"authFullName_s":["Celine Kuttler",
"Cédric Lhoussaine",
"Mirabelle Nebut"],
"halId_s":"hal-00445565",
"docType_s":"COMM",
"producedDateY_i":2009},
{
"citationRef_s":"<i>Computational Methods in Systems Biology, 7th International Conference</i>, Aug 2009, Bologna, Italy. pp.235-250, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-03845-7\">⟨10.1007/978-3-642-03845-7⟩</a>",
"citationFull_s":"Mathias John, Cédric Lhoussaine, Joachim Niehren. Dynamic Compartments in the Imperative Pi Calculus. <i>Computational Methods in Systems Biology, 7th International Conference</i>, Aug 2009, Bologna, Italy. pp.235-250, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-03845-7\">⟨10.1007/978-3-642-03845-7⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00422970\">⟨inria-00422970⟩</a>",
"title_s":["Dynamic Compartments in the Imperative Pi Calculus"],
"authFullName_s":["Mathias John",
"Cédric Lhoussaine",
"Joachim Niehren"],
"halId_s":"inria-00422970",
"docType_s":"COMM",
"producedDateY_i":2009},
{
"citationRef_s":"<i>Computational Methods in Systems Biology, 6th International Conference CMSB</i>, Oct 2008, Rostock, Germany. pp.83-102",
"citationFull_s":"Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde Uhrmacher. The Attributed Pi Calculus. <i>Computational Methods in Systems Biology, 6th International Conference CMSB</i>, Oct 2008, Rostock, Germany. pp.83-102. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00308970v4\">⟨inria-00308970v4⟩</a>",
"title_s":["The Attributed Pi Calculus"],
"authFullName_s":["Mathias John",
"Cédric Lhoussaine",
"Joachim Niehren",
"Adelinde Uhrmacher"],
"halId_s":"inria-00308970",
"docType_s":"COMM",
"producedDateY_i":2008},
{
"citationRef_s":"<i>Second International Conference on Algebraic Biology</i>, Jul 2007, Linz, Austria. pp.232-246",
"citationFull_s":"Céline Kuttler, Cédric Lhoussaine, Joachim Niehren. A Stochastic Pi Calculus for Concurrent Objects. <i>Second International Conference on Algebraic Biology</i>, Jul 2007, Linz, Austria. pp.232-246. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00121104v3\">⟨inria-00121104v3⟩</a>",
"title_s":["A Stochastic Pi Calculus for Concurrent Objects"],
"authFullName_s":["Céline Kuttler",
"Cédric Lhoussaine",
"Joachim Niehren"],
"halId_s":"inria-00121104",
"docType_s":"COMM",
"producedDateY_i":2007},
{
"citationRef_s":"<i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>, 2003, 25 (5), pp.549-577",
"citationFull_s":"Roberto Amadio, Gérard Boudol, Cédric Lhoussaine. The receptive distributed pi-calculus. <i>ACM Transactions on Programming Languages and Systems (TOPLAS)</i>, 2003, 25 (5), pp.549-577. <a target=\"_blank\" href=\"https://hal.science/hal-00147008\">⟨hal-00147008⟩</a>",
"title_s":["The receptive distributed pi-calculus"],
"authFullName_s":["Roberto Amadio",
"Gérard Boudol",
"Cédric Lhoussaine"],
"halId_s":"hal-00147008",
"docType_s":"ART",
"producedDateY_i":2003},
{
"citationRef_s":"RR-4373, INRIA. 2002",
"citationFull_s":"Cédric Lhoussaine. Type Inference for the receptive distributed Pi-calculus. RR-4373, INRIA. 2002. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00072215\">⟨inria-00072215⟩</a>",
"title_s":["Type Inference for the receptive distributed Pi-calculus"],
"authFullName_s":["Cédric Lhoussaine"],
"halId_s":"inria-00072215",
"docType_s":"REPORT",
"producedDateY_i":2002},
{
"citationRef_s":"[Research Report] RR-4080, INRIA. 2000",
"citationFull_s":"Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. The Receptive Distributed $\\pi$-Calculus. [Research Report] RR-4080, INRIA. 2000. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00072553\">⟨inria-00072553⟩</a>",
"title_s":["The Receptive Distributed $\\pi$-Calculus"],
"authFullName_s":["Roberto M. Amadio",
"Gérard Boudol",
"Cédric Lhoussaine"],
"halId_s":"inria-00072553",
"docType_s":"REPORT",
"producedDateY_i":2000}]
}}