Research Program
Application Domains
New Software and Platforms
New Results
- Memory Abstraction
- Rule-based modeling
- Formal Derivation of Qualitative Dynamical Models from Biochemical Networks
- Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
- Stochastic mechanics of graph rewriting
- Giry and the machine
- Robustly Parameterised Higher-Order Probabilistic Models
- Bayesian inversion by ω-complete cone duality
- Continuous-time Markov chains as transformers of unbounded observables
- Communities in socio-cognitive networks.
- Synchronous Balanced Analysis
- Pointless learning
- Survival of the fattest.
- The algebras of graph rewriting
- PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Software and Platforms
New Results
- Memory Abstraction
- Rule-based modeling
- Formal Derivation of Qualitative Dynamical Models from Biochemical Networks
- Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
- Stochastic mechanics of graph rewriting
- Giry and the machine
- Robustly Parameterised Higher-Order Probabilistic Models
- Bayesian inversion by ω-complete cone duality
- Continuous-time Markov chains as transformers of unbounded observables
- Communities in socio-cognitive networks.
- Synchronous Balanced Analysis
- Pointless learning
- Survival of the fattest.
- The algebras of graph rewriting
- PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
Partnerships and Cooperations
Bibliography
Previous | 
Home