| 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 | 63 | 2009 |
| Proving stabilization of biological systems B Cook, J Fisher, E Krepska, N Piterman International Workshop on Verification, Model Checking, and Abstract …, 2011 | 51 | 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 | 43 | 2011 |
| What can formal methods bring to systems biology? N Bonzanni, KA Feenstra, W Fokkink, E Krepska International Symposium on Formal Methods, 16-22, 2009 | 39 | 2009 |
| 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 | 26 | 2008 |
| 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 | 25 | 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, 179-192, 2008 | 9 | 2008 |
| Towards Big Biology: High-Performance Verification of Large Concurrent Systems E Krepska | 4 | 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 |
| VU Research Portal N Bonzanni, KA Feenstra, WJ Fokkink, E Krepska | | |
| VU Research Portal E Krepska, N Bonzanni, KA Feenstra, WJ Fokkink, T Kielmann, HE Bal, ... | | |
| Coarse-Grained Quantitative Modelling of C. elegans Vulval Development using Petri Nets N Bonzanni, E Krepska, KA Feenstra, W Fokkink, T Kielmann, H Bal, ... | | |
