B Srivathsan
Scholar

B Srivathsan

Google Scholar ID: jZPBO50AAAAJ
Chennai Mathematical Institute, Associate Professor of Computer Science
Formal VerificationLogic and Automata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
423
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
4 items
A Simple Obligation to Metric Interval Temporal Logic
2026
Cited
0
A Zielonka-type Construction for Connectedly Communicating Processes
2026
Cited
0
Deterministic Suffix-reading Automata
2025
Cited
0
Synthesising Asynchronous Automata from Fair Specifications
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)