ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits. - Nicholas Allec; Zyad Hassan; Li Shang; Robert P. Dick; Ronggui Yang (ICCAD, 2008)

Multiscale Thermal Analysis for Nanometer-Scale Integrated Circuits. - Zyad Hassan; Nicholas Allec; Li Shang; Robert P. Dick; V. Venkatraman; Ronggui Yang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Large-scale battery system modeling and analysis for emerging electric-drive vehicles. - Kun Li; Jie Wu; Yifei Jiang; Zyad Hassan; Qin Lv; Li Shang; Dragan Maksimovic (ISLPED, 2010)

An incremental approach to model checking progress properties. - Aaron R. Bradley; Fabio Somenzi; Zyad Hassan; Yan Zhang 027 (FMCAD, 2011)

A Study of Sweeping Algorithms in the Context of Model Checking. - Zyad Hassan; Yan Zhang 027; Fabio Somenzi (DIFTS@FMCAD, 2011)

Full-Spectrum Spatial-Temporal Dynamic Thermal Analysis for Nanometer-Scale Integrated Circuits. - Zyad Hassan; Nicholas Allec; Fan Yang 001; Li Shang; Robert P. Dick; Xuan Zeng 001 (IEEE Trans. Very Large Scale Integr. Syst., 2011)

Incremental, Inductive CTL Model Checking. - Zyad Hassan; Aaron R. Bradley; Fabio Somenzi (CAV, 2012)

Better generalization in IC3. - Zyad Hassan; Aaron R. Bradley; Fabio Somenzi (FMCAD, 2013)