Stefan Wöhrle

List of publications from the DBLP Bibliography Server - FAQ

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

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

Coauthor Index