Elzbieta Krepska

发表

Proving Stabilization of Biological Systems

Nir Piterman, Jasmin Fisher, Byron Cook, 2011, VMCAI.

Towards Big Biology:: high-performance verification of large concurrent systems

Elzbieta Krepska, Elzbieta Krepska, 2012 .

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development

Henri E. Bal, Wan Fokkink, Thilo Kielmann, 2009, Bioinform..

HipG: parallel processing of large-scale graphs

Henri E. Bal, Wan Fokkink, Thilo Kielmann, 2011, OPSR.

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development

Henri E. Bal, Wan Fokkink, Thilo Kielmann, 2009, Bioinform..

A High-Level Framework for Distributed Processing of Large-Scale Graphs

Henri E. Bal, Wan Fokkink, Thilo Kielmann, 2011, ICDCN.

Erratum: Executing multicellular differentiation: Quantitative predictive modelling of C.elegans vulval development (Bioinformatics (2009) vol. 25(16) (2049-2056))

Henri E. Bal, Wan Fokkink, Thilo Kielmann, 2009 .

Design Issues for Qualitative Modelling of Biological Cells with Petri Nets

Henri E. Bal, Wan Fokkink, Thilo Kielmann, 2008, FMSB.

What Can Formal Methods Bring to Systems Biology?

Wan Fokkink, K. Anton Feenstra, Elzbieta Krepska, 2009, FM.

A Service for Reliable Execution of Grid Applications

Thilo Kielmann, Raül Sirvent, Rosa M. Badia, 2006, CoreGRID Integration Workshop.