Scholar
Ramchandra Phawade
Google Scholar ID: Am3Edr4AAAAJ
Assistant Professor, Dept of Computer Science and Engineering, IIT Dharwad
Theoretical Computer Science
Concurrency
Automata theory
Logic in Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
75
H-index
6
i10-index
3
Publications
16
Co-authors
10
list available
Publications
2 items
Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
2026
Cited
0
Verification of Unbounded Client-Server Systems with Distinguishable Clients
2026
Cited
0
Co-authors
6 total
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Loic Helouet
INRIA Rennes
S Akshay
IIT Bombay
Tephilla Prince
Research Scholar, Indian Institute of Technology Dharwad
S. Sheerazuddin
NIT Calicut
Rajshekar Kalayappan
Indian Institute of Technology Dharwad
