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 | 60 | 2009 |
Proving stabilization of biological systems B Cook, J Fisher, E Krepska, N Piterman Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 56 | 2011 |
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 | 46 | 2011 |
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 | 38 | 2009 |
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 | 25 | 2008 |
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 | 23 | 2011 |
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 | 10 | 2008 |
Towards Big Biology:: high-performance verification of large concurrent systems E Krepska | 3 | 2012 |
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, ... | | |