Finite Completeness of Categories of Petri Nets. - Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Rafal Somla (Fundam. Informaticae, 2000)

Algorithms counting monotone Boolean functions. - Robert Fidytek; Andrzej Wlodzimierz Mostowski; Rafal Somla; Andrzej Szepietowski (Inf. Process. Lett., 2001)

Parallel Model Checking for LTL, CTL*, and Lµ2. - Martin Leucker; Rafal Somla; Michael Weber 002 (PDMC@CAV, 2003)

New Algorithms for Solving Simple Stochastic Games. - Rafal Somla (GDV@CAV, 2004)

The Complexity of Model Checking Higher Order Fixpoint Logic. - Martin Lange; Rafal Somla (MFCS, 2005)

Propositional dynamic logic of context-free programs and fixpoint logic with chop. - Martin Lange; Rafal Somla (Inf. Process. Lett., 2006)

The Complexity of Model Checking Higher-Order Fixpoint Logic. - Roland Axelsson; Martin Lange; Rafal Somla (Log. Methods Comput. Sci., 2007)

Logics and Algorithms for Verification of Concurrent Systems. - Rafal Somla (2012)