The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Wöhrle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Grohe, Stefan Wöhrle
    An Existential Locality Theorem. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:99-114 [Conf]
  2. Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle
    Tiling Systems over Infinite Pictures and Their Acceptance Conditions. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2002, pp:297-306 [Conf]
  3. Arnaud Carayol, Stefan Wöhrle
    The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2003, pp:112-123 [Conf]
  4. Stefan Wöhrle, Wolfgang Thomas
    Model Checking Synchronized Products of Infinite Transition Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:2-11 [Conf]
  5. Martin Grohe, Stefan Wöhrle
    An existential locality theorem. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:131-148 [Journal]
  6. Stefan Wöhrle, Wolfgang Thomas
    Model Checking Synchronized Products of Infinite Transition Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

Search in 0.001secs, Finished in 0.002secs
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