2007 |
8 | EE | Roland Axelsson,
Martin Lange,
Rafal Somla:
The Complexity of Model Checking Higher-Order Fixpoint Logic
CoRR abs/0704.3931: (2007) |
7 | EE | Roland Axelsson,
Martin Lange,
Rafal Somla:
The Complexity of Model Checking Higher-Order Fixpoint Logic.
Logical Methods in Computer Science 3(2): (2007) |
2006 |
6 | EE | Martin Lange,
Rafal Somla:
Propositional dynamic logic of context-free programs and fixpoint logic with chop.
Inf. Process. Lett. 100(2): 72-75 (2006) |
2005 |
5 | EE | Martin Lange,
Rafal Somla:
The Complexity of Model Checking Higher Order Fixpoint Logic.
MFCS 2005: 640-651 |
4 | EE | Rafal Somla:
New Algorithms for Solving Simple Stochastic Games.
Electr. Notes Theor. Comput. Sci. 119(1): 51-65 (2005) |
2003 |
3 | EE | Martin Leucker,
Rafal Somla,
Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ2.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
2001 |
2 | EE | Robert Fidytek,
Andrzej Wlodzimierz Mostowski,
Rafal Somla,
Andrzej Szepietowski:
Algorithms counting monotone Boolean functions.
Inf. Process. Lett. 79(5): 203-209 (2001) |
2000 |
1 | | Marek A. Bednarczyk,
Andrzej M. Borzyszkowski,
Rafal Somla:
Finite Completeness of Categories of Petri Nets.
Fundam. Inform. 43(1-4): 21-48 (2000) |