45
Publications
2.5K
Citations
24
H-Index
1993
Active since
Affiliations
Alan J. Hu is an author at University of British Columbia specializing in computer science, engineering, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationVerificationProgram AnalysisComputer ArchitectureSoftware AnalysisSystems Engineering
Publications per year
1993–2019
45
45
Protocol verification as a hardware design aid
David L. Dill, Andreas J. Drexler, Alan J. Hu et al. · 2003 · 398 citations
Engineering, Hardware Verification Language, Verification +23
SPUDD: Stochastic Planning using Decision Diagrams
Jesse Hoey, Robert St‐Aubin, Alan J. Hu et al. · arXiv (Cornell University) · 2013 · 387 citations · Full text
System-on-Chip: Reuse and Integration
R. Saleh, Steven J. E. Wilton, Shahriar Mirabbasi et al. · Proceedings of the IEEE · 2006 · 262 citations
Domagoj Babić, Alan J. Hu · 2008 · 144 citations
Improving Multiple-CMP Systems Using Token Coherence
Michael R. Marty, Jesse Bingham, Mark D. Hill et al. · 2005 · 109 citations
Semiconductor Technology, Engineering, Distributed Computing +15
Rows per page
1–5 of 45