World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
13058
World Ranking
9056
National Ranking
448

Overview

Wolfgang Thomas is affiliated with RWTH Aachen University in Germany and focuses primarily on computer science, with significant contributions spanning over 21 publications. Their research activity is concentrated in computational theory and mathematics, artificial intelligence, as well as interdisciplinary work involving infectious diseases and molecular biology.

The scientist's main research topics include:

  • semigroups and automata theory
  • Logic, programming, and type systems
  • Computability, Logic, AI Algorithms
  • Advanced Algebra and Logic
  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • DNA and Biological Computing

Wolfgang Thomas has co-authored extensively with several researchers. Frequent collaborators include:

  • Heinz-Dieter Ebbinghaus
  • Jörg Flum
  • Christof Löding
  • Benedikt Brütsch
  • Caroline Clees

The scientist has published their work in a variety of scholarly venues such as:

  • Fundamenta Informaticae
  • arXiv (Cornell University)
  • Monatsschrift Kinderheilkunde
  • International Journal of Foundations of Computer Science
  • Deutsche Dermatologie

Examples of Wolfgang Thomas's published papers include:

  • "Solving Infinite Games in the Baire Space," 2022, Fundamenta Informaticae
  • "Solving Infinite Games in the Baire Space," 2021, arXiv (Cornell University)
  • "Schmerzhafte Lymphadenopathie und Fieber nach Zeckenbiss," 2022, Monatsschrift Kinderheilkunde
  • "On the Boolean Closure of Deterministic Top-Down Tree Automata," 2023, International Journal of Foundations of Computer Science
  • "Rückkehr einer vergessenen Erkrankung?," 2023, Deutsche Dermatologie

In addition to articles, Wolfgang Thomas has authored books, including a publication with Springer Nature titled Mathematical Logic in 2021.

Best Publications

  • Automata on infinite objects

    Wolfgang Thomas

  • Languages, automata, and logic

    Wolfgang Thomas

  • Mathematical Logic

    Heinz-Dieter Ebbinghaus;Wolfgang Thomas

  • Automata logics, and infinite games: a guide to current research

    Erich Grädel;Wolfgang Thomas;Thomas Wilke

  • Automata Logics, and Infinite Games

    Erich Grädel;Wolfgang Thomas;Thomas Wilke

  • On the synthesis of strategies in infinite games

    Wolfgang Thomas

  • Classifying regular events in symbolic logic

    Wolfgang Thomas

  • Einführung in die mathematische Logik

    Heinz-Dieter Ebbinghaus;Jörg Flum;Wolfgang Thomas

  • Computation tree logic CTL * and path quantifiers in the monadic theory of the binary tree

    Thilo Hafer;Wolfgang Thomas

  • Infinite Games and Verification

    Wolfgang Thomas

  • Monadic second-order logic over rectangular pictures and recognizability by tiling systems

    Dora Giammarresi;Antonio Restivo;Sebastian Seibert;Wolfgang Thomas

  • Star-free regular sets of ω-sequences

    Wolfgang Thomas

  • A combinatorial approach to the theory of ω-automata

    Wolfgang Thomas

  • Logical Specifications of Infinite Computations

    Wolfgang Thomas;Helmut Lescow

  • Regular languages defined with generalized quantifiers

    Howard Straubing;Denis Thérien;Wolfgang Thomas

  • Alternating Automata and Logics over Infinite Words

    Christof Löding;Wolfgang Thomas

  • On Logics, Tilings, and Automata

    Wolfgang Thomas

  • On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science

    Wolfgang Thomas

  • Ehrenfeucht Games, the Composition Method, and the Monadic Theory of Ordinal Words

    Wolfgang Thomas

  • Logical aspects in the study of tree languages

    Wolfgang Thomas

Frequent Co-Authors

Erich Grädel
Erich Grädel RWTH Aachen University
Henry Kautz
Henry Kautz University of Virginia
Moshe Y. Vardi
Moshe Y. Vardi Rice University
Susanne Albers
Susanne Albers Technical University of Munich
Mogens Nielsen
Mogens Nielsen Aarhus University
Alberto Marchetti-Spaccamela
Alberto Marchetti-Spaccamela Sapienza University of Rome
Yossi Matias
Yossi Matias Google (United States)
Sotiris Nikoletseas
Sotiris Nikoletseas University of Patras
Benjamin Doerr
Benjamin Doerr École Polytechnique
James Gross
James Gross Royal Institute of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

The field of computer science in the USA is rapidly evolving, and so are the options for studying and advancing your career online. Many institutions now offer online graduate programs that accept 2.0 gpa, opening doors for students who may have faced academic hurdles in the past. This flexibility makes continuing education accessible to a broader range of learners.

Accelerated programs are also gaining popularity. A accelerated computer science degree allows you to earn your qualification faster, helping you enter the workforce or pivot careers in a shorter time. Such formats are ideal for working professionals and career changers.

Computer science is often interlinked with other disciplines, offering diverse pathways. For example, degrees combining technology and environmental concerns are in demand. If you’re interested in sustainability, explore environmental engineering degrees online. Alternatively, those interested in both teaching and science might consider jobs with jobs with elementary education and environmental science degree.

With so many online degree options and interdisciplinary paths, now is an excellent time to consider where computer science can take you.

Best Scientists Citing Wolfgang Thomas

Trending Scientists