Concepedia

Undecidability

Undecidability is a property of decision problems in computability theory, distinguished by the absence of a Turing machine that can always determine, in finite time, whether an arbitrary input belongs to a given set.

437

Publications

24.8K

Citations

623

Authors

339

Institutions

Publications per year

2017–2026

39

Parents

Publications

437

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

, , +17

Recursively enumerable sets and degrees

Robert I. Soare · Bulletin of the American Mathematical Society · 1978 · 1.6K citations · Full text

, , +15

Stability Criteria for Switched and Hybrid Systems

Robert Shorten, Fabian Wirth, Oliver Mason et al. · SIAM Review · 2007 · 1K citations

, , +17

The undecidability of the domino problem

Robert E. Berger · Memoirs of the American Mathematical Society · 1966 · 974 citations

, , +10

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 675 citations · Full text

, , +17

1–5 of 437

Authors

623

  1. TH
    Tero Harju

    University of Turku, Finland

    5 publications · 123 citations

    5

    h-index

  2. VH
    Vesa Halava

    University of Turku, Finland

    5 publications · 71 citations

    5

    h-index

  3. JM
    Jerzy Marcinkowski

    University of Wrocław, Poland

    4 publications · 104 citations

    4

    h-index

  4. JC
    Julien Cassaigne

    Institut de Mathématiques de Marseille, France

    4 publications · 142 citations

    4

    h-index

  5. PB
    Patricia Bouyer

    Centre National de la Recherche Scientifique, France

    4 publications · 160 citations

    4

    h-index

1–5 of 623

Institutions

339

  1. Centre National de la Recherche Scientifique

    Paris, France

    16 h-index

    30 publications

    929 citations

  2. Université Paris Cité

    Paris, France

    11 h-index

    11 publications

    354 citations

  3. Cornell University

    Ithaca, United States

    9 h-index

    14 publications

    6.1K citations

  4. Harvard University Press

    Cambridge, United States

    9 h-index

    10 publications

    804 citations

  5. University of Liverpool

    Liverpool, United Kingdom

    8 h-index

    12 publications

    371 citations

  6. University of Turku

    Turku, Finland

    8 h-index

    14 publications

    333 citations

  7. University of California, Berkeley

    Berkeley, United States

    8 h-index

    11 publications

    3.2K citations

  8. University of Warwick

    Coventry, United Kingdom

    7 h-index

    8 publications

    155 citations

1–8 of 339

Venues

  1. Journal of Symbolic Logic

    32 publications · 2K citations

    21

    h-index

  2. Theoretical Computer Science

    26 publications · 3K citations

    18

    h-index

  3. arXiv (Cornell University)

    Repository · 10 publications · 141 citations

    10

    h-index

  4. Proceedings of the American Mathematical Society

    PROC · 9 publications · 228 citations

    9

    h-index

  5. Annals of Pure and Applied Logic

    8 publications · 326 citations

    8

    h-index

1–5