Thomas Wies
Author
Alternate name Thomas Wies
Institution New York University
Past institutions New York University, Courant Institute of Mathematical Sciences, York University, New York University Florence, Technion – Israel Institute of Technology +5 more
ORCID: Yes
H-index: 24
I10-index: 48
Works count: 138
Citations count: 1,723
Shape Analysis for Composite Data Structures
2007 · Josh Berdine, Cristiano Calcagno, et al. · Computer Aided Verification
Automating Separation Logic Using SMT
2013 · Ružica Piskač, Thomas Wies, et al. · Lecture notes in computer science
Boolean Heaps
2005 · Andreas Podelski, Thomas Wies · Lecture notes in computer science