Scholar

Prakash Saivasan

Google Scholar ID: WrkGxRAAAAAJ

Institute of Mathematical Sciences

Formal methodsModel checkingAutomata theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

252

H-index

9

i10-index

9

Publications

20

Co-authors

3

list available

Contact

No contact links provided.

Publications

1 items

Bounded treewidth, multiple context-free grammars, and downward closures

2025

Cited

0

Resume (English only)

Co-authors

3 total

Mohamed Faouzi Atig

Uppsala University

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité