Concepedia

Parity Automata

Parity Automata is a type of infinite-word automaton in automata theory that extends finite automata with a parity acceptance condition, where the priority function assigns natural numbers to states and a run is accepting if the highest priority occurring infinitely often is even.

22

Publications

1.1K

Citations

37

Authors

32

Institutions

Publications per year

2017–2026

5

Parents

Publications

22

Safraless Decision Procedures

Orna Kupferman, Moshe Y. Vardi · 2005 · 238 citations

, , +14

From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata

Nir Piterman · 2006 · 160 citations · Full text

, , +13

Alternating tree automata, parity games, and modal {$\mu$}-calculus

Thomas Wilke · Bulletin of the Belgian Mathematical Society - Simon Stevin · 2001 · 119 citations

, , +16

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

Kousha Etessami, Thomas Wilke, Rebecca A. Schuller · SIAM Journal on Computing · 2005 · 116 citations

, , +15

The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees

André Arnold · RAIRO - Theoretical Informatics and Applications · 1999 · 83 citations

, , +7

1–5 of 22

Authors

37

  1. TW
    Thomas Wilke

    Justus-Liebig-Universität Gießen, Germany

    2 publications · 235 citations

    2

    h-index

  2. PM
    Paul-André Melliès

    Université Paris Cité, France

    2 publications · 23 citations

    2

    h-index

  3. NF
    Nathanaël Fijalkow

    Laboratoire Bordelais de Recherche en Informatique, France

    2 publications · 50 citations

    2

    h-index

  4. PP
    Pedro P. B. de Oliveira

    Universidade Presbiteriana Mackenzie, Brazil

    2 publications · 42 citations

    2

    h-index

  5. CG
    Charles Grellois

    University of Bologna, Italy

    2 publications · 23 citations

    2

    h-index

1–5 of 37

Institutions

32

  1. Laboratoire Bordelais de Recherche en Informatique

    Talence, France

    3 h-index

    3 publications

    143 citations

  2. Université Paris Cité

    Paris, France

    3 h-index

    5 publications

    76 citations

  3. Université de Bordeaux

    Bordeaux, France

    3 h-index

    3 publications

    143 citations

  4. University of Warsaw

    Warsaw, Poland

    3 h-index

    6 publications

    118 citations

  5. Institut Polytechnique de Bordeaux

    Bordeaux, France

    3 h-index

    3 publications

    143 citations

  6. Universidade Presbiteriana Mackenzie

    São Paulo, Brazil

    2 h-index

    3 publications

    55 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    113 citations

  8. Rice University

    Houston, United States

    2 h-index

    2 publications

    264 citations

1–8 of 32

Venues

  1. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 44 citations

    2

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 56 citations

    2

    h-index

  3. RAIRO - Theoretical Informatics and Applications

    ITA · 2 publications · 115 citations

    2

    h-index

  4. Natural Computing

    1 publications · 29 citations

    1

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 13 citations

    1

    h-index

1–5