Cédric Lhoussaine

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