A Service for Reliable Execution of Grid Applications. - Elzbieta Krepska; Thilo Kielmann; Raül Sirvent; Rosa M. Badia (CoreGRID Integration Workshop, 2006)

Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. - Elzbieta Krepska; Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (FMSB, 2008)

What Can Formal Methods Bring to Systems Biology? - Nicola Bonzanni; K. Anton Feenstra; Wan J. Fokkink; Elzbieta Krepska (FM, 2009)

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. - Nicola Bonzanni; Elzbieta Krepska; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (Bioinform., 2009)

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. - Nicola Bonzanni; Elzbieta Krepska; K. Anton Feenstra; Wan J. Fokkink; Thilo Kielmann; Henri E. Bal; Jaap Heringa (Bioinform., 2009)

A High-Level Framework for Distributed Processing of Large-Scale Graphs. - Elzbieta Krepska; Thilo Kielmann; Wan J. Fokkink; Henri E. Bal (ICDCN, 2011)

Proving Stabilization of Biological Systems. - Byron Cook; Jasmin Fisher; Elzbieta Krepska; Nir Piterman (VMCAI, 2011)

HipG: parallel processing of large-scale graphs. - Elzbieta Krepska; Thilo Kielmann; Wan J. Fokkink; Henri E. Bal (ACM SIGOPS Oper. Syst. Rev., 2011)

DECK: Experiences on Delta Checkpointing for Industrial Recommendation Systems. - Xin Gao; Sibasish Acharya; Sihui Han; Yongxiong Ren; Yanli Zhao; Liang Luo; Chucheng Wang; Pradeep Fernando; Saurabh Mishra; Siqi Yan; Yicong Du; Elzbieta Krepska; et al. (Proc. VLDB Endow., 2025)