Rafal Somla

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Roland Axelsson, Martin Lange, Rafal Somla
The Complexity of Model Checking Higher-Order Fixpoint Logic CoRR (2007)
Roland Axelsson, Martin Lange, Rafal Somla
The Complexity of Model Checking Higher-Order Fixpoint Logic. Log. Methods Comput. Sci. 3 (2) (2007)
Martin Lange, Rafal Somla
Propositional dynamic logic of context-free programs and fixpoint logic with chop. Inf. Process. Lett. 100 (2) (2006)
Rafal Somla
New Algorithms for Solving Simple Stochastic Games. Electron. Notes Theor. Comput. Sci. 119 (1) (2005)
Martin Lange, Rafal Somla
The Complexity of Model Checking Higher Order Fixpoint Logic. MFCS (2005)
Martin Leucker, Rafal Somla, Michael Weber
. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Robert Fidytek, Andrzej Wlodzimierz Mostowski, Rafal Somla, Andrzej Szepietowski
Algorithms counting monotone Boolean functions. Inf. Process. Lett. 79 (5) (2001)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
Finite Completeness of Categories of Petri Nets. Fundam. Informaticae 43 (1-4) (2000)