Recursive State Machines
Recursive State Machines is a state-based computational model that extends finite-state machines by incorporating hierarchically nested states and call-return mechanisms, enabling the explicit representation of procedural recursion and modular control flow in software and formal systems.
73
Publications
3.4K
Citations
190
Authors
117
Institutions
Publications per year
2017–2026
16
Parents
73
Long Short-Term Memory Over Recursive Structures
Xiaodan Zhu, Parinaz Sobihani, Hongyu Guo · NPARC · 2015 · 273 citations
Recursive state bounding by parallelotopes
Luigi Chisci, Andrea Garulli, G. Zappa · Automatica · 1996 · 237 citations
Analysis of recursive state machines
Rajeev Alur, Michael Benedikt, Kousha Etessami et al. · ACM Transactions on Programming Languages and Systems · 2005 · 220 citations · Full text
1–5 of 73
190
4
h-index
3
h-index
3
h-index
3
h-index
3
h-index
1–5 of 190
117

University of Edinburgh
Edinburgh, United Kingdom
4 h-index
7 publications
516 citations

Pennsylvania State University
State College, United States
3 h-index
3 publications
148 citations
Université Paris Cité
Paris, France
3 h-index
5 publications
129 citations
University of Siena
Siena, Italy
3 h-index
3 publications
512 citations
University of Michigan
Ann Arbor, United States
2 h-index
3 publications
68 citations

University of Pisa
Pisa, Italy
2 h-index
2 publications
493 citations

Universität Innsbruck
Innsbruck, Austria
2 h-index
2 publications
45 citations

University of Toronto
Toronto, Canada
2 h-index
5 publications
497 citations
1–8 of 117
3 publications · 262 citations
3
h-index
3 publications · 512 citations
3
h-index
3 publications · 51 citations
3
h-index
Repository · 3 publications · 45 citations
3
h-index
ENTCS · 2 publications · 28 citations
2
h-index
1–5