Alan J. Hu

Navedeno

	Vse	Od leta 2020
Navedbe	5032	693
indeks h	35	13
indeks i10	67	16

280

140

210

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 29 45 75 51 68 81 93 76 106 159 146 187 188 213 272 232 243 229 221 263 248 267 200 191 160 177 128 161 107 134 144 19

Javni dostop

Prikaži vse

6 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Domagoj BabicGoogle, Inc.Preverjeni e-poštni naslov na cs.berkeley.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityPreverjeni e-poštni naslov na stanford.edu
Sam BaylessUniversity of British Columbia, Amazon Web ServicesPreverjeni e-poštni naslov na cs.ubc.ca
Steve WiltonElectrical and Computer Engineering, University of British Columbia, V6T 1Z4Preverjeni e-poštni naslov na ece.ubc.ca
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaPreverjeni e-poštni naslov na cs.rwth-aachen.de
Flavio M de PaulaMicrosoftPreverjeni e-poštni naslov na cs.ubc.ca
Zvonimir RakamaricAmazon Web Services (AWS)Preverjeni e-poštni naslov na amazon.com
Anne CondonProfessor of Computer Science, University of British ColumbiaPreverjeni e-poštni naslov na cs.ubc.ca
Guy LemieuxFaculty of Applied Science, University of British Columbia, V6T 1Z4Preverjeni e-poštni naslov na ece.ubc.ca
Craig BoutilierPrincipal Scientist, GooglePreverjeni e-poštni naslov na google.com
Jesse HoeyProfessor of Computer Science, University of WaterlooPreverjeni e-poštni naslov na cs.uwaterloo.ca
Shahriar MirabbasiUniversity of British ColumbiaPreverjeni e-poštni naslov na ece.ubc.ca
Partha PandeWashington State UniversityPreverjeni e-poštni naslov na wsu.edu
Cristian GrecuUniversity of British ColumbiaPreverjeni e-poštni naslov na ece.ubc.ca
Byron CookProfessor of Computer Science, UCL, AmazonPreverjeni e-poštni naslov na cs.ucl.ac.uk
Amir NahirApplePreverjeni e-poštni naslov na apple.com
Masahiro FujitaUniversity of TokyoPreverjeni e-poštni naslov na ee.t.u-tokyo.ac.jp
Avi ZivResearch Staff Member, IBMPreverjeni e-poštni naslov na il.ibm.com
Frank HutterELLIS Institute Tübingen & Professor, University of Freiburg, GermanyPreverjeni e-poštni naslov na cs.uni-freiburg.de
Alessandro CimattiFondazione Bruno KesslerPreverjeni e-poštni naslov na fbk.eu

Spremljaj

Alan J. Hu

Professor of Computer Science, University of British Columbia

Preverjeni e-poštni naslov na cs.ubc.ca - Domača stran


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Protocol verification as a hardware design aid. DL Dill, AJ Drexler, AJ Hu, CH Yang ICCD 92, 522-525, 1992	674	1992
SPUDD: Stochastic planning using decision diagrams J Hoey, R St-Aubin, A Hu, C Boutilier arXiv preprint arXiv:1301.6704, 2013	627	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	409	2006
Calysto: scalable and precise extended static checking D Babic, AJ Hu Proceedings of the 30th international conference on Software engineering …, 2008	205	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	199	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	145	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	125	2005
Monitor-based formal specification of PCI K Shimizu, DL Dill, AJ Hu Formal Methods in Computer-Aided Design: Third International Conference …, 2000	125	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	112	2008
Structural abstraction of software verification conditions D Babić, AJ Hu Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	95	2007
Reducing BDD size by exploiting functional dependencies AJ Hu, DL Dill Proceedings of the 30th international Design Automation Conference, 266-271, 1993	93	1993
Formal hardware verification with BDDs: An introduction AJ Hu 1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997	91	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	84	2019
Automatic formal verification of DSP software DW Currie, AJ Hu, S Rajan Proceedings of the 37th Annual Design Automation Conference, 130-135, 2000	80	2000
Fixing races for fun and profit: how to use access (2). D Dean, AJ Hu USENIX security symposium, 195-206, 2004	78	2004
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	76	1996
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	76	1994
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
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	70	1998

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji