Cédric Lhoussaine

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 5

Top Topics

Formal Semantics

Chemical Reaction

Top Venues

Publications

Danilo Dursoniah, Maxime Folschette, Rebecca Goutchtat, Violeta Raverdy, François Pattou, Cédric Lhoussaine
Modeling Intestinal Glucose Absorption from D-Xylose Data. BIOSTEC (1) (2024)
Joachim Niehren, Cédric Lhoussaine, Athénaïs Vaginay
Core SBML and Its Formal Semantics. CMSB (2023)
Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
Simplification of Reaction Networks, Confluence and Elementary Modes. Comput. 5 (1) (2017)
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren, Elisa Tonello
Structural simplification of chemical reaction networks in partial steady states. Biosyst. 149 (2016)
Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren
Normalizing Chemical Reaction Networks by Confluent Structural Simplification. CMSB (2016)
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics. CMSB (2015)
Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren
Attractor Equivalence: An Observational Semantics for Reaction Networks. FMMB (2014)
Kirill Batmanov, Céline Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari
Symmetry-Based Model Reduction for Approximate Stochastic Analysis. CMSB (2012)
Kirill Batmanov, Céline Kuttler, Cédric Lhoussaine, Yasushi Saka
Self-organized Patterning by Diffusible Factors: Roles of a Community Effect. Fundam. Informaticae 118 (4) (2012)
Russell Harmer, Jean Krivine, Élise Laruelle, Cédric Lhoussaine, Guillaume Madelaine, Mirabelle Nebut
Models of Tet-On System with Epigenetic Effects. CMSB (2012)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
Biochemical Reaction Rules with Constraints. ESOP (2011)
Yasushi Saka, Cédric Lhoussaine, Céline Kuttler, Ekkehard Ullner, Marco Thiel
Theoretical basis of the community effect in development. BMC Syst. Biol. 5 (2011)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
The Attributed Pi-Calculus with Priorities. Trans. Comp. Sys. Biology 12 (2010)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Trans. Comp. Sys. Biology 12 (2010)
Mathias John, Cédric Lhoussaine, Joachim Niehren
-Calculus. CMSB (2009)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Formal Methods in Molecular Biology (2009)
Céline Kuttler, Cédric Lhoussaine, Mirabelle Nebut
Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. WSC (2009)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher
The Attributed Pi Calculus. CMSB (2008)
Céline Kuttler, Cédric Lhoussaine, Joachim Niehren
A Stochastic Pi Calculus for Concurrent Objects. AB (2007)
Cédric Lhoussaine, Vladimiro Sassone
A Dependently Typed Ambient Calculus. ESOP (2004)
Cédric Lhoussaine
Type inference for a distributed \pi-calculus. Sci. Comput. Program. 50 (1-3) (2004)
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
The receptive distributed pi-calculus. ACM Trans. Program. Lang. Syst. 25 (5) (2003)
Cédric Lhoussaine
Type Inference for a Distributed pi-Calculus. ESOP (2003)
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
On message deliverability and non-uniform receptivity. Fundam. Informaticae 53 (2) (2002)
Laurent Audibert, Cédric Lhoussaine, Karl Schlechta
Distance Based Revision of Preferential Logics. Log. J. IGPL 7 (4) (1999)
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
The Receptive Distributed pi-Calculus (Extended Abstract). FSTTCS (1999)