Elzbieta Krepska

According to our database, Elzbieta Krepska authored at least 8 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

HipG: parallel processing of large-scale graphs.

Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal

ACM SIGOPS Oper. Syst. Rev., 2011

Proving Stabilization of Biological Systems.

Byron Cook, Jasmin Fisher, Elzbieta Krepska, Nir Piterman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

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

Elzbieta Krepska, Thilo Kielmann, Wan J. Fokkink, Henri E. Bal

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

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 <i>C.elegans</i> vulval development.

Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa

Bioinform., 2009

What Can Formal Methods Bring to Systems Biology?

Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska

Proceedings of the FM 2009: Formal Methods, 2009

2008

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

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2006

A Service for Reliable Execution of Grid Applications.

Elzbieta Krepska, Thilo Kielmann, Raül Sirvent, Rosa M. Badia

Proceedings of the Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006, 2006