Thomas Wies

Full Accounting for Verifiable Outsourcing

Riad S. Wahby, Ye Ji, Andrew J. Blumberg et al. · 2017 · 51 citations · Full text

Public Affairs, Computer Systems, Economics +10

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh et al. · 2010 · 45 citations · Full text

Computing, Cloud Computing, Computer Science +17

Finding minimum type error sources

Zvonimir Pavlinovic, Tim L. King, Thomas Wies · 2014 · 43 citations

Computing, Computer Science, Algorithms +13

Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms

Yan Shvartzshnaider, Schrasing Tong, Thomas Wies et al. · Proceedings of the AAAI Conference on Human Computation and Crowdsourcing · 2016 · 41 citations · Full text

Computing, Computer Science, Data Ethics +13

Counterexample-guided focus

Andreas Podelski, Thomas Wies · 2010 · 33 citations · Full text

Computing, Computer Science, Algorithms +9