nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Analysing Biochemical Oscillation through Probabilistic Model Checking
|
Ballarini, Paolo |
|
2009 |
229 |
1 |
p. 3-19 17 p. |
artikel |
2 |
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
|
Coletta, Alessio |
|
2009 |
229 |
1 |
p. 165-182 18 p. |
artikel |
3 |
A Process Model of Actin Polymerisation
|
Cardelli, Luca |
|
2009 |
229 |
1 |
p. 127-144 18 p. |
artikel |
4 |
A Translation of Beta-binders in a Prioritized Pi-calculus
|
Cappello, Igor |
|
2009 |
229 |
1 |
p. 109-125 17 p. |
artikel |
5 |
Hybrid Automata in Systems Biology: How Far Can We Go?
|
Campagna, Dario |
|
2009 |
229 |
1 |
p. 93-108 16 p. |
artikel |
6 |
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
|
Benkirane, Soufiene |
|
2009 |
229 |
1 |
p. 59-74 16 p. |
artikel |
7 |
Model Checking Biological Oscillators
|
Bartocci, Ezio |
|
2009 |
229 |
1 |
p. 41-58 18 p. |
artikel |
8 |
Preface
|
Cannata, Nicola |
|
2009 |
229 |
1 |
p. 1-2 2 p. |
artikel |
9 |
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
|
Ciocchetta, Federica |
|
2009 |
229 |
1 |
p. 145-163 19 p. |
artikel |
10 |
Spatial Calculus of Looping Sequences
|
Barbuti, Roberto |
|
2009 |
229 |
1 |
p. 21-39 19 p. |
artikel |
11 |
The Importance of Being (A Little Bit) Discrete
|
Bortolussi, Luca |
|
2009 |
229 |
1 |
p. 75-92 18 p. |
artikel |