 | 2011 |
|---|
| 7 |       | Elzbieta Krepska,
Thilo Kielmann,
Wan Fokkink,
Henri E. Bal:
A High-Level Framework for Distributed Processing of Large-Scale Graphs.
ICDCN 2011: 155-166 |
| 6 | | Byron Cook,
Jasmin Fisher,
Elzbieta Krepska,
Nir Piterman:
Proving Stabilization of Biological Systems.
VMCAI 2011: 134-149 |
| 5 | | Elzbieta Krepska,
Thilo Kielmann,
Wan Fokkink,
Henri E. Bal:
HipG: parallel processing of large-scale graphs.
Operating Systems Review 45(2): 3-13 (2011) |
| 2009 |
|---|
| 4 | | Nicola Bonzanni,
K. Anton Feenstra,
Wan Fokkink,
Elzbieta Krepska:
What Can Formal Methods Bring to Systems Biology?
FM 2009: 16-22 |
| 3 | | Nicola Bonzanni,
Elzbieta Krepska,
K. Anton Feenstra,
Wan Fokkink,
Thilo Kielmann,
Henri E. Bal,
Jaap Heringa:
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development.
Bioinformatics 25(16): 2049-2056 (2009) |
| 2 | | Nicola Bonzanni,
Elzbieta Krepska,
K. Anton Feenstra,
Wan Fokkink,
Thilo Kielmann,
Henri E. Bal,
Jaap Heringa:
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development.
Bioinformatics 25(19): 2624 (2009) |
| 2008 |
|---|
| 1 | | Elzbieta Krepska,
Nicola Bonzanni,
K. Anton Feenstra,
Wan Fokkink,
Thilo Kielmann,
Henri E. Bal,
Jaap Heringa:
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets.
FMSB 2008: 48-62 |
Data released under the ODC-BY 1.0 license — See also our legal information page