| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Intermediate Language for the Simulation of Biological Systems
|
Barbuti, Roberto
|
|
2008
|
194 |
3 |
p. 19-34
16 p.
|
artikel
|
| 2 |
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
|
Cardelli, Luca
|
|
2008
|
194 |
3 |
p. 87-102
16 p.
|
artikel
|
| 3 |
A Spatial Extension to the π Calculus
|
John, Mathias
|
|
2008
|
194 |
3 |
p. 133-148
16 p.
|
artikel
|
| 4 |
A Static Analysis for Beta-Binders
|
Bodei, Chiara
|
|
2008
|
194 |
3 |
p. 69-85
17 p.
|
artikel
|
| 5 |
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
|
Ciocchetta, Federica
|
|
2008
|
194 |
3 |
p. 103-117
15 p.
|
artikel
|
| 6 |
Concurrency in Biological Modeling: Behavior, Execution and Visualization
|
Harel, David
|
|
2008
|
194 |
3 |
p. 119-131
13 p.
|
artikel
|
| 7 |
Describing the Immune System Using Enhanced Mobile Membranes
|
Aman, Bogdan
|
|
2008
|
194 |
3 |
p. 5-18
14 p.
|
artikel
|
| 8 |
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
|
Versari, Cristian
|
|
2008
|
194 |
3 |
p. 165-180
16 p.
|
artikel
|
| 9 |
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
|
Barnat, J.
|
|
2008
|
194 |
3 |
p. 35-50
16 p.
|
artikel
|
| 10 |
Preface
|
Cannata, Nicola
|
|
2008
|
194 |
3 |
p. 1-3
3 p.
|
artikel
|
| 11 |
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine
|
Täubner, Claudia
|
|
2008
|
194 |
3 |
p. 149-164
16 p.
|
artikel
|
| 12 |
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
|
Bartocci, Ezio
|
|
2008
|
194 |
3 |
p. 51-67
17 p.
|
artikel
|
Tijdschrift beschrijving