Rafal Somla

According to our database, Rafal Somla authored at least 8 papers between 2000 and 2012.

Collaborative distances:

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

2012

Logics and Algorithms for Verification of Concurrent Systems.

Rafal Somla

PhD thesis, 2012

2007

The Complexity of Model Checking Higher-Order Fixpoint Logic.

Roland Axelsson, Martin Lange, Rafal Somla

Log. Methods Comput. Sci., 2007

2006

Propositional dynamic logic of context-free programs and fixpoint logic with chop.

Martin Lange, Rafal Somla

Inf. Process. Lett., 2006

2005

The Complexity of Model Checking Higher Order Fixpoint Logic.

Martin Lange, Rafal Somla

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

New Algorithms for Solving Simple Stochastic Games.

Rafal Somla

Proceedings of the Workshop on Games in Design and Verification, 2004

2003

Parallel Model Checking for LTL, CTL*, and Lµ².

Martin Leucker, Rafal Somla, Michael Weber

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

2001

Algorithms counting monotone Boolean functions.

Robert Fidytek, Andrzej Wlodzimierz Mostowski, Rafal Somla, Andrzej Szepietowski

Inf. Process. Lett., 2001

2000

Finite Completeness of Categories of Petri Nets.

Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla

Fundam. Informaticae, 2000