Sam Bayless
发表
Alan J. Hu,
Holger H. Hoos,
Thomas Ball,
2013,
2013 Formal Methods in Computer-Aided Design.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2017,
IJCAI.
Alan J. Hu,
Temesghen Kahsai,
John D. Backes,
2019,
CAV.
Alan J. Hu,
Sam Bayless,
2012,
SAT.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2018,
ANCS.
Holger H. Hoos,
Sam Bayless,
Dave A. D. Tompkins,
2014,
LION.
Ivan Beschastnikh,
Alan J. Hu,
Holger H. Hoos,
2018,
ANCS.
Marius Thomas Lindauer,
Kevin Leyton-Brown,
Holger H. Hoos,
2015,
Artif. Intell..
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,
Sam Bayless,
Tobias Klenze,
2016,
CAV.
Sam Bayless,
Ian Obermiller,
2012,
MobileGames '12.
Alan J. Hu,
Holger H. Hoos,
Sam Bayless,
2014,
AAAI.
Alan J. Hu,
Holger H. Hoos,
Sam Bayless,
2016,
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Alan J. Hu,
Chia-Chih Yen,
Jing-Yang Jou,
2014,
TODE.
John D. Backes,
Sam Bayless,
D. DaCosta,
2021,
CAV.