Team
Contraintes
Overall Objectives
Scientific Foundations
Application Domains
New Results
- Linear Logic Concurrent Constraint Programming and Constraint Handling Rules
- Rule-based Modeling of Constraint Satisfaction Problems
- Modelling Search in Rules2CP
- Symmetry Detection and Breaking in Constraint Satisfaction Problems
- Trace Development Methodology
- Petri Net Representation of Biological Networks
- Model Reductions by Graph Transformations
- Analysis of Interlocked Positive Feedback Loops
- Temporal Logic Constraint Solving
- Parameter Search w.r.t. Temporal Logic Properties
- Robustness Analysis w.r.t. Temporal Logic Properties
- Automated selection of PADE models by symbolic model checking
- Modeling the Cell Cycle
- Modeling G protein-Coupled Signal Transduction
Other Grants and Activities
Dissemination
Bibliography