Chennai Mathematical Institute — India
Computer Science · Physical Sciences
20h-index1.2kcitations200works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(52), Logic, programming, and type systems(23), Distributed systems and fault tolerance(21), Petri Nets in System Modeling(21), semigroups and automata theory(20)
Publications200 total
Resonance·2026
Resonance·2026Open Access
Resonance·2025Open Access
Resonance·2025
Resonance·2025
Resonance·2025Open Access
Resonance·2025Open Access
Resonance·2025Open Access
Lecture notes in computer science·2025
Resonance·2025
Resonance·2025Open Access
Resonance·2025Open Access
Resonance·2025Open Access
Resonance·2025
Resonance·2025
Resonance·2025
Resonance·2025Open Access
Resonance·2025
Resonance·2025Open Access
Resonance·2025
page 1 of 10Next →
Frequent Co-authors
K. Narayan Kumar(14), P. S. Thiagarajan(11), Milind Sohoni(10), Paul Gastin(8), Jesper G. Henriksen(4), S. Akshay(4), Nils Klarlund(3), K. Narayan Kumar(3), S. P. Suresh(3), Ramesh Hariharan(2), Benedikt Bollig(2), Mogens Nielsen(2), Kamal Lodaya(2), Puneet Bhateja(2), Gautham Shenoy R.(2), Vishwa Vinay(1), Ilaria Castellani(1), K. G. Subramanian(1), K. Rangarajan(1), Samik Basu(1)