Ramchandra Phawade
Scholar

Ramchandra Phawade

Google Scholar ID: Am3Edr4AAAAJ
Assistant Professor, Dept of Computer Science and Engineering, IIT Dharwad
Theoretical Computer ScienceConcurrencyAutomata theoryLogic in Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
75
 
H-index
6
 
i10-index
3
 
Publications
16
 
Co-authors
10
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
10 total
Ashutosh Trivedi
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Loic Helouet
Loic Helouet
INRIA Rennes
S Akshay
S Akshay
IIT Bombay
Co-author 7
Co-author 7
Tephilla Prince
Tephilla Prince
Research Scholar, Indian Institute of Technology Dharwad