Wolfgang Thomas

6.4k total citations
77 papers, 1.3k citations indexed

About

Wolfgang Thomas is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Wolfgang Thomas has authored 77 papers receiving a total of 1.3k indexed citations (citations by other indexed papers that have themselves been cited), including 49 papers in Computational Theory and Mathematics, 33 papers in Artificial Intelligence and 5 papers in Computer Networks and Communications. Recurrent topics in Wolfgang Thomas's work include semigroups and automata theory (32 papers), Logic, programming, and type systems (20 papers) and Formal Methods in Verification (20 papers). Wolfgang Thomas is often cited by papers focused on semigroups and automata theory (32 papers), Logic, programming, and type systems (20 papers) and Formal Methods in Verification (20 papers). Wolfgang Thomas collaborates with scholars based in Germany, United States and France. Wolfgang Thomas's co-authors include Heinz-Dieter Ebbinghaus, Erich Grädel, Thomas Wilke, Sebastian Seibert, Walter Oberschelp, Egon Börger, Michael M. Richter, Olivier Carton, Antonio Restivo and Dora Giammarresi and has published in prestigious journals such as SHILAP Revista de lepidopterología, Foreign Affairs and Lecture notes in mathematics.

In The Last Decade

Wolfgang Thomas

67 papers receiving 1.1k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Wolfgang Thomas Germany 16 990 797 113 113 101 77 1.3k
悦朗 守屋 United Kingdom 2 527 0.5× 487 0.6× 148 1.3× 120 1.1× 58 0.6× 4 815
Walter J. Savitch United States 14 752 0.8× 612 0.8× 151 1.3× 194 1.7× 57 0.6× 55 1.2k
J. C. Shepherdson United Kingdom 21 1.1k 1.1× 1.0k 1.3× 109 1.0× 114 1.0× 66 0.7× 56 1.6k
H. B. Enderton United States 6 440 0.4× 573 0.7× 31 0.3× 115 1.0× 60 0.6× 23 913
Jacobo Torán Germany 15 721 0.7× 516 0.6× 52 0.5× 153 1.4× 18 0.2× 56 989
Stefan Szeider Austria 19 879 0.9× 618 0.8× 40 0.4× 431 3.8× 46 0.5× 139 1.3k
Alasdair Urquhart Canada 18 1.2k 1.2× 1.1k 1.4× 14 0.1× 204 1.8× 55 0.5× 84 1.5k
J.J.M.M. Rutten Netherlands 17 1.0k 1.0× 1.1k 1.4× 31 0.3× 202 1.8× 113 1.1× 60 1.5k
Robert L. Constable United States 22 995 1.0× 1.2k 1.6× 47 0.4× 278 2.5× 112 1.1× 100 1.7k
Bengt Aspvall United States 9 455 0.5× 254 0.3× 29 0.3× 252 2.2× 41 0.4× 17 736

Countries citing papers authored by Wolfgang Thomas

Since Specialization
Citations

This map shows the geographic impact of Wolfgang Thomas's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Wolfgang Thomas with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Wolfgang Thomas more than expected).

Fields of papers citing papers by Wolfgang Thomas

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Wolfgang Thomas. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Wolfgang Thomas. The network helps show where Wolfgang Thomas may publish in the future.

Co-authorship network of co-authors of Wolfgang Thomas

This figure shows the co-authorship network connecting the top 25 collaborators of Wolfgang Thomas. A scholar is included among the top collaborators of Wolfgang Thomas based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Wolfgang Thomas. Wolfgang Thomas is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Thomas, Wolfgang, et al.. (2014). Simplification problems for automata and games. RWTH Publications (RWTH Aachen).
2.
Kaiser, Łukasz, et al.. (2012). Degrees of Lookahead in Regular Infinite Games. Logical Methods in Computer Science. Volume 8, Issue 3. 10 indexed citations
3.
Grüner, Sten, et al.. (2012). Connectivity games over dynamic networks. Theoretical Computer Science. 493. 46–65. 2 indexed citations
4.
Doerr, Carola, Bruno Durand, & Wolfgang Thomas. (2006). Generating Randomized Roundings with Cardinality Constraints and Derandomizations. Max Planck Institute for Plasma Physics. 571–583. 7 indexed citations
5.
Elbassioni, Khaled, Nabil H. Mustafa, Bruno Durand, & Wolfgang Thomas. (2006). Conflict-Free Colorings of Rectangle Ranges. Max Planck Institute for Plasma Physics. 254–263. 1 indexed citations
6.
Thomas, Wolfgang. (2003). Uniform and nonuniform recognizability. Theoretical Computer Science. 292(1). 299–316.
7.
Grädel, Erich, Wolfgang Thomas, & Thomas Wilke. (2002). Automata logics, and infinite games: a guide to current research. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 144 indexed citations
8.
Thomas, Wolfgang, et al.. (1997). Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.. RWTH Publications (RWTH Aachen). 99–108. 2 indexed citations
9.
Giammarresi, Dora, Antonio Restivo, Sebastian Seibert, & Wolfgang Thomas. (1996). Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems. Information and Computation. 125(1). 32–45. 38 indexed citations
10.
Thomas, Wolfgang, et al.. (1995). Counter-Free Automata, First-Order Logic and Star-Free Expressions.. RWTH Publications (RWTH Aachen). 166–175. 1 indexed citations
11.
Thomas, Wolfgang. (1994). Finite-State Recognizability and Logic: from Words to Graphs.. IFIP Congress. 499–506. 3 indexed citations
12.
Thomas, Wolfgang. (1993). Semantik und Verifikation. 22(4). 120–124. 5 indexed citations
13.
Thomas, Wolfgang, et al.. (1993). Tree Languages Recognizable by Regular Frontier Check.. 3–17. 7 indexed citations
14.
Thomas, Wolfgang. (1992). Infinite trees and automaton- definable relations over ω-words. Theoretical Computer Science. 103(1). 143–159. 21 indexed citations
15.
Thomas, Wolfgang. (1990). Infinite trees and automaton definable over Ω-words. 263–277. 2 indexed citations
16.
Thomas, Wolfgang. (1987). On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees. 245–256. 9 indexed citations
17.
Thomas, Wolfgang. (1986). Towards a 'Social Market Economy'. 17(2). 97–105. 1 indexed citations
18.
Thomas, Wolfgang. (1984). Financing rural development with particular reference to Transkei. Open University of Cape Town (University of Cape Town). 14. 34–52. 1 indexed citations
19.
Thomas, Wolfgang. (1980). A Southern African 'Constellation of States': Challenge or Myth?. 10(3). 113–128. 3 indexed citations
20.
Thomas, Wolfgang. (1978). Economic development in Namibia : towards acceptable development strategies for independent Namibia. 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026