Scholar
Arnab Sur
Google Scholar ID: 3VFytdcAAAAJ
PhD Computer Science, Chennai Mathematical Institute
formal verification
concurrency theory
timed automata
automata theory
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
0
H-index
0
i10-index
0
Publications
3
Co-authors
0
Publications
3 items
A Zielonka-type Construction for Connectedly Communicating Processes
2026
Cited
0
Synthesising Asynchronous Automata from Fair Specifications
2025
Cited
0
Recognizing Numbers
2025
Cited
0
