Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks | Electronic Notes in Theoretical Computer Science | 23 | 2008 | |
Modelling and simulation of biological processes in BlenX | ACM SIGMETRICS Performance Evaluation Review | 12 | 2008 | |
Modeling Biological Systems in Stochastic Concurrent Constraint Programming | Constraints |
| 20 | 2008 |
Distributing probability over non-determinism | 2006 | |||
A theory of stochastic systems part I: Stochastic automata | Information and Computation |
| 11 | 2005 |