The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olaf Burkart: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olaf Burkart, Didier Caucal, Bernhard Steffen
    Bisimulation Collapse and the Process Taxonomy. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:247-262 [Conf]
  2. Olaf Burkart, Bernhard Steffen
    Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:123-137 [Conf]
  3. Olaf Burkart, Bernhard Steffen
    Pushdown Processes: Parallel Composition and Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:98-113 [Conf]
  4. Olaf Burkart, Bernhard Steffen
    Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:419-429 [Conf]
  5. Olaf Burkart, Didier Caucal, Bernhard Steffen
    An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:423-433 [Conf]
  6. Olaf Burkart, Javier Esparza
    More Infinite Results. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1997, v:62, n:, pp:- [Journal]
  7. Olaf Burkart
    Model checking rationally restricted right closures of recognizable graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:9, n:, pp:- [Journal]
  8. Olaf Burkart
    Queues as Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  9. Olaf Burkart, Javier Esparza
    More infinite results. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  10. Olaf Burkart, Yves-Marie Quemener
    Model-checking of infinite graphs defined by graph grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  11. Olaf Burkart, Bernhard Steffen
    Composition, Decomposition and Model Checking of Pushdown Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:89-125 [Journal]
  12. Olaf Burkart, Bernhard Steffen
    Model Checking the Full Modal mu-Calculus for Infinite Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:221, n:1-2, pp:251-270 [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