Ramneet Singh
Scholar

Ramneet Singh

Google Scholar ID: mWIpuJkAAAAJ
Microsoft Research
Programming LanguagesFormal MethodsMachine Learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6
 
H-index
2
 
i10-index
0
 
Publications
4
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
2 items
INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
2025
Cited
0
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
2025
Cited
0
Resume (English only)
Co-authors
12 total
Co-author 1
Co-author 1
Aditya Kanade
Aditya Kanade
Microsoft Research India
Nagarajan Natarajan
Nagarajan Natarajan
Researcher, Microsoft Research India
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Ramakrishna Bairi
Ramakrishna Bairi
Microsoft Research India
Edward A. LEE
Edward A. LEE
Professor of Electrical Engineering and Computer Sciences, University of California at Berkeley
Elizabeth Polgreen
Elizabeth Polgreen
Lecturer, University of Edinburgh