Concepedia

Automata Theory

Automata Theory is a branch of theoretical computer science that studies abstract computational devices and the class of problems they can solve, distinguished by its focus on formal models of computation such as finite automata, pushdown automata, and Turing machines within the framework of formal languages and computational complexity.

6.3K

Publications

371.8K

Citations

7.6K

Authors

2K

Institutions

Publications per year

2017–2026

553

Variants

Theory Of Automata

Parents

Children

Publications

6.3K

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

, , +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

, , +10

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

Theory of Self-Reproducing Automata

Jacob T. Schwartz, John von Neumann, Arthur W. Burks · Mathematics of Computation · 1967 · 5.5K citations

, , +10

Logical Reversibility of Computation

C. H. Bennett · IBM Journal of Research and Development · 1973 · 3.7K citations

, , +13

1–5 of 6.3K

Authors

7.6K

  1. MY
    Moshe Y. Vardi

    Rice University, United States

    42 publications · 6.2K citations

    28

    h-index

  2. TA
    Thomas A. Henzinger

    University of California, Berkeley, United States

    32 publications · 10K citations

    26

    h-index

  3. KG
    Kim G. Larsen

    Aalborg University, Denmark

    46 publications · 2.4K citations

    25

    h-index

  4. DQ
    Daowen Qiu

    Sun Yat-sen University, China

    29 publications · 1.4K citations

    23

    h-index

  5. RA
    Rajeev Alur

    University of Pennsylvania, United States

    24 publications · 11.7K citations

    22

    h-index

1–5 of 7.6K

Institutions

2K

  1. Centre National de la Recherche Scientifique

    Paris, France

    52 h-index

    442 publications

    19.5K citations

  2. University of California, Berkeley

    Berkeley, United States

    47 h-index

    179 publications

    21.6K citations

  3. Université Paris Cité

    Paris, France

    36 h-index

    160 publications

    6.8K citations

  4. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    34 h-index

    132 publications

    6.4K citations

  5. AT&T (United States)

    Bedminster, United States

    32 h-index

    74 publications

    11.4K citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    31 h-index

    92 publications

    7.4K citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    31 h-index

    155 publications

    6.2K citations

  8. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    30 h-index

    95 publications

    4.2K citations

1–8 of 2K

Venues

  1. Theoretical Computer Science

    415 publications · 29.6K citations

    67

    h-index

  2. Journal of Computer and System Sciences

    118 publications · 6.9K citations

    46

    h-index

  3. Physica D Nonlinear Phenomena

    79 publications · 9.2K citations

    44

    h-index

  4. Journal of the ACM

    JACM · 77 publications · 10.5K citations

    39

    h-index

  5. SIAM Journal on Computing

    65 publications · 4.8K citations

    37

    h-index

1–5