Temporal Decomposition

Temporal Decomposition is a methodological framework within temporal logic that decomposes complex temporal behaviors or specifications into simpler, temporally localized components, enabling modular analysis and reasoning about dynamic systems over time.

146

Publications

6.8K

Citations

434

Authors

243

Institutions

Publications per year

2017–2026

47

Authors

434

  1. MA
    Masato Akagi

    Japan Advanced Institute of Science and Technology, Japan

    4 publications · 50 citations

    4

    h-index

  2. FB
    Frédéric Bimbot

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    4 publications · 94 citations

    4

    h-index

  3. CB
    Christian Beste

    Technische Universität Dresden, Germany

    4 publications · 237 citations

    4

    h-index

  4. GC
    Gérard Chollet

    Centre National de la Recherche Scientifique, France

    4 publications · 95 citations

    4

    h-index

  5. CM
    Claude Montacié

    Sorbonne Université, France

    3 publications · 66 citations

    3

    h-index

1–5 of 434

Venues

  1. IEEE Transactions on Power Systems

    8 publications · 358 citations

    8

    h-index

  2. Human Brain Mapping

    3 publications · 168 citations

    3

    h-index

  3. IEEE Transactions on Image Processing

    3 publications · 539 citations

    3

    h-index

  4. 3

    h-index

  5. Speech Communication

    3 publications · 64 citations

    3

    h-index

1–5