×
Edit Profile (opens in new tab)

Wöhrle, Stefan

Co-Author Distance
Author ID: wohrle.stefan Recent zbMATH articles by "Wöhrle, Stefan"
Published as: Wöhrle, Stefan
External Links: MGP
Documents Indexed: 5 Publications since 2001
Co-Authors: 4 Co-Authors with 5 Joint Publications
158 Co-Co-Authors

Co-Authors

0 single-authored
2 Grohe, Martin
2 Thomas, Wolfgang
1 Altenbernd, Jan-Henrik
1 Carayol, Arnaud

Serials

1 Annals of Pure and Applied Logic
1 Logical Methods in Computer Science

Fields

5 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 34 times in 33 Documents Cited by ▼ Year ▼
The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata. Zbl 1205.03022
Carayol, Arnaud; Wöhrle, Stefan
24
2003
An existential locality theorem. Zbl 1056.03017
Grohe, Martin; Wöhrle, Stefan
4
2004
Model checking synchronized products of infinite transition systems. Zbl 1131.68065
Wöhrle, Stefan; Thomas, Wolfgang
3
2007
Tiling systems over infinite pictures and their acceptance conditions. Zbl 1015.68117
Altenbernd, Jan-Henrik; Thomas, Wolfgang; Wöhrle, Stefan
3
2003
Model checking synchronized products of infinite transition systems. Zbl 1131.68065
Wöhrle, Stefan; Thomas, Wolfgang
3
2007
An existential locality theorem. Zbl 1056.03017
Grohe, Martin; Wöhrle, Stefan
4
2004
The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata. Zbl 1205.03022
Carayol, Arnaud; Wöhrle, Stefan
24
2003
Tiling systems over infinite pictures and their acceptance conditions. Zbl 1015.68117
Altenbernd, Jan-Henrik; Thomas, Wolfgang; Wöhrle, Stefan
3
2003
all cited Publications top 5 cited Publications
all top 5

Cited by 50 Authors

4 Parys, Paweł
3 Penelle, Vincent
2 Courcelle, Bruno
2 Fratani, Séverine
2 Löding, Christof
2 Thomas, Wolfgang
2 Walukiewicz, Igor
1 Arenas, Marcelo
1 Bárány, Vince
1 Barceló, Pablo
1 Barozzini, David
1 Blumensath, Achim
1 Bradfield, Julian Charles
1 Broadbent, Christopher H.
1 Carayol, Arnaud
1 Chen, Yijia
1 Clemente, Lorenzo
1 Colcombet, Thomas
1 Delhommé, Christian
1 D’Osualdo, Emanuele
1 Ésik, Zoltán
1 Felscher, Ingo
1 Finkel, Olivier
1 Gmeiner, Annu
1 Heimberg, Lucas
1 Hiraishi, Kunihiko
1 Jeandel, Emmanuel
1 Kobayashi, Koichi
1 Konnov, Igor V.
1 Kupferman, Orna
1 Kuske, Dietrich
1 La Torre, Salvatore
1 Libkin, Leonid O.
1 Lin, Bingkai
1 Madhusudan, Parthasarathy
1 Meyer, Roland
1 Niwiński, Damian
1 Parlato, Gennaro
1 Piterman, Nir
1 Salvati, Sylvain
1 Schmid, Ulrich
1 Schweikardt, Nicole
1 Sénizergues, Géraud
1 Sutre, Grégoire
1 Theyssier, Guillaume
1 To, Anthony Widjaja
1 Vardi, Moshe Ya’akov
1 Veith, Helmut
1 Widder, Josef
1 Zetzsche, Georg
all top 5

Cited in 10 Serials

4 Theoretical Computer Science
3 Information and Computation
2 Annals of Pure and Applied Logic
2 Theory of Computing Systems
2 RAIRO. Theoretical Informatics and Applications
1 Information Processing Letters
1 Fundamenta Informaticae
1 Journal of Applied Mathematics
1 Central European Journal of Mathematics
1 Logical Methods in Computer Science
all top 5

Cited in 6 Fields

26 Computer science (68-XX)
20 Mathematical logic and foundations (03-XX)
3 Combinatorics (05-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Systems theory; control (93-XX)

Citations by Year