Alan J. Hu

Citado por

	Total	Desde 2019
Citas	4997	846
Índice h	35	15
Índice i10	66	22

280

140

210

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 32 47 75 52 66 88 91 77 103 155 145 186 186 214 273 231 247 228 219 260 249 265 199 190 151 186 125 160 109 132 134

Acceso público

Ver todo

6 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Domagoj BabicGoogle, Inc.Dirección de correo verificada de cs.berkeley.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
Sam BaylessUniversity of British Columbia, Amazon Web ServicesDirección de correo verificada de cs.ubc.ca
Steve WiltonElectrical and Computer Engineering, University of British Columbia, V6T 1Z4Dirección de correo verificada de ece.ubc.ca
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaDirección de correo verificada de cs.rwth-aachen.de
Flavio M de PaulaMicrosoftDirección de correo verificada de cs.ubc.ca
Zvonimir RakamaricAmazon Web Services (AWS)Dirección de correo verificada de amazon.com
Anne CondonProfessor of Computer Science, University of British ColumbiaDirección de correo verificada de cs.ubc.ca
Guy LemieuxFaculty of Applied Science, University of British Columbia, V6T 1Z4Dirección de correo verificada de ece.ubc.ca
Craig BoutilierPrincipal Scientist, GoogleDirección de correo verificada de google.com
Jesse HoeyProfessor of Computer Science, University of WaterlooDirección de correo verificada de cs.uwaterloo.ca
Shahriar MirabbasiUniversity of British ColumbiaDirección de correo verificada de ece.ubc.ca
Partha PandeWashington State UniversityDirección de correo verificada de wsu.edu
Cristian GrecuUniversity of British ColumbiaDirección de correo verificada de ece.ubc.ca
Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk
Amir NahirAppleDirección de correo verificada de apple.com
Masahiro FujitaUniversity of TokyoDirección de correo verificada de ee.t.u-tokyo.ac.jp
Avi ZivResearch Staff Member, IBMDirección de correo verificada de il.ibm.com
Frank HutterELLIS Institute Tübingen & Professor, University of Freiburg, GermanyDirección de correo verificada de cs.uni-freiburg.de
Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu

Seguir

Alan J. Hu

Professor of Computer Science, University of British Columbia

Dirección de correo verificada de cs.ubc.ca - Página principal


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	663	1992
SPUDD: Stochastic planning using decision diagrams J Hoey, R St-Aubin, A Hu, C Boutilier arXiv preprint arXiv:1301.6704, 2013	631	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	406	2006
Calysto: scalable and precise extended static checking D Babic, AJ Hu Proceedings of the 30th international conference on Software engineering …, 2008	203	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	195	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	109	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	94	2007
Formal hardware verification with BDDs: An introduction AJ Hu 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997	89	1997
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	81	2019
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	79	1998
Fixing races for fun and profit: how to use access (2). D Dean, AJ Hu USENIX security symposium, 195-206, 2004	78	2004
Techniques for efficient formal verification using binary decision diagrams AJ Hu stanford university, 1996	78	1996
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores