Stefan Wöhrle

	2007
7		Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems CoRR abs/0710.5659: (2007)
6		Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. Logical Methods in Computer Science 3(4): (2007)
	2004
5		Stefan Wöhrle, Wolfgang Thomas: Model Checking Synchronized Products of Infinite Transition Systems. LICS 2004: 2-11
4		Martin Grohe, Stefan Wöhrle: An existential locality theorem. Ann. Pure Appl. Logic 129(1-3): 131-148 (2004)
	2003
3		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		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		Martin Grohe, Stefan Wöhrle: An Existential Locality Theorem. CSL 2001: 99-114

Coauthor Index

1	Jan-Henrik Altenbernd	[2]
2	Arnaud Carayol	[3]
3	Martin Grohe	[1] [4]
4	Wolfgang Thomas	[2] [5] [6] [7]

Colors in the list of coauthors