Jiří Šimša
Scholar

Jiří Šimša

Google Scholar ID: v4aB2ckAAAAJ
Google
SystemsFormal Methods
Google Scholar↗
Citations & Impact
All-time
Citations
9,614
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
15 total
Co-author 1
Co-author 1
Randal Bryant
Randal Bryant
Carnegie Mellon University
Co-author 3
Co-author 3
Ana Klimovic
Ana Klimovic
ETH Zurich
Junfeng Yang
Junfeng Yang
Professor of Computer Science, Columbia University
Heming Cui
Heming Cui
University of Hong Kong
Co-author 7
Co-author 7
Jason Hickey
Jason Hickey
Google Research