Concepedia

Alan J. Hu

AJ

Statistics

Publications

45

Citations

2.5K

H-Index

24

Active since

1993

Affiliations

University of British Columbia(Current)

Stanford University

Intel (United States)

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

Publications

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

Hardware Security, System On Chip, New Design +12

Domagoj Babić, Alan J. Hu · 2008 · 144 citations

Software Maintenance, Program Checking, Engineering +19

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

1–5 of 45