Follow
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
602009
Proving stabilization of biological systems
B Cook, J Fisher, E Krepska, N Piterman
Verification, Model Checking, and Abstract Interpretation: 12th …, 2011
562011
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
462011
What can formal methods bring to systems biology?
N Bonzanni, KA Feenstra, W Fokkink, E Krepska
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
382009
Design issues for qualitative modelling of biological cells with Petri nets
E Krepska, N Bonzanni, A Feenstra, W Fokkink, T Kielmann, H Bal, ...
Formal Methods in Systems Biology: First International Workshop, FMSB 2008 …, 2008
252008
A high-level framework for distributed processing of large-scale graphs
E Krepska, T Kielmann, W Fokkink, H Bal
Distributed Computing and Networking: 12th International Conference, ICDCN …, 2011
232011
A service for reliable execution of grid applications
E Krępska, T Kielmann, R Sirvent, RM Badia
Achievements in European Research on Grid Systems: CoreGRID Integration …, 2008
102008
Towards Big Biology:: high-performance verification of large concurrent systems
E Krepska
32012
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