Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yinghua Min
Koh Aoki
Bhupendra Singh
Caterina Carboni
Silvia Scirpoli
David J. Westover
Akhil Arya
Songhua Li
Sebastian Magda
David MacDonald
Home
/
Author
/
ZYAD HASSAN
Author Info
Open Visualization
Name
Affiliation
Papers
ZYAD HASSAN
University of Colorado at Boulder
7
Collaborators
Citations
PageRank
17
61
4.51
Referers
Referees
References
157
188
84
Search Limit
100
188
Publications (7 rows)
Collaborators (17 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Incremental, inductive CTL model checking
8
0.58
2012
An incremental approach to model checking progress properties
22
1.00
2011
A Study of Sweeping Algorithms in the Context of Model Checking.
0
0.34
2011
Full-Spectrum Spatial–Temporal Dynamic Thermal Analysis for Nanometer-Scale Integrated Circuits
3
0.44
2011
Large-scale battery system modeling and analysis for emerging electric-drive vehicles
5
0.69
2010
Multiscale thermal analysis for nanometer-scale integrated circuits
8
0.61
2009
ThermalScope: multi-scale thermal analysis for nanometer-scale integrated circuits
15
0.85
2008
1