Randal Bryant
Scholar

Randal Bryant

Google Scholar ID: AFgYa68AAAAJ
Carnegie Mellon University
Formal verificationbinary decision diagrams
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,914
 
H-index
22
 
i10-index
52
 
Publications
20
 
Co-authors
24
list available
Contact
CVOpen ↗
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
24 total
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Shuvendu Lahiri
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Somesh Jha
Somesh Jha
Lubar Chair of Computer Science, University of Wisconsin
Co-author 6
Co-author 6
Marijn Heule
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Co-author 8
Co-author 8