Representing MapReduce Optimisations in the Nested Relational Calculus. - Marek Grabowski; Jan Hidders; Jacek Sroka (BNCOD, 2013)

Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. - Marek Grabowski; Grzegorz Bokota; Jacek Sroka; Andrzej M. Kierzek (Fundam. Informaticae, 2018)