Scholar
C. Aiswarya
Google Scholar ID: NLwqvCwAAAAJ
Chennai Mathematical Institute
Automata theory
Verification
Concurrency theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
303
H-index
10
i10-index
11
Publications
20
Co-authors
3
list available
Publications
2 items
Type-Checking for Pattern-Based Tree Transformations
2026
Cited
0
Bounded treewidth, multiple context-free grammars, and downward closures
2025
Cited
0
Co-authors
2 total
Benedikt Bollig
CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay
Thomas Schwentick
Professor of Computer Science, TU Dortmund University
