The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rafal Somla: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Lange, Rafal Somla
    The Complexity of Model Checking Higher Order Fixpoint Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 2005, pp:640-651 [Conf]
  2. 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]
  3. 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:51-65 [Journal]
  4. 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:1-4, pp:21-48 [Journal]
  5. 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:203-209 [Journal]
  6. Martin Lange, Rafal Somla
    Propositional dynamic logic of context-free programs and fixpoint logic with chop. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:100, n:2, pp:72-75 [Journal]
  7. Roland Axelsson, Martin Lange, Rafal Somla
    The Complexity of Model Checking Higher-Order Fixpoint Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002