Scholar
Prakash Saivasan
Google Scholar ID: WrkGxRAAAAAJ
Institute of Mathematical Sciences
Formal methods
Model checking
Automata theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
252
H-index
9
i10-index
9
Publications
20
Co-authors
3
list available
Publications
2 items
Parameterized Reachability for Register Machines with Data
2026
Cited
0
Bounded treewidth, multiple context-free grammars, and downward closures
2025
Cited
0
Co-authors
2 total
Mohamed Faouzi Atig
Uppsala University
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
