Alan J. Hu
发表
Alan J. Hu,
Flavio M. de Paula,
Marcel Gort,
2008,
2008 Ninth International Workshop on Microprocessor Test and Verification.
Alan J. Hu,
Andrew K. Martin,
2007,
FMCAD.
Alan J. Hu,
Xiushan Feng,
2006,
2006 43rd ACM/IEEE Design Automation Conference.
Alan J. Hu,
Domagoj Babic,
Jesse D. Bingham,
2005,
Proceedings. 42nd Design Automation Conference, 2005..
Jesse Hoey,
Alan J. Hu,
Craig Boutilier,
1999,
UAI.
Alan J. Hu,
Jesse D. Bingham,
A. Hu,
2002,
CAV.
Alan J. Hu,
João Lourenço,
Yoav Hollander,
2010,
Haifa Verification Conference.
Alan J. Hu,
Sandeep K. Shukla,
Avner Landver,
2006,
2006 IEEE International High Level Design Validation and Test Workshop.
Alan J. Hu,
Holger H. Hoos,
Thomas Ball,
2013,
2013 Formal Methods in Computer-Aided Design.
Alan J. Hu,
Flavio M. de Paula,
2006,
2006 IEEE International High Level Design Validation and Test Workshop.
Alan J. Hu,
Domagoj Babic,
A. Hu,
2007,
CAV.
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Alan J. Hu,
Rui Li,
Son T. Vuong,
1999,
FORTE.
Alan J. Hu,
Flavio M. de Paula,
Marcel Gort,
2008,
2008 Formal Methods in Computer-Aided Design.
Alan J. Hu,
Moshe Y. Vardi,
1998
.
Alan J. Hu,
André Ivanov,
Kyle Balston,
2011,
2011 IEEE International High Level Design Validation and Test Workshop.
Alan J. Hu,
Domagoj Babic,
2005,
ASP-DAC.
Alan J. Hu,
Milo M. K. Martin,
David A. Wood,
2005,
11th International Symposium on High-Performance Computer Architecture.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2017,
IJCAI.
Alan J. Hu,
2006,
2006 IEEE International High Level Design Validation and Test Workshop.
Alan J. Hu,
David L. Dill,
Gary York,
1994,
31st Design Automation Conference.
Alan J. Hu,
Temesghen Kahsai,
John D. Backes,
2019,
CAV.
Alan J. Hu,
Sreeranga P. Rajan,
David W. Currie,
2000,
DAC.
Alan J. Hu,
Jin Yang,
Jeremy Casas,
2003,
CHARME.
Alan J. Hu,
Anne Condon,
Jesse D. Bingham,
2004,
CAV.
Alan J. Hu,
Anne Condon,
2003,
Theory of Computing Systems.
Alan J. Hu,
Domagoj Babic,
A. Hu,
2009,
International Journal on Software Tools for Technology Transfer.
Alan J. Hu,
Holger H. Hoos,
Frank Hutter,
2007
.
Alan J. Hu,
Masahiro Fujita,
Sreeranga P. Rajan,
1998,
FM-Trends.
Alan J. Hu,
Domagoj Babic,
A. Hu,
2008,
ICSE.
Alan J. Hu,
Sam Bayless,
2012,
SAT.
Alan J. Hu,
Jesse D. Bingham,
A. Hu,
2005,
TACAS.
Alan J. Hu,
Jin Yang,
Kelvin Ng,
2004,
IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..
Alan J. Hu,
Hana Chockler,
2011,
International Journal on Software Tools for Technology Transfer.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2018,
ANCS.
Alan J. Hu,
Alvin R. Albrecht,
2001,
CHARME.
Alan J. Hu,
Marcio T. Oliveira,
2002,
DAC '02.
Daniel Kroening,
Alan J. Hu,
Koen Claessen,
2009
.
Alan J. Hu,
Kim Milvang-Jensen,
A. Hu,
1998,
FMCAD.
Alan J. Hu,
Zvonimir Rakamaric,
Jesse D. Bingham,
2007,
VMCAI.
Alan J. Hu,
Flavio M. de Paula,
Amir Nahir,
2012,
CAV.
Alan J. Hu,
Zvonimir Rakamaric,
2008,
2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Alan J. Hu,
Domagoj Babic,
Jesse D. Bingham,
2006,
IEEE Transactions on Computers.
Alan J. Hu,
Steven J. E. Wilton,
Amir Nahir,
2012,
2012 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Alan J. Hu,
Drew Dean,
A. Hu,
2004,
USENIX Security Symposium.
Alan J. Hu,
Zvonimir Rakamaric,
A. Hu,
2008,
VMCAI.
Alan J. Hu,
Mark Horowitz,
David L. Dill,
1998,
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
Alan J. Hu,
Flavio M. de Paula,
Marcel Gort,
2012,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2018,
ANCS.
Alan J. Hu,
2009,
2009 International Conference on Communications, Circuits and Systems.
Alan J. Hu,
André Ivanov,
Steven J. E. Wilton,
2013,
IEEE Transactions on Computers.
Alan J. Hu,
André Ivanov,
Andreas G. Veneris,
2012,
GLSVLSI '12.
Alan J. Hu,
Marcio T. Oliveira,
2002
.
Alan J. Hu,
Anne Condon,
Jesse D. Bingham,
2003,
SPAA '03.
Alan J. Hu,
Avi Ziv,
Francine Bacchini,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Alan J. Hu,
André Ivanov,
Maryam S. Mirian,
2015,
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Alan J. Hu,
Zvonimir Rakamaric,
Naghmeh Ghafari,
2010,
SPIN.
Alan J. Hu,
David L. Dill,
Kanna Shimizu,
2000,
FMCAD.
Alan J. Hu,
2005,
Computing.
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook,
2013,
Formal Aspects of Computing.
Alan J. Hu,
Anne Condon,
2001,
SPAA '01.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2020,
Artif. Intell..
Alan J. Hu,
William Aiello,
Sam Bayless,
2016,
2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Alan J. Hu,
Moshe Y. Vardi,
1998,
CAV 1998.
Alan J. Hu,
Avi Ziv,
Valeria Bertacco,
2010,
Design Automation Conference.
Alan J. Hu,
Sam Bayless,
Tobias Klenze,
2016,
CAV.
Alan J. Hu,
Domagoj Babic,
Jesse D. Bingham,
2005,
Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..
Alan J. Hu,
David L. Dill,
1993,
30th ACM/IEEE Design Automation Conference.
Alan J. Hu,
David L. Dill,
1993,
CAV.
Alan J. Hu,
Jin Yang,
Xiushan Feng,
2005,
ASP-DAC.
Alan J. Hu,
Hana Chockler,
2009,
Haifa Verification Conference.
Alan J. Hu,
Masahiro Fujita,
Chris Wilson,
1997,
Proceedings International Conference on Computer Design VLSI in Computers and Processors.
Alan J. Hu,
Holger H. Hoos,
Sam Bayless,
2014,
AAAI.
Alan J. Hu,
David L. Dill,
Howard Wong-Toi,
1991,
CAV.
Alan J. Hu,
Hana Chockler,
2009
.
Rolf Drechsler,
Alan J. Hu,
Alex Goryachev,
2014,
DATE.
Alan J. Hu,
Xiushan Feng,
2002,
LCTES/SCOPES '02.
Alan J. Hu,
Brian D. Winters,
2000,
Proceedings 2000 International Conference on Computer Design.
Alan J. Hu,
Masahiro Fujita,
Xiushan Feng,
2006,
International Journal of Parallel Programming.
Alan J. Hu,
Jeremy Casas,
Jin Yang,
2003,
ICCAD 2003.
Alan J. Hu,
Yinghua Min,
A. Hu,
2005,
Asia and South Pacific Design Automation Conference.
Alan J. Hu,
Joel R. Phillips,
Helmut Graeb,
2011,
ICCAD 2011.
Alan J. Hu,
Frank Piessens,
Franz Wotawa,
2007,
SEFM.
Alan J. Hu,
Zvonimir Rakamaric,
Roberto Bruttomesso,
2007,
ATVA.
Alan J. Hu,
Holger H. Hoos,
Sam Bayless,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Alan J. Hu,
Domagoj Babic,
A. Hu,
2007,
Haifa Verification Conference.
Ján Manuch,
Alan J. Hu,
Anne Condon,
2011,
DNA.
Alan J. Hu,
Steven J. E. Wilton,
Paul D. Kundarewich,
1999
.
Alan J. Hu,
Flavio M. de Paula,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Shahriar Mirabbasi,
Guy Lemieux,
Alan J. Hu,
2006,
Proceedings of the IEEE.
Alan J. Hu,
2006
.
Alan J. Hu,
David L. Dill,
C. Han Yang,
1992,
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Alan J. Hu,
Andrew K. Martin,
A. Hu,
2004,
Lecture Notes in Computer Science.
Alan J. Hu,
Jin Yang,
Jeremy Casas,
2003,
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).
Alan J. Hu,
Chia-Chih Yen,
Jing-Yang Jou,
2014,
TODE.
Alan J. Hu,
Anne Condon,
Tim Braun,
2001,
Sixth IEEE International High-Level Design Validation and Test Workshop.
Alan J. Hu,
Xiushan Feng,
2005,
EMSOFT.
Alan J. Hu,
2007,
Haifa Verification Conference.
Alan J. Hu,
Rajeev K. Ranjan,
2001,
ICCAD 2001.
Alan J. Hu,
Holger H. Hoos,
Frank Hutter,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Alan J. Hu,
David L. Dill,
C. Han Yang,
1992,
CAV.
Alan J. Hu,
1997,
1997 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM. 10 Years Networking the Pacific Rim, 1987-1997.
Ivan Beschastnikh,
Alan J. Hu,
Margo Seltzer,
2022,
2201.04322.
Alan J. Hu,
Guy G. F. Lemieux,
May Young,
2021,
LCTES.
Alan J. Hu,
Zvonimir Rakamarić,
Jesse D. Bingham,
2006
.
Alan J. Hu,
Alan John Hu,
A. Hu,
1995
.
Alan J. Hu,
F. Hutter,
H. Hoos,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Alan J. Hu,
Xiushan Feng,
A.J. Hu,
2005,
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
Alan J. Hu,
Syed M. Iqbal,
S. Bergsma,
2022,
SoCC.