Elzbieta Krepska

Elzbieta Krepska

VU University of Amsterdam - Amsterdam / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 4878148
Vrije Universiteit Amsterdam
person_outline Elzbieta Krepska's MOST POPULAR ARTICLES
1-) Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development N Bonzanni, E Krepska, KA Feenstra, W Fokkink, T Kielmann, H Bal, ... Bioinformatics 25 (16), 2049-2056, 2009 632009
2-) Proving stabilization of biological systems B Cook, J Fisher, E Krepska, N Piterman International Workshop on Verification, Model Checking, and Abstract …, 2011 512011
3-) Hipg: parallel processing of large-scale graphs E Krepska, T Kielmann, W Fokkink, H Bal ACM SIGOPS Operating Systems Review 45 (2), 3-13, 2011 432011
4-) What can formal methods bring to systems biology?N Bonzanni, KA Feenstra, W Fokkink, E KrepskaFM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009382009
5-) Design issues for qualitative modelling of biological cells with Petri netsE Krepska, N Bonzanni, A Feenstra, W Fokkink, T Kielmann, H Bal, ...Formal Methods in Systems Biology: First International Workshop, FMSB 2008 …, 2008252008