Stefan Wöhrle

According to our database, Stefan Wöhrle authored at least 4 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Model Checking Synchronized Products of Infinite Transition Systems.

Stefan Wöhrle, Wolfgang Thomas

Log. Methods Comput. Sci., 2007

2004

An existential locality theorem.

Martin Grohe, Stefan Wöhrle

Ann. Pure Appl. Log., 2004

2003

The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.

Arnaud Carayol, Stefan Wöhrle

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002

Tiling Systems over Infinite Pictures and Their Acceptance Conditions.

Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle

Proceedings of the Developments in Language Theory, 6th International Conference, 2002