×

zbMATH — the first resource for mathematics

Thomas, Wolfgang

Compute Distance To:
Author ID: thomas.wolfgang Recent zbMATH articles by "Thomas, Wolfgang"
Published as: Thomas, Wolfgang; Thomas, W.
External Links: MGP
Documents Indexed: 103 Publications since 1975, including 18 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

74 Publications have been cited 1,002 times in 764 Documents Cited by Year
Automata on infinite objects. Zbl 0900.68316
Thomas, Wolfgang
228
1990
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
Grädel, Erich (ed.); Thomas, Wolfgang (ed.); Wilke, Thomas (ed.)
102
2002
Classifying regular events in symbolic logic. Zbl 0503.68055
Thomas, Wolfgang
88
1982
On the synthesis of strategies in infinite games. Zbl 1379.68233
Thomas, Wolfgang
64
1995
Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. Zbl 0795.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
57
1994
Mathematical logic. Transl. from the German by Ann S. Ferebee. Zbl 0556.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
38
1984
Star-free regular sets of \(\omega\)-sequences. Zbl 0411.03031
Thomas, Wolfgang
28
1979
Monadic second-order logic over rectangular pictures and recognizability by tiling systems. Zbl 0853.68131
Giammarresi, Dora; Restivo, Antonio; Seibert, Sebastian; Thomas, Wolfgang
26
1996
Ehrenfeucht games, the composition method, and the monadic theory of ordinal words. Zbl 0888.03002
Thomas, Wolfgang
22
1997
On logics, tilings, and automata. Zbl 0769.68100
Thomas, Wolfgang
20
1991
Regular languages defined with generalized quantifiers. Zbl 0826.68072
Straubing, Howard; Thérien, Denis; Thomas, Wolfgang
16
1995
An application of the Ehrenfeucht-Fraissé game in formal language theory. Zbl 0558.68064
Thomas, Wolfgang
16
1984
The monadic theory of morphic infinite words and generalizations. Zbl 1012.03015
Carton, Olivier; Thomas, Wolfgang
15
2002
A combinatorial approach to the theory of omega-automata. Zbl 0478.03020
Thomas, Wolfgang
14
1981
On frontiers of regular trees. Zbl 0639.68071
Thomas, Wolfgang
14
1986
Zermelo’s discovery of the ”Russell paradox”. Zbl 0458.01009
Rang, B.; Thomas, W.
12
1981
Infinite games and verification (Extended abstract of a tutorial). Zbl 1010.68504
Thomas, Wolfgang
12
2002
Computation tree logic \(CTL^ *\) and path quantifiers in the monadic theory of the binary tree. Zbl 0632.03027
Hafer, Thilo; Thomas, Wolfgang
10
1987
The monadic quantifier alternation hierarchy over grids and graphs. Zbl 1096.03007
Matz, Oliver; Schweikardt, Nicole; Thomas, Wolfgang
10
2002
Constructing infinite graphs with a decidable MSO-theory. Zbl 1124.03314
Thomas, Wolfgang
10
2003
Symbolic synthesis of finite-state controllers for request-response specifications. Zbl 1279.68221
Wallmeier, Nico; Hütten, Patrick; Thomas, Wolfgang
10
2003
A note on undecidable extensions of monadic second order successor arithmetic. Zbl 0325.02032
Thomas, Wolfgang
9
1975
Church’s problem and a tour through automata theory. Zbl 1133.68367
Thomas, Wolfgang
9
2008
Regular tree languages without unary symbols are star-free. Zbl 0794.68088
Potthoff, Andreas; Thomas, Wolfgang
8
1993
A short introduction to infinite automata. Zbl 1073.68671
Thomas, Wolfgang
8
2002
Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013
Rabinovich, Alexander; Thomas, Wolfgang
8
2006
Nondeterminism versus determinism of finite automata over directed acyclic graphs. Zbl 0803.68032
Potthoff, Andreas; Seibert, Sebastian; Thomas, Wolfgang
7
1994
Facets of synthesis: Revisiting Church’s problem. Zbl 1234.68081
Thomas, Wolfgang
7
2009
On the bounded monadic theory of well-ordered structures. Zbl 0437.03005
Thomas, Wolfgang
6
1980
Infinite trees and automaton-definable relations over \(\omega\)-words. Zbl 0760.68043
Thomas, Wolfgang
6
1992
The theory of successor with an extra predicate. Zbl 0369.02025
Thomas, Wolfgang
6
1978
Einführung in die mathematische Logik. Zbl 0399.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
6
1978
Degrees of lookahead in regular infinite games. Zbl 1284.68401
Holtmann, Michael; Kaiser, Łukasz; Thomas, Wolfgang
6
2010
Regular languages defined with generalized quantifiers. Zbl 0658.68098
Straubing, Howard; Thérien, Denis; Thomas, Wolfgang
6
1988
Deterministic automata on unranked trees. Zbl 1123.68055
Cristau, Julien; Löding, Christof; Thomas, Wolfgang
6
2005
Alternating automata and logics over infinite words (extended abstract). Zbl 0998.68526
Löding, Christoph; Thomas, Wolfgang
5
2000
Elements of an automata theory over partial orders. Zbl 0882.54017
Thomas, Wolfgang
5
1997
A game theoretic approach to the analysis of dynamic networks. Zbl 1277.68026
Radmacher, Frank G.; Thomas, Wolfgang
5
2008
Degrees of lookahead in regular infinite games. Zbl 1248.68299
Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang
5
2012
Observations on determinization of Büchi automata. Zbl 1153.68399
Althoff, Christoph Schulte; Thomas, Wolfgang; Wallmeier, Nico
5
2006
Optimal strategy synthesis in request-response games. Zbl 1183.68340
Horn, Florian; Thomas, Wolfgang; Wallmeier, Nico
5
2008
Einführung in die mathematische Logik. 3., vollst. überarb. und erw. Aufl. Zbl 0784.03002
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
4
1992
Solution of Church’s problem: a tutorial. Zbl 1377.03027
Thomas, Wolfgang
4
2008
Remark on the star-height-problem. Zbl 0453.68026
Thomas, Wolfgang
3
1981
The monadic theory of morphic infinite words and generalizations. Zbl 0996.03005
Carton, Olivier; Thomas, Wolfgang
3
2000
Introduction to mathematical logic. 4., aktualis. Aufl. (Einführung in die mathematische Logik.) Zbl 0852.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
3
1996
The reachability problem over infinite graphs. Zbl 1248.68390
Thomas, Wolfgang
3
2009
Logical aspects in the study of tree languages. Zbl 0557.68051
Thomas, Wolfgang
3
1984
Tiling systems over infinite pictures and their acceptance conditions. Zbl 1015.68117
Altenbernd, Jan-Henrik; Thomas, Wolfgang; Wöhrle, Stefan
3
2003
Logical refinements of Church’s problem. Zbl 1179.03038
Rabinovich, Alexander; Thomas, Wolfgang
3
2007
Model checking synchronized products of infinite transition systems. Zbl 1131.68065
Wöhrle, Stefan; Thomas, Wolfgang
3
2007
Connectivity games over dynamic networks. Zbl 1294.68035
Grüner, Sten; Radmacher, Frank G.; Thomas, Wolfgang
2
2013
Infinite games and uniformization. Zbl 1303.03073
Thomas, Wolfgang
2
2010
Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part I. Zbl 1166.68001
Albers, Susanne (ed.); Marchetti-Spaccamela, Alberto (ed.); Matias, Yossi (ed.); Nikoletseas, Sotiris (ed.); Thomas, Wolfgang (ed.)
2
2009
Finite automata over infinite alphabets: two models with transitions for local change. Zbl 1386.68088
Czyba, Christopher; Spinrath, Christopher; Thomas, Wolfgang
2
2015
Introduction to mathematical logic. 5th ed. (Einführung in die mathematische Logik.) Zbl 1139.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
2
2007
Counter-free automata, first-order logic, and star-free expressions extended by prefix oracles. Zbl 1096.68667
Schiering, Ina; Thomas, Wolfgang
2
1996
Observations on determinization of Büchi automata. Zbl 1172.68490
Althoff, Christoph Schulte; Thomas, Wolfgang; Wallmeier, Nico
2
2006
Safety- and liveness-properties in propositional temporal logic: Characterizations and decidability. Zbl 0759.03011
Thomas, Wolfgang
1
1988
Infinite trees and automaton definable relations over \(\omega\)-words. Zbl 0731.03007
Thomas, Wolfgang
1
1990
A hierarchy of sets of infinite trees. Zbl 0502.03022
Thomas, Wolfgang
1
1982
Parametrized regular infinite games and higher-order pushdown strategies. Zbl 1252.68173
Hänsch, Paul; Slaats, Michaela; Thomas, Wolfgang
1
2009
Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Zbl 0891.00021
Nielsen, Mogens (ed.); Thomas, Wolfgang (ed.)
1
1998
Complementation of Büchi automata revisited. Zbl 0979.68546
Thomas, Wolfgang
1
1999
Moving in a network under random failures: a complexity analysis. Zbl 1242.68031
Klein, Dominik; Radmacher, Frank G.; Thomas, Wolfgang
1
2012
Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part II. Zbl 1166.68002
Albers, Susanne (ed.); Marchetti-Spaccamela, Alberto (ed.); Matias, Yossi (ed.); Nikoletseas, Sotiris (ed.); Thomas, Wolfgang (ed.)
1
2009
A game-theoretic approach to routing under adversarial conditions. Zbl 1198.90078
Gross, James; Radmacher, Frank G.; Thomas, Wolfgang
1
2010
Languages vs. \(\omega \)-languages in regular infinite games. Zbl 1221.68123
Chaturvedi, Namit; Olschewski, Jörg; Thomas, Wolfgang
1
2011
Compositional failure detection in structured transition systems. Zbl 1297.68169
Felscher, Ingo; Thomas, Wolfgang
1
2011
A concatenation game and the dot-depth hierarchy. Zbl 0643.68073
Thomas, Wolfgang
1
1987
Solving pushdown games with a \(\Sigma_3\) winning condition. Zbl 1020.68049
Cachat, Thierry; Duparc, Jacques; Thomas, Wolfgang
1
2002
Finite-state strategies in regular infinite games. Zbl 1044.68663
Thomas, Wolfgang
1
1994
Model transformations in decidability proofs for monadic theories. Zbl 1157.03004
Thomas, Wolfgang
1
2008
The complexity of reachability in randomized sabotage games. Zbl 1274.68024
Klein, Dominik; Radmacher, Frank G.; Thomas, Wolfgang
1
2010
Finite automata over infinite alphabets: two models with transitions for local change. Zbl 1386.68088
Czyba, Christopher; Spinrath, Christopher; Thomas, Wolfgang
2
2015
Connectivity games over dynamic networks. Zbl 1294.68035
Grüner, Sten; Radmacher, Frank G.; Thomas, Wolfgang
2
2013
Degrees of lookahead in regular infinite games. Zbl 1248.68299
Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang
5
2012
Moving in a network under random failures: a complexity analysis. Zbl 1242.68031
Klein, Dominik; Radmacher, Frank G.; Thomas, Wolfgang
1
2012
Languages vs. \(\omega \)-languages in regular infinite games. Zbl 1221.68123
Chaturvedi, Namit; Olschewski, Jörg; Thomas, Wolfgang
1
2011
Compositional failure detection in structured transition systems. Zbl 1297.68169
Felscher, Ingo; Thomas, Wolfgang
1
2011
Degrees of lookahead in regular infinite games. Zbl 1284.68401
Holtmann, Michael; Kaiser, Łukasz; Thomas, Wolfgang
6
2010
Infinite games and uniformization. Zbl 1303.03073
Thomas, Wolfgang
2
2010
A game-theoretic approach to routing under adversarial conditions. Zbl 1198.90078
Gross, James; Radmacher, Frank G.; Thomas, Wolfgang
1
2010
The complexity of reachability in randomized sabotage games. Zbl 1274.68024
Klein, Dominik; Radmacher, Frank G.; Thomas, Wolfgang
1
2010
Facets of synthesis: Revisiting Church’s problem. Zbl 1234.68081
Thomas, Wolfgang
7
2009
The reachability problem over infinite graphs. Zbl 1248.68390
Thomas, Wolfgang
3
2009
Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part I. Zbl 1166.68001
Albers, Susanne; Marchetti-Spaccamela, Alberto; Matias, Yossi; Nikoletseas, Sotiris; Thomas, Wolfgang
2
2009
Parametrized regular infinite games and higher-order pushdown strategies. Zbl 1252.68173
Hänsch, Paul; Slaats, Michaela; Thomas, Wolfgang
1
2009
Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part II. Zbl 1166.68002
Albers, Susanne; Marchetti-Spaccamela, Alberto; Matias, Yossi; Nikoletseas, Sotiris; Thomas, Wolfgang
1
2009
Church’s problem and a tour through automata theory. Zbl 1133.68367
Thomas, Wolfgang
9
2008
A game theoretic approach to the analysis of dynamic networks. Zbl 1277.68026
Radmacher, Frank G.; Thomas, Wolfgang
5
2008
Optimal strategy synthesis in request-response games. Zbl 1183.68340
Horn, Florian; Thomas, Wolfgang; Wallmeier, Nico
5
2008
Solution of Church’s problem: a tutorial. Zbl 1377.03027
Thomas, Wolfgang
4
2008
Model transformations in decidability proofs for monadic theories. Zbl 1157.03004
Thomas, Wolfgang
1
2008
Logical refinements of Church’s problem. Zbl 1179.03038
Rabinovich, Alexander; Thomas, Wolfgang
3
2007
Model checking synchronized products of infinite transition systems. Zbl 1131.68065
Wöhrle, Stefan; Thomas, Wolfgang
3
2007
Introduction to mathematical logic. 5th ed. (Einführung in die mathematische Logik.) Zbl 1139.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
2
2007
Decidable theories of the ordering of natural numbers with unary predicates. Zbl 1225.03013
Rabinovich, Alexander; Thomas, Wolfgang
8
2006
Observations on determinization of Büchi automata. Zbl 1153.68399
Althoff, Christoph Schulte; Thomas, Wolfgang; Wallmeier, Nico
5
2006
Observations on determinization of Büchi automata. Zbl 1172.68490
Althoff, Christoph Schulte; Thomas, Wolfgang; Wallmeier, Nico
2
2006
Deterministic automata on unranked trees. Zbl 1123.68055
Cristau, Julien; Löding, Christof; Thomas, Wolfgang
6
2005
Constructing infinite graphs with a decidable MSO-theory. Zbl 1124.03314
Thomas, Wolfgang
10
2003
Symbolic synthesis of finite-state controllers for request-response specifications. Zbl 1279.68221
Wallmeier, Nico; Hütten, Patrick; Thomas, Wolfgang
10
2003
Tiling systems over infinite pictures and their acceptance conditions. Zbl 1015.68117
Altenbernd, Jan-Henrik; Thomas, Wolfgang; Wöhrle, Stefan
3
2003
Automata, logics, and infinite games. A guide to current research. Zbl 1011.00037
Grädel, Erich; Thomas, Wolfgang; Wilke, Thomas
102
2002
The monadic theory of morphic infinite words and generalizations. Zbl 1012.03015
Carton, Olivier; Thomas, Wolfgang
15
2002
Infinite games and verification (Extended abstract of a tutorial). Zbl 1010.68504
Thomas, Wolfgang
12
2002
The monadic quantifier alternation hierarchy over grids and graphs. Zbl 1096.03007
Matz, Oliver; Schweikardt, Nicole; Thomas, Wolfgang
10
2002
A short introduction to infinite automata. Zbl 1073.68671
Thomas, Wolfgang
8
2002
Solving pushdown games with a \(\Sigma_3\) winning condition. Zbl 1020.68049
Cachat, Thierry; Duparc, Jacques; Thomas, Wolfgang
1
2002
Alternating automata and logics over infinite words (extended abstract). Zbl 0998.68526
Löding, Christoph; Thomas, Wolfgang
5
2000
The monadic theory of morphic infinite words and generalizations. Zbl 0996.03005
Carton, Olivier; Thomas, Wolfgang
3
2000
Complementation of Büchi automata revisited. Zbl 0979.68546
Thomas, Wolfgang
1
1999
Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Zbl 0891.00021
Nielsen, Mogens; Thomas, Wolfgang
1
1998
Ehrenfeucht games, the composition method, and the monadic theory of ordinal words. Zbl 0888.03002
Thomas, Wolfgang
22
1997
Elements of an automata theory over partial orders. Zbl 0882.54017
Thomas, Wolfgang
5
1997
Monadic second-order logic over rectangular pictures and recognizability by tiling systems. Zbl 0853.68131
Giammarresi, Dora; Restivo, Antonio; Seibert, Sebastian; Thomas, Wolfgang
26
1996
Introduction to mathematical logic. 4., aktualis. Aufl. (Einführung in die mathematische Logik.) Zbl 0852.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
3
1996
Counter-free automata, first-order logic, and star-free expressions extended by prefix oracles. Zbl 1096.68667
Schiering, Ina; Thomas, Wolfgang
2
1996
On the synthesis of strategies in infinite games. Zbl 1379.68233
Thomas, Wolfgang
64
1995
Regular languages defined with generalized quantifiers. Zbl 0826.68072
Straubing, Howard; Thérien, Denis; Thomas, Wolfgang
16
1995
Mathematical logic. Transl. from the German by Ann S. Ferebee. 2nd ed. Zbl 0795.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
57
1994
Nondeterminism versus determinism of finite automata over directed acyclic graphs. Zbl 0803.68032
Potthoff, Andreas; Seibert, Sebastian; Thomas, Wolfgang
7
1994
Finite-state strategies in regular infinite games. Zbl 1044.68663
Thomas, Wolfgang
1
1994
Regular tree languages without unary symbols are star-free. Zbl 0794.68088
Potthoff, Andreas; Thomas, Wolfgang
8
1993
Infinite trees and automaton-definable relations over \(\omega\)-words. Zbl 0760.68043
Thomas, Wolfgang
6
1992
Einführung in die mathematische Logik. 3., vollst. überarb. und erw. Aufl. Zbl 0784.03002
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
4
1992
On logics, tilings, and automata. Zbl 0769.68100
Thomas, Wolfgang
20
1991
Automata on infinite objects. Zbl 0900.68316
Thomas, Wolfgang
228
1990
Infinite trees and automaton definable relations over \(\omega\)-words. Zbl 0731.03007
Thomas, Wolfgang
1
1990
Regular languages defined with generalized quantifiers. Zbl 0658.68098
Straubing, Howard; Thérien, Denis; Thomas, Wolfgang
6
1988
Safety- and liveness-properties in propositional temporal logic: Characterizations and decidability. Zbl 0759.03011
Thomas, Wolfgang
1
1988
Computation tree logic \(CTL^ *\) and path quantifiers in the monadic theory of the binary tree. Zbl 0632.03027
Hafer, Thilo; Thomas, Wolfgang
10
1987
A concatenation game and the dot-depth hierarchy. Zbl 0643.68073
Thomas, Wolfgang
1
1987
On frontiers of regular trees. Zbl 0639.68071
Thomas, Wolfgang
14
1986
Mathematical logic. Transl. from the German by Ann S. Ferebee. Zbl 0556.03001
Ebbinghaus, H.-D.; Flum, J.; Thomas, W.
38
1984
An application of the Ehrenfeucht-Fraissé game in formal language theory. Zbl 0558.68064
Thomas, Wolfgang
16
1984
Logical aspects in the study of tree languages. Zbl 0557.68051
Thomas, Wolfgang
3
1984
Classifying regular events in symbolic logic. Zbl 0503.68055
Thomas, Wolfgang
88
1982
A hierarchy of sets of infinite trees. Zbl 0502.03022
Thomas, Wolfgang
1
1982
A combinatorial approach to the theory of omega-automata. Zbl 0478.03020
Thomas, Wolfgang
14
1981
Zermelo’s discovery of the ”Russell paradox”. Zbl 0458.01009
Rang, B.; Thomas, W.
12
1981
Remark on the star-height-problem. Zbl 0453.68026
Thomas, Wolfgang
3
1981
On the bounded monadic theory of well-ordered structures. Zbl 0437.03005
Thomas, Wolfgang
6
1980
Star-free regular sets of \(\omega\)-sequences. Zbl 0411.03031
Thomas, Wolfgang
28
1979
The theory of successor with an extra predicate. Zbl 0369.02025
Thomas, Wolfgang
6
1978
Einführung in die mathematische Logik. Zbl 0399.03001
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang
6
1978
A note on undecidable extensions of monadic second order successor arithmetic. Zbl 0325.02032
Thomas, Wolfgang
9
1975
all top 5

Cited by 888 Authors

24 Finkel, Olivier
21 Thomas, Wolfgang
16 Pin, Jean-Eric
14 Rabinovich, Alexander
12 Carton, Olivier
11 Chatterjee, Krishnendu
11 Courcelle, Bruno
11 Kufleitner, Manfred
11 Kuske, Dietrich
10 Henzinger, Thomas A.
10 Murano, Aniello
10 Weil, Pascal
10 Zimmermann, Martín G.
9 Blanchet-Sadri, Francine
9 Ésik, Zoltán
9 Selivanov, Viktor L’vovich
9 Vardi, Moshe Y.
8 Baier, Christel
8 Brihaye, Thomas
8 Grohe, Martin
8 Kupferman, Orna
8 Martins, Ana Teresa
8 Mogavero, Fabio
8 Raskin, Jean-François
8 Staiger, Ludwig
8 Straubing, Howard
8 Walukiewicz, Igor
7 Engelfriet, Joost
6 Bringsjord, Selmer
6 Bruyère, Véronique
6 Diekert, Volker
6 Gastin, Paul
6 La Torre, Salvatore
6 Majumdar, Rupak
5 Bedon, Nicolas
5 Bertrand, Nathalie
5 Berwanger, Dietmar
5 Bès, Alexis
5 Bouyer, Patricia
5 Cabessa, Jérémie
5 Doyen, Laurent
5 Droste, Manfred
5 Faella, Marco
5 Lohrey, Markus
5 Markey, Nicolas
5 Muscholl, Anca
5 Otto, Martin
5 Piterman, Nir
5 Puppis, Gabriele
5 Schwentick, Thomas
5 Skrzypczak, Michał
5 Thiagarajan, Pazhamaneri Subramaniam
5 van Benthem, Johan F. A. K.
4 Anselmo, Marcella
4 Benerecetti, Massimo
4 Bloem, Roderick
4 Choffrut, Christian
4 Fisman, Dana
4 Glaßer, Christian
4 Jobstmann, Barbara
4 Kulkarni, Sandeep S.
4 Lauser, Alexander
4 Liu, Jiamou
4 Löding, Christof
4 Madonia, Maria
4 Makowsky, Johann-Andreas
4 Martins Ferreira, Francicleber
4 Montanari, Angelo
4 Neider, Daniel
4 Pinchinat, Sophie
4 Place, Thomas
4 Riba, Colin
4 Thérien, Denis
4 Vogler, Heiko
4 Walter, Tobias
4 Wilke, Thomas
4 Zeitoun, Marc
3 Alur, Rajeev
3 Alves Rocha, Thiago
3 Arnold, André
3 Béal, Marie-Pierre
3 Benedikt, Michael A.
3 Bollig, Benedikt
3 Bonakdarpour, Borzoo
3 Bozzelli, Laura
3 Carayol, Arnaud
3 de Alfaro, Luca
3 Dell’Erba, Daniele
3 Dellunde, Pilar
3 D’Souza, Deepak
3 Duparc, Jacques
3 Filiot, Emmanuel
3 Goeminne, Aline
3 Größer, Marcus
3 Héam, Pierre-Cyrille
3 Hella, Lauri T.
3 Hoogeboom, Hendrik Jan
3 Jürgensen, Helmut
3 Kaiser, Lukasz
3 Klaedtke, Felix
...and 788 more Authors
all top 5

Cited in 93 Serials

182 Theoretical Computer Science
75 Information and Computation
35 Journal of Computer and System Sciences
25 RAIRO. Theoretical Informatics and Applications
24 Annals of Pure and Applied Logic
22 Information Processing Letters
18 Acta Informatica
17 Formal Methods in System Design
17 Theory of Computing Systems
13 International Journal of Foundations of Computer Science
11 Logical Methods in Computer Science
9 Annals of Mathematics and Artificial Intelligence
7 The Journal of Symbolic Logic
7 Journal of Logic, Language and Information
7 ACM Transactions on Computational Logic
6 Discrete Applied Mathematics
6 Formal Aspects of Computing
6 Journal of Applied Logic
6 RAIRO. Theoretical Informatics and Applications
5 Discrete Mathematics
5 Journal of Philosophical Logic
5 RAIRO. Informatique Théorique et Applications
5 Cybernetics and Systems Analysis
5 Journal of Logical and Algebraic Methods in Programming
4 Artificial Intelligence
4 Notre Dame Journal of Formal Logic
4 Semigroup Forum
4 Journal of Automated Reasoning
4 Discrete Event Dynamic Systems
4 Journal of Applied Non-Classical Logics
3 Journal of Pure and Applied Algebra
3 Studia Logica
3 Journal of Symbolic Computation
3 Algorithmica
3 International Journal of Algebra and Computation
3 Distributed Computing
3 Archive for Mathematical Logic
3 The Bulletin of Symbolic Logic
3 The Journal of Logic and Algebraic Programming
2 Journal of Algebra
2 Journal of Combinatorial Theory. Series B
2 Mathematical Systems Theory
2 Synthese
2 Transactions of the American Mathematical Society
2 History and Philosophy of Logic
2 Sādhanā
2 Formalized Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Communications in Algebra
1 Computers & Mathematics with Applications
1 Mathematische Semesterberichte
1 Problems of Information Transmission
1 Beiträge zur Algebra und Geometrie
1 Algebra Universalis
1 Annales de l’Institut Fourier
1 Automatica
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of the Mathematical Society of Japan
1 Journal of Number Theory
1 Mathematische Annalen
1 Monatshefte für Mathematik
1 Osaka Journal of Mathematics
1 European Journal of Combinatorics
1 Science of Computer Programming
1 Operations Research Letters
1 Physica D
1 Order
1 Journal of Computer Science and Technology
1 New Generation Computing
1 International Journal of Parallel Programming
1 Mathematical and Computer Modelling
1 Forum Mathematicum
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 Games and Economic Behavior
1 Mémoires de la Société Mathématique de France. Nouvelle Série
1 International Journal of Robust and Nonlinear Control
1 Russian Mathematics
1 Applied Categorical Structures
1 Combinatorics, Probability and Computing
1 Science in China. Series E
1 Journal of Graph Algorithms and Applications
1 Annals of Combinatorics
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Fundamenta Informaticae
1 International Studies in the Philosophy of Science
1 Journal of Applied Mathematics
1 Central European Journal of Mathematics
1 Journal of Algebra and its Applications
1 Discrete Optimization
1 Nonlinear Analysis. Hybrid Systems
1 Computer Science Review

Citations by Year