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
Parents
9
1–5 of 9
17
1
h-index
1 publications · 21 citations
1
h-index
1
h-index
1
h-index
1
h-index
1–5 of 17
11
Georgia Institute of Technology
Atlanta, United States
1 h-index
1 publications
27 citations
Nagoya University
Nagoya, Japan
1 h-index
3 publications
48 citations
National University of Singapore
Singapore, Singapore
1 h-index
1 publications
11 citations
Academic College of Tel Aviv-Yafo
Tel Aviv, Israel
1 h-index
1 publications
22 citations
University of North Carolina at Chapel Hill
Chapel Hill, United States
1 h-index
1 publications
23 citations
Universidad Complutense de Madrid
Madrid, Spain
1 h-index
1 publications
22 citations
University of Kent
Canterbury, United Kingdom
1 h-index
1 publications
11 citations

Bilkent University
Ankara, Türkiye
1 h-index
1 publications
23 citations
1–8 of 11
1 publications · 42 citations
1
h-index
Repository · 1 publications · 18 citations
1
h-index
Repository · 1 publications · 21 citations
1
h-index
Conference · 1 publications · 27 citations
1
h-index
ENTCS · 1 publications · 16 citations
1
h-index
1–5