Alan J. Hu

Cited by

	All	Since 2018
Citations	4761	816
h-index	35	15
i10-index	64	20

280

140

210

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202324 28 48 76 52 64 84 87 76 101 151 144 184 181 217 258 228 248 224 225 259 252 262 195 192 149 186 127 156 106 89

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Domagoj BabicGoogle, Inc.Verified email at cs.berkeley.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Steve WiltonElectrical and Computer Engineering, University of British Columbia, V6T 1Z4Verified email at ece.ubc.ca
Sam BaylessUniversity of British Columbia, Amazon Web ServicesVerified email at cs.ubc.ca
Flavio M de PaulaMicrosoftVerified email at cs.ubc.ca
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerified email at cs.rwth-aachen.de
Zvonimir RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Anne CondonProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca
Guy LemieuxFaculty of Applied Science, University of British Columbia, V6T 1Z4Verified email at ece.ubc.ca
Craig BoutilierPrincipal Scientist, GoogleVerified email at google.com
Jesse HoeyProfessor of Computer Science, University of WaterlooVerified email at cs.uwaterloo.ca
Shahriar MirabbasiUniversity of British ColumbiaVerified email at ece.ubc.ca
Partha PandeWashington State UniversityVerified email at wsu.edu
Cristian GrecuUniversity of British ColumbiaVerified email at ece.ubc.ca
Amir NahirAppleVerified email at apple.com
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Masahiro FujitaUniversity of TokyoVerified email at ee.t.u-tokyo.ac.jp
Avi ZivResearch Staff Member, IBMVerified email at il.ibm.com
Frank HutterProfessor of Computer Science, University of Freiburg, GermanyVerified email at cs.uni-freiburg.de
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu

Alan J. Hu

Professor of Computer Science, University of British Columbia

Verified email at cs.ubc.ca - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	647	1992
SPUDD: Stochastic planning using decision diagrams J Hoey, R St-Aubin, A Hu, C Boutilier arXiv preprint arXiv:1301.6704, 2013	612	2013
System-on-chip: Reuse and integration R Saleh, S Wilton, S Mirabbasi, A Hu, M Greenstreet, G Lemieux, ... Proceedings of the IEEE 94 (6), 1050-1069, 2006	374	2006
Calysto: scalable and precise extended static checking D Babic, AJ Hu Proceedings of the 30th international conference on Software engineering …, 2008	188	2008
Boosting verification by automatic tuning of decision procedures F Hutter, D Babic, HH Hoos, AJ Hu Formal Methods in Computer Aided Design (FMCAD'07), 27-34, 2007	180	2007
Checking for language inclusion using simulation preorders DL Dill, AJ Hu, H Wong-Toi Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992	134	1992
Improving multiple-cmp systems using token coherence MR Marty, JD Bingham, MD Hill, AJ Hu, MMK Martin, DA Wood 11th International Symposium on High-Performance Computer Architecture, 328-339, 2005	124	2005
Monitor-based formal specification of PCI K Shimizu, DL Dill, AJ Hu Formal Methods in Computer-Aided Design: Third International Conference …, 2000	124	2000
Backspace: Formal analysis for post-silicon debug FM De Paula, M Gort, AJ Hu, SJE Wilton, J Yang 2008 Formal Methods in Computer-Aided Design, 1-10, 2008	105	2008
Reducing BDD size by exploiting functional dependencies AJ Hu, DL Dill Proceedings of the 30th international Design Automation Conference, 266-271, 1993	98	1993
Structural abstraction of software verification conditions D Babić, AJ Hu Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	91	2007
Formal hardware verification with BDDs: An introduction AJ Hu 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997	85	1997
BDDNOW: a parallel BDD package K Milvang-Jensen, AJ Hu International Conference on Formal Methods in Computer-Aided Design, 501-507, 1998	78	1998
Automatic formal verification of DSP software DW Currie, AJ Hu, S Rajan Proceedings of the 37th Annual Design Automation Conference, 130-135, 2000	74	2000
Techniques for efficient formal verification using binary decision diagrams AJ Hu stanford university, 1996	74	1996
Fixing races for fun and profit: how to use access (2). D Dean, AJ Hu USENIX security symposium, 195-206, 2004	73	2004
High-level specification and automatic generation of IP interface monitors MT Oliveira, AJ Hu Proceedings of the 39th annual Design Automation Conference, 129-134, 2002	73	2002
Approximate reachability with BDDs using overlapping projections SG Govindaraju, DL Dill, AJ Hu, MA Horowitz Proceedings of the 35th annual Design Automation Conference, 451-456, 1998	71	1998
New techniques for efficient verification with implicitly conjoined BDDs AJ Hu, G York, DL Dill Proceedings of the 31st Annual Design Automation Conference, 276-282, 1994	71	1994
Higher-level specification and verification with BDDs AJ Hu, DL Dill, AJ Drexler, CH Yang Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993	67	1993

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors