DL Dill, AJ Drexler, AJ Hu, CH Yang

ICCD 92, 522-525, 1992

J Hoey, R St-Aubin, A Hu, C Boutilier

arXiv preprint arXiv:1301.6704, 2013

R Saleh, S Wilton, S Mirabbasi, A Hu, M Greenstreet, G Lemieux, ...

Proceedings of the IEEE 94 (6), 1050-1069, 2006

D Babic, AJ Hu

Proceedings of the 30th international conference on Software engineering …, 2008

F Hutter, D Babic, HH Hoos, AJ Hu

Formal Methods in Computer Aided Design (FMCAD'07), 27-34, 2007

DL Dill, AJ Hu, H Wong-Toi

Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992

MR Marty, JD Bingham, MD Hill, AJ Hu, MMK Martin, DA Wood

11th International Symposium on High-Performance Computer Architecture, 328-339, 2005

K Shimizu, DL Dill, AJ Hu

Formal Methods in Computer-Aided Design: Third International Conference …, 2000

FM De Paula, M Gort, AJ Hu, SJE Wilton, J Yang

2008 Formal Methods in Computer-Aided Design, 1-10, 2008

AJ Hu, DL Dill

Proceedings of the 30th international Design Automation Conference, 266-271, 1993

D Babić, AJ Hu

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007

AJ Hu

1997 IEEE Pacific Rim Conference on Communications, Computers and Signal …, 1997

DW Currie, AJ Hu, S Rajan

Proceedings of the 37th Annual Design Automation Conference, 130-135, 2000

K Milvang-Jensen, AJ Hu

International Conference on Formal Methods in Computer-Aided Design, 501-507, 1998

AJ Hu

stanford university, 1996

MT Oliveira, AJ Hu

Proceedings of the 39th annual Design Automation Conference, 129-134, 2002

AJ Hu, G York, DL Dill

Proceedings of the 31st Annual Design Automation Conference, 276-282, 1994

D Dean, AJ Hu

USENIX security symposium, 195-206, 2004

AJ Hu, DL Dill, AJ Drexler, CH Yang

Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993

J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ...

Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019