Statistics
Publications
4
Citations
163
H-Index
4
Active since
2005
Affiliations
Jiřı Šimša is an author at Carnegie Mellon University specializing in computer science, computing, and distributed computing.
Publications per year
2005–2009
4
4
Jennifer Tam, Jiřı Šimša, Sean Hyde et al. · Neural Information Processing Systems · 2008 · 88 citations
Finding heap-bounds for hardware synthesis
B. Cook, Ashutosh Gupta, S. Magill et al. · 2009 · 27 citations
Distributed Partial Order Reduction of State Spaces
Luboš Brim, Ivana Černá, Pavel Moravec et al. · Electronic Notes in Theoretical Computer Science · 2005 · 25 citations · Full text
1–4 of 4