Model checking
Modeling Dynamic Phenomena in Molecular and Cellular Biology
Modeling Dynamic Phenomena in Molecular and Cellular Biology
Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
The biochemical abstract machine BIOCHAM
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Abstract interpretation and types for systems biology
Theoretical Computer Science
On temporal logic constraint solving for analyzing numerical data time series
Theoretical Computer Science
On the analysis of numerical data time series in temporal logic
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Formal cell biology in biocham
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Model revision from temporal logic properties in computational systems biology
Probabilistic inductive logic programming
| Hi-index | 0.00 |
Mathematical biology has for a long time investigated the dynamics of biomolecular systems by developing numerical models involving (highly non-linear) differential equations and using tools such as Bifurcation Theory for estimating parameters [1]. Mathematical biology provides a firm ground for the numerical analysis of biological systems. However, state-of-the-art quantitative models can hardly be re-used and composed with other models in a systematic fashion, and are limited to a few tenths of variables [2].