Concepedia

Emptiness Problem

The Emptiness Problem is the formal decision problem of determining whether a given regular language, represented by a finite automaton, regular expression, or equivalent formalism, accepts no strings, thereby distinguishing it from other decision problems by its focus on language emptiness.

226

Publications

10.2K

Citations

337

Authors

223

Institutions

Publications per year

2017–2026

23

Parents

Publications

226

1–5 of 226

Authors

337

  1. PJ
    Peter J. Brockwell

    Colorado State University, United States

    4 publications · 53 citations

    4

    h-index

  2. MY
    Moshe Y. Vardi

    Rice University, United States

    4 publications · 283 citations

    4

    h-index

  3. JE
    Javier Esparza

    Technical University of Munich, Germany

    4 publications · 224 citations

    4

    h-index

  4. TT
    Tayssir Touili

    Université Paris Cité, France

    3 publications · 202 citations

    4

    h-index

  5. MS
    Masahiro Shiroishi

    The University of Tokyo, Japan

    3 publications · 98 citations

    3

    h-index

1–5 of 337

Institutions

223

  1. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    18 publications

    646 citations

  2. Université Paris Cité

    Paris, France

    9 h-index

    14 publications

    666 citations

  3. The University of Tokyo

    Tokyo, Japan

    7 h-index

    8 publications

    405 citations

  4. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    6 h-index

    8 publications

    176 citations

  5. Stony Brook University

    Stony Brook, United States

    6 h-index

    8 publications

    381 citations

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    5 publications

    107 citations

  7. University of Pennsylvania

    Philadelphia, United States

    5 h-index

    8 publications

    216 citations

  8. Monash University

    Melbourne, Australia

    5 h-index

    5 publications

    175 citations

1–8 of 223

Venues

  1. Journal of Applied Probability

    JAP · 10 publications · 221 citations

    10

    h-index

  2. Logical Methods in Computer Science

    LMCS · 6 publications · 168 citations

    6

    h-index

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

    Repository · 5 publications · 96 citations

    5

    h-index

  4. Journal of Physics A Mathematical and General

    5 publications · 282 citations

    5

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 5 publications · 147 citations

    5

    h-index

1–5