Statistics
Publications
6
Citations
195
H-Index
6
Active since
2008
Affiliations
Zyad Hassan is an author at University of Colorado Boulder specializing in engineering, thermal design, and computer engineering.
Publications per year
2008–2013
6
6
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi · 2013 · 60 citations
An incremental approach to model checking progress properties
Aaron R. Bradley, Fabio Somenzi, Zyad Hassan et al. · 2011 · 39 citations
ThermalScope: Multi-Scale Thermal Analysis for Nanometer-Scale Integrated Circuits
Nicholas Allec, Zyad Hassan, Li Shang et al. · 2008 · 34 citations
1–5 of 6