Concepedia

Branching-time Logic

Branching-Time Logic is a temporal logic formalism that characterizes the behavior of concurrent systems by modeling time as a tree-like, branching structure where multiple future paths are possible from any given state.

198

Publications

18.6K

Citations

270

Authors

145

Institutions

Publications per year

2017–2026

14

Parents

Publications

198

On the synthesis of a reactive module

Amir Pnueli, Roni Rosner · 1989 · 1.4K citations · Full text

, , +17

Alternating-time temporal logic

Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations

, , +12

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

, , +14

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

, , +16

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 824 citations

, , +16

1–5 of 198

Authors

270

  1. EA
    E. Allen Emerson

    The University of Texas at Austin, United States

    13 publications · 4.5K citations

    13

    h-index

  2. OK
    Orna Kupferman

    Hebrew University of Jerusalem, Israel

    9 publications · 2.6K citations

    9

    h-index

  3. TM
    Thomas Müller

    University of Freiburg, Germany

    6 publications · 152 citations

    6

    h-index

  4. RA
    Rajeev Alur

    University of Pennsylvania, United States

    5 publications · 2.2K citations

    5

    h-index

  5. MY
    Moshe Y. Vardi

    Rice University, United States

    5 publications · 754 citations

    5

    h-index

1–5 of 270

Institutions

145

  1. The University of Texas at Austin

    Austin, United States

    11 h-index

    13 publications

    4.6K citations

  2. Stanford University

    Stanford, United States

    7 h-index

    7 publications

    1.5K citations

  3. University of Pennsylvania

    Philadelphia, United States

    7 h-index

    14 publications

    3.6K citations

  4. Hebrew University of Jerusalem

    Jerusalem, Israel

    6 h-index

    6 publications

    2.2K citations

  5. Rice University

    Houston, United States

    6 h-index

    6 publications

    796 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    8 publications

    129 citations

  7. Cornell University

    Ithaca, United States

    5 h-index

    10 publications

    4.3K citations

  8. Weizmann Institute of Science

    Rehovot, Israel

    5 h-index

    9 publications

    4.1K citations

1–8 of 145

Venues

  1. Journal of Logic and Computation

    9 publications · 170 citations

    9

    h-index

  2. Information and Computation

    6 publications · 1.2K citations

    6

    h-index

  3. Synthese

    6 publications · 237 citations

    6

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 6 publications · 192 citations

    6

    h-index

  5. Journal of the ACM

    JACM · 5 publications · 4.1K citations

    5

    h-index

1–5