Alan J. Hu

Cited by

	All	Since 2019
Citations	4965	817
h-index	35	15
i10-index	66	22

280

140

210

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 32 47 75 52 66 88 91 77 103 155 145 186 186 214 274 233 246 226 221 258 249 265 199 190 151 186 125 161 108 131 106

Public access

View all

6 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
Sam BaylessUniversity of British Columbia, Amazon Web ServicesVerified email at cs.ubc.ca
Steve WiltonElectrical and Computer Engineering, University of British Columbia, V6T 1Z4Verified email at ece.ubc.ca
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerified email at cs.rwth-aachen.de
Flavio M de PaulaMicrosoftVerified email at cs.ubc.ca
Zvonimir RakamaricAmazon Web Services (AWS)Verified email at amazon.com
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
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Amir NahirAppleVerified email at apple.com
Masahiro FujitaUniversity of TokyoVerified email at ee.t.u-tokyo.ac.jp
Avi ZivResearch Staff Member, IBMVerified email at il.ibm.com
Frank HutterELLIS Institute & Professor, 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	662	1992
SPUDD: Stochastic planning using decision diagrams J Hoey, R St-Aubin, A Hu, C Boutilier arXiv preprint arXiv:1301.6704, 2013	629	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	403	2006
Calysto: scalable and precise extended static checking D Babic, AJ Hu Proceedings of the 30th international conference on Software engineering …, 2008	200	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	194	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	141	1992
Monitor-based formal specification of PCI K Shimizu, DL Dill, AJ Hu Formal Methods in Computer-Aided Design: Third International Conference …, 2000	125	2000
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
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	108	2008
Reducing BDD size by exploiting functional dependencies AJ Hu, DL Dill Proceedings of the 30th international Design Automation Conference, 266-271, 1993	97	1993
Structural abstraction of software verification conditions D Babić, AJ Hu Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	95	2007
Formal hardware verification with BDDs: An introduction AJ Hu 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997	87	1997
Automatic formal verification of DSP software DW Currie, AJ Hu, S Rajan Proceedings of the 37th Annual Design Automation Conference, 130-135, 2000	79	2000
BDDNOW: a parallel BDD package K Milvang-Jensen, AJ Hu International Conference on Formal Methods in Computer-Aided Design, 501-507, 1998	78	1998
Techniques for efficient formal verification using binary decision diagrams AJ Hu stanford university, 1996	78	1996
Reachability analysis for AWS-based networks J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	77	2019
Fixing races for fun and profit: how to use access (2). D Dean, AJ Hu USENIX security symposium, 195-206, 2004	76	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	75	2002
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	75	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	72	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