William Klieber
发表
William Klieber,
2019
.
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2012,
SAT.
Mikolás Janota,
Nikolaj Bjørner,
William Klieber,
2015,
LPAR.
William Klieber,
William Klieber,
2014
.
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2013,
CP.
David Svoboda,
William Klieber,
Will Snavely,
2018,
2018 IEEE Cybersecurity Development (SecDev).
Lujo Bauer,
David Svoboda,
Limin Jia,
2013
.
William Klieber,
Lori Flynn,
2015,
IEEE Pervasive Computing.
William Snavely,
Wei Shen,
William Klieber,
2015
.
Mikolás Janota,
Joao Marques-Silva,
Edmund M. Clarke,
2012,
SAT.
William Snavely,
Hongli Yin,
William Klieber,
2017
.
William Klieber,
Ravi Deo,
James VanGaasbeek,
2005
.
Edmund M. Clarke,
Sicun Gao,
Samir Sapra,
2010,
SAT.
Edmund M. Clarke,
Paolo Zuliani,
William Klieber,
2011,
LASER Summer School.
William Klieber,
Lori Flynn,
Michael Zheng,
2018,
ARES.
Lujo Bauer,
Limin Jia,
William Klieber,
2014,
SOAP '14.
William Klieber,
Will Snavely,
2016,
2016 IEEE Cybersecurity Development (SecDev).
William Klieber,
2019,
J. Satisf. Boolean Model. Comput..
Ruben Martins,
William Klieber,
Ryan Steele,
2021,
2021 IEEE/ACM International Workshop on Automated Program Repair (APR).