Tiling Systems over Infinite Pictures and Their Acceptance Conditions. - Jan-Henrik Altenbernd; Wolfgang Thomas; Stefan Wöhrle (Developments in Language Theory, 2002)

The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. - Arnaud Carayol; Stefan Wöhrle (FSTTCS, 2003)

An existential locality theorem. - Martin Grohe; Stefan Wöhrle (Ann. Pure Appl. Log., 2004)

Model Checking Synchronized Products of Infinite Transition Systems. - Stefan Wöhrle; Wolfgang Thomas (Log. Methods Comput. Sci., 2007)