Termination Of Simulating Systems

Termination of Simulating Systems is a formal framework within termination analysis that specifies the conditions under which a simulating system halts on all valid inputs, distinguishing it by its focus on the computational behavior of systems that emulate the dynamics of other systems.

9

Publications

191

Citations

17

Authors

11

Institutions

Publications per year

2017–2026

1

Authors

17

  1. PG
    Preston Greene

    Nanyang Technological University, Singapore

    1 publications · 11 citations

    1

    h-index

  2. DS
    Debra S. Richardson

    1 publications · 21 citations

    1

    h-index

  3. DW
    Donald W. Kosy

    Carnegie Mellon University, United States

    1 publications · 18 citations

    1

    h-index

  4. GT
    Gamze Tokol

    Georgia Institute of Technology, United States

    1 publications · 27 citations

    1

    h-index

  5. TS
    Toshiki Sakabe

    Nagoya University, Japan

    1 publications · 16 citations

    1

    h-index

1–5 of 17

Venues

  1. Naval Research Logistics Quarterly

    1 publications · 42 citations

    1

    h-index

  2. Defense Technical Information Center (DTIC)

    Repository · 1 publications · 18 citations

    1

    h-index

  3. VTechWorks (Virginia Tech)

    Repository · 1 publications · 21 citations

    1

    h-index

  4. 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165)

    Conference · 1 publications · 27 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 16 citations

    1

    h-index

1–5