Thomas Wies
New York University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Distributed systems and fault tolerance, Software Engineering Research
Most-Cited Works
- → Shape Analysis for Composite Data Structures(2007)196 cited
- → Automating Separation Logic Using SMT(2013)117 cited
- → Boolean Heaps(2005)71 cited
- → Automating Separation Logic with Trees and Data(2014)68 cited
- → GRASShopper(2014)58 cited
- → Full Accounting for Verifiable Outsourcing(2017)49 cited
- → FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment(2010)45 cited
- → Finding minimum type error sources(2014)43 cited
- → Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms(2016)40 cited
- → Forward Analysis of Depth-Bounded Processes(2010)40 cited