Overall Objectives
Research Program
Application Domains
Software and Platforms
- BIOCHAM, biochemical abstract machine
- Nicotine
- STSE (Spatio-Temporal Simulation Environment)
- YeastImageToolkit
- FO-CTL(), first-order computation tree logic over the reals
- Rules2CP
- SiLCC, linear concurrent constraint programming
- EMoP, existential modules for Prolog
- CHRat, CHR with ask and tell
- CLPGUI, constraint logic programming graphical user interface
New Results
- A Stronger Necessary Condition for the Multistationarity of Chemical Reaction Networks
- Petri Net Analyses of Biochemical Reaction Networks using Constraint Logic Programming
- Structural Model Reduction: CLP and SAT Solvers for Computing Subgraph Epimorphisms
- Quantitative Model Reduction: a CLP Solver for Computing Tropical Equilibrations
- Species Minimization in Biochemical Reaction Computing
- Hybrid Composition and Simulation of Heterogeneous Biochemical Models
- Composition and Abstraction of Logical Influence Networks: Application to Multi-Cellular Systems
- Identification of Biological Models from Single Cell Data: a Comparison between Mixed-Effects and Moment-based Inference
- STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification
- Single Cell Models and Models of Populations: A Mixed Effect Approach
- Coupled Model of the Cell Cycle and Circadian Clock
- Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy
- Railway Time Tabling Optimization with CMA-ES and Greedy Heuristics
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Overall Objectives
Research Program
Application Domains
Software and Platforms
- BIOCHAM, biochemical abstract machine
- Nicotine
- STSE (Spatio-Temporal Simulation Environment)
- YeastImageToolkit
- FO-CTL(), first-order computation tree logic over the reals
- Rules2CP
- SiLCC, linear concurrent constraint programming
- EMoP, existential modules for Prolog
- CHRat, CHR with ask and tell
- CLPGUI, constraint logic programming graphical user interface
New Results
- A Stronger Necessary Condition for the Multistationarity of Chemical Reaction Networks
- Petri Net Analyses of Biochemical Reaction Networks using Constraint Logic Programming
- Structural Model Reduction: CLP and SAT Solvers for Computing Subgraph Epimorphisms
- Quantitative Model Reduction: a CLP Solver for Computing Tropical Equilibrations
- Species Minimization in Biochemical Reaction Computing
- Hybrid Composition and Simulation of Heterogeneous Biochemical Models
- Composition and Abstraction of Logical Influence Networks: Application to Multi-Cellular Systems
- Identification of Biological Models from Single Cell Data: a Comparison between Mixed-Effects and Moment-based Inference
- STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification
- Single Cell Models and Models of Populations: A Mixed Effect Approach
- Coupled Model of the Cell Cycle and Circadian Clock
- Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy
- Railway Time Tabling Optimization with CMA-ES and Greedy Heuristics
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography