Overall Objectives
Scientific Foundations
Application Domains
Software
- BIOCHAM, biochemical abstract machine
- Nicotine
- STSE, spatio-temporal simulation environment
- YeastImageToolkit
- SBMC, systems biology model-checker
- 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
- Inferring Reaction Rule Models from Ordinary Differential Equations
- Petri Net Analyses of Biochemical Networks using Constraint Logic Programming
- Subgraph Epimorphisms
- Parameter Search with Temporal Logic Constraints
- Coupled Model of the Cell Cycle and Circadian Clock
- STL-based Analysis of TRAIL-induced Apoptosis
- Real-time Control of Gene Expression in Yeast
- Genome Engineering of Mammalian Cells: Targeted and Efficient Integration of Multi-unit Genetic Payloads
- Reifying Global Constraints
- Railway Time Tabling Optimization
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Scientific Foundations
Application Domains
Software
- BIOCHAM, biochemical abstract machine
- Nicotine
- STSE, spatio-temporal simulation environment
- YeastImageToolkit
- SBMC, systems biology model-checker
- 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
- Inferring Reaction Rule Models from Ordinary Differential Equations
- Petri Net Analyses of Biochemical Networks using Constraint Logic Programming
- Subgraph Epimorphisms
- Parameter Search with Temporal Logic Constraints
- Coupled Model of the Cell Cycle and Circadian Clock
- STL-based Analysis of TRAIL-induced Apoptosis
- Real-time Control of Gene Expression in Yeast
- Genome Engineering of Mammalian Cells: Targeted and Efficient Integration of Multi-unit Genetic Payloads
- Reifying Global Constraints
- Railway Time Tabling Optimization
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography