Statistics
Publications
10
Citations
201
H-Index
10
Active since
2005
Andrea Turrini is an author at Chinese Academy of Sciences specializing in computer science, automata theory, and finite-state machines.
Publications per year
2005–2022
10
10
Advanced automata-based algorithms for program termination checking
Yu‐Fang Chen, Matthias Heizmann, Ondřej Lengál et al. · 2018 · 27 citations
1–5 of 10