Scholar
Jiří Šimša
Google Scholar ID: v4aB2ckAAAAJ
Google
Systems
Formal Methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
9,614
H-index
10
i10-index
10
Publications
20
Co-authors
15
list available
Co-authors
7 total
Randal Bryant
Carnegie Mellon University
Ana Klimovic
ETH Zurich
Junfeng Yang
Professor of Computer Science, Columbia University
Heming Cui
University of Hong Kong
Jason Hickey
Google Research
Michael Kuchnik
Meta
Byron Cook
Professor of Computer Science, UCL, Amazon
