Statistics
Publications
4
Citations
316
H-Index
4
Active since
2014
Affiliations
Carnegie Mellon University(Current)
William Klieber is an author at Carnegie Mellon University specializing in computing, computer science, and cybersecurity.
Publications per year
2014–2018
4
4
Android taint flow analysis for app sets
William Klieber, Lori Flynn, Amar Bhosale et al. · 2014 · 198 citations
Solving QBF with counterexample guided refinement
Mikoláš Janota, William Klieber, João Marques‐Silva et al. · Artificial Intelligence · 2016 · 88 citations
Practical Precise Taint-flow Static Analysis for Android App Sets
William Klieber, Lori Flynn, Will Snavely et al. · 2018 · 18 citations · Full text
On Conflicts and Strategies in QBF
Nikolaj Bjørner, Mikoláš Janota, William Klieber · EPiC series in computing · 2018 · 12 citations · Full text
1–4 of 4