Elzbieta Krepska
Title
Cited by
Cited by
Year
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
582009
Proving stabilization of biological systems
B Cook, J Fisher, E Krepska, N Piterman
International Workshop on Verification, Model Checking, and Abstract …, 2011
452011
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
342011
What can formal methods bring to systems biology?
N Bonzanni, KA Feenstra, W Fokkink, E Krepska
International Symposium on Formal Methods, 16-22, 2009
332009
Design issues for qualitative modelling of biological cells with Petri nets
E Krepska, N Bonzanni, A Feenstra, W Fokkink, T Kielmann, H Bal, ...
International Workshop on Formal Methods in Systems Biology, 48-62, 2008
252008
A high-level framework for distributed processing of large-scale graphs
E Krepska, T Kielmann, W Fokkink, H Bal
International Conference on Distributed Computing and Networking, 155-166, 2011
222011
A service for reliable execution of grid applications
E Krępska, T Kielmann, R Sirvent, RM Badia
Achievements in European Research on Grid Systems, 179-192, 2008
82008
Towards Big Biology: High-Performance Verification of Large Concurrent Systems
E Krepska
PhD thesis, VU University Amsterdam, 2012
12012
An Efficient Distributed Algorithm for Finding Terminal Strongly Connected Components
E Krepska, T Kielmann, W Fokkink, H Bal
1
Technical report IR-CS-62
E Krepska, T Kielmann, W Fokkink, H Bal
2010
Coarse-Grained Quantitative Modelling of C. elegans Vulval Development using Petri Nets
N Bonzanni, E Krepska, KA Feenstra, W Fokkink, T Kielmann, H Bal, ...
The system can't perform the operation now. Try again later.
Articles 1–11