
Search the dblp DataBase
Rafal Somla:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Martin Lange, Rafal Somla
The Complexity of Model Checking Higher Order Fixpoint Logic. [Citation Graph (0, 0)][DBLP] MFCS, 2005, pp:640651 [Conf]
 Martin Leucker, Rafal Somla, Michael Weber 0002
Parallel Model Checking for LTL, CTL*, and Lµ^{2}. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp: [Journal]
 Rafal Somla
New Algorithms for Solving Simple Stochastic Games. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:119, n:1, pp:5165 [Journal]
 Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
Finite Completeness of Categories of Petri Nets. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2000, v:43, n:14, pp:2148 [Journal]
 Robert Fidytek, Andrzej Wlodzimierz Mostowski, Rafal Somla, Andrzej Szepietowski
Algorithms counting monotone Boolean functions. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2001, v:79, n:5, pp:203209 [Journal]
 Martin Lange, Rafal Somla
Propositional dynamic logic of contextfree programs and fixpoint logic with chop. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2006, v:100, n:2, pp:7275 [Journal]
 Roland Axelsson, Martin Lange, Rafal Somla
The Complexity of Model Checking HigherOrder Fixpoint Logic [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp: [Journal]
Search in 0.001secs, Finished in 0.002secs
