Ashish Tiwari
Scholar

Ashish Tiwari

Google Scholar ID: -TFCgqsAAAAJ
Computer Scientist, SRI International; Researcher Microsoft
Formal MethodsProgram AnalysisHybrid SystemsDecision ProceduresSystems Biology
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,184
 
H-index
31
 
i10-index
83
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
21 total
Sumit Gulwani
Sumit Gulwani
Distinguished Scientist, Microsoft
Susmit Jha
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
Co-author 3
Co-author 3
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Adrià Gascón
Adrià Gascón
Google Research
Radu Grosu
Radu Grosu
Professor of Computer Science
Scott A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University