Stefan Wöhrle

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

Collaborative distances:

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

2004

Model Checking Synchronized Products of Infinite Transition Systems.

Stefan Wöhrle, Wolfgang Thomas

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 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

2001

An Existential Locality Theorem.

Martin Grohe, Stefan Wöhrle

Proceedings of the Computer Science Logic, 15th International Workshop, 2001