Research Program
Application Domains
New Software and Platforms
New Results
- Hybrid Simulation of Heterogeneous Biochemical Models in SBML
- Theoretical and Practical Complexities of Enumerating Minimal Siphons in Petri Nets
- Abstraction-based Parameter Synthesis for Multiaffine Systems
- Tropical Algebra Methods for Model Reduction
- Modeling the Effect of the Cell Cycle on the Circadian Clock in Mouse Embryonic Fibroblasts
- Effects of repeated osmotic stress on gene expression and growth: from cell-to-cell variability to cellular individuality in the budding yeast Saccharomyces cerevisiae
- Resistance to anti-cancer drugs by non-mutational mechanisms: insights from a cell-based multi-scale model of TRAIL-induced apoptosis
- Controlling a genetic inverted pendulum
- Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications
- Reconfigurable Neuromorphic Computation in Biochemical Systems
- Search by Constraint Propagation
- Execution models for Constraint Programming and Semantics Equivalence
- On Translating MiniZinc Constraint Model into Fitness Functions: Application to Continuous Placement Problems.
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Software and Platforms
New Results
- Hybrid Simulation of Heterogeneous Biochemical Models in SBML
- Theoretical and Practical Complexities of Enumerating Minimal Siphons in Petri Nets
- Abstraction-based Parameter Synthesis for Multiaffine Systems
- Tropical Algebra Methods for Model Reduction
- Modeling the Effect of the Cell Cycle on the Circadian Clock in Mouse Embryonic Fibroblasts
- Effects of repeated osmotic stress on gene expression and growth: from cell-to-cell variability to cellular individuality in the budding yeast Saccharomyces cerevisiae
- Resistance to anti-cancer drugs by non-mutational mechanisms: insights from a cell-based multi-scale model of TRAIL-induced apoptosis
- Controlling a genetic inverted pendulum
- Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications
- Reconfigurable Neuromorphic Computation in Biochemical Systems
- Search by Constraint Propagation
- Execution models for Constraint Programming and Semantics Equivalence
- On Translating MiniZinc Constraint Model into Fitness Functions: Application to Continuous Placement Problems.
Partnerships and Cooperations
Bibliography