Concepedia

Automata Construction

Automata Construction is a formal method in theoretical computer science that systematically designs finite-state machines by specifying their states, transitions, and acceptance criteria according to a given computational or linguistic requirement.

422

Publications

23.2K

Citations

720

Authors

366

Institutions

Publications per year

2017–2026

30

Parents

Publications

422

1–5 of 422

Authors

720

  1. DQ
    Daowen Qiu

    Sun Yat-sen University, China

    11 publications · 570 citations

    11

    h-index

  2. MY
    Moshe Y. Vardi

    Rice University, United States

    9 publications · 517 citations

    9

    h-index

  3. BW
    Bruce W. Watson

    University of Pretoria, South Africa

    6 publications · 344 citations

    6

    h-index

  4. CM
    Carlo Mereghetti

    University of Milan, Italy

    6 publications · 242 citations

    6

    h-index

  5. JC
    Jean-Marc Champarnaud

    Université de Rouen Normandie, France

    6 publications · 185 citations

    6

    h-index

1–5 of 720

Institutions

366

  1. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    19 publications

    3.2K citations

  2. Sun Yat-sen University

    Guangzhou, China

    9 h-index

    20 publications

    723 citations

  3. Université de Rouen Normandie

    Rouen, France

    8 h-index

    19 publications

    614 citations

  4. Technical University of Munich

    Munich, Germany

    8 h-index

    17 publications

    413 citations

  5. Universidade do Porto

    Porto, Portugal

    7 h-index

    18 publications

    433 citations

  6. Université Paris Cité

    Paris, France

    7 h-index

    10 publications

    463 citations

  7. IBM (United States)

    Armonk, United States

    6 h-index

    6 publications

    744 citations

  8. University of Milan

    Milan, Italy

    6 h-index

    16 publications

    471 citations

1–8 of 366

Venues

  1. Theoretical Computer Science

    56 publications · 3.1K citations

    28

    h-index

  2. Information and Computation

    13 publications · 664 citations

    12

    h-index

  3. Information Processing Letters

    10 publications · 317 citations

    10

    h-index

  4. International Journal of Foundations of Computer Science

    IJFCS · 9 publications · 193 citations

    9

    h-index

  5. Journal of Computer and System Sciences

    9 publications · 221 citations

    9

    h-index

1–5