Concepedia

Pushdown Games

Pushdown Games is a formal framework in theoretical computer science that models infinite-duration games on pushdown systems, where the gameplay dynamics are governed by the manipulation of a stack-based automaton.

12

Publications

613

Citations

16

Authors

16

Institutions

Publications per year

2017–2026

0

Parents

Publications

12

Pushdown Processes: Games and Model-Checking

Igor Walukiewicz · Information and Computation · 2001 · 184 citations

, , +9

A Stackelberg game and its improvement in a VMI system with a manufacturing vendor

Yugang Yu, Feng Chu, Haoxun Chen · European Journal of Operational Research · 2007 · 123 citations

, , +10

Pushdown Processes: Games and Model Checking

Igor Walukiewicz · BRICS Report Series · 1996 · 93 citations · Full text

, , +13

Note on winning positions on pushdown games with ω-regular conditions

Olivier Serre · Information Processing Letters · 2003 · 40 citations · Full text

, , +5

Uniform Solution of Parity Games on Prefix-Recognizable Graphs

Thierry Cachat · Electronic Notes in Theoretical Computer Science · 2003 · 37 citations · Full text

, , +10

1–5 of 12

Authors

16

  1. IW
    Igor Walukiewicz

    Laboratoire Bordelais de Recherche en Informatique, France

    4 publications · 325 citations

    4

    h-index

  2. KC
    Krishnendu Chatterjee

    Institute of Science and Technology Austria, Austria

    2 publications · 37 citations

    2

    h-index

  3. TC
    Thierry Cachat

    Laboratoire d'Informatique Algorithmique: Fondements et Applications, France

    2 publications · 63 citations

    2

    h-index

  4. OS
    Olivier Serre

    Université Paris Cité, France

    2 publications · 65 citations

    2

    h-index

  5. AM
    Antoine Meyer

    Université Paris Cité, France

    1 publications · 25 citations

    1

    h-index

1–5 of 16

Institutions

16

  1. Laboratoire d'Informatique Algorithmique: Fondements et Applications

    Paris, France

    4 h-index

    4 publications

    105 citations

  2. RWTH Aachen University

    Aachen, Germany

    2 h-index

    2 publications

    59 citations

  3. Laboratoire Bordelais de Recherche en Informatique

    Talence, France

    2 h-index

    2 publications

    48 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    3 publications

    271 citations

  5. Université Paris Cité

    Paris, France

    2 h-index

    2 publications

    65 citations

  6. Institute of Science and Technology Austria

    Klosterneuburg, Austria

    2 h-index

    2 publications

    37 citations

  7. University of Naples Federico II

    Naples, Italy

    1 h-index

    2 publications

    20 citations

  8. University of Oxford

    Oxford, United Kingdom

    1 h-index

    2 publications

    50 citations

1–8 of 16

Venues

  1. BRICS Report Series

    1 publications · 93 citations

    1

    h-index

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

    Repository · 1 publications · 14 citations

    1

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 37 citations

    1

    h-index

  4. Theory of Computing Systems

    1 publications · 16 citations

    1

    h-index

  5. Information Processing Letters

    1 publications · 40 citations

    1

    h-index

1–5