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