Research Program
Application Domains
New Results
- A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
- Memory Abstraction
- Static Analysis of JavaScript Code
- Communication-closed asynchronous protocols
- Borel Kernels and their Approximation, Categorically
- Static analysis of rule-based models
- The Kappa platform for rule-based modeling
- Conservative approximation of systems of differential equations
- Sources, propagation and consequences of stochasticity in cellular growth
- Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage
- A Genetic Circuit Compiler: Generating Combinatorial Genetic Circuits with Web Semantics and Inference
- An Information-Theoretic Measure for Patterning in Epithelial Tissues
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Results
- A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
- Memory Abstraction
- Static Analysis of JavaScript Code
- Communication-closed asynchronous protocols
- Borel Kernels and their Approximation, Categorically
- Static analysis of rule-based models
- The Kappa platform for rule-based modeling
- Conservative approximation of systems of differential equations
- Sources, propagation and consequences of stochasticity in cellular growth
- Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage
- A Genetic Circuit Compiler: Generating Combinatorial Genetic Circuits with Web Semantics and Inference
- An Information-Theoretic Measure for Patterning in Epithelial Tissues
Partnerships and Cooperations
Bibliography
Previous | 
Home