Thomas Wies

Cited by

	All	Since 2018
Citations	2144	726
h-index	27	16
i10-index	46	23

220

110

165

200520062007200820092010201120122013201420152016201720182019202020212022202312 28 52 66 79 101 101 105 141 147 184 208 154 147 129 151 141 148 9

Public access

View all

21 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Viktor KunčakEPFLVerified email at epfl.ch
Ruzica PiskacAssociate ProfessorVerified email at yale.edu
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerified email at courant.nyu.edu
Siddharth KrishnaMicrosoft ResearchVerified email at cs.nyu.edu
Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityVerified email at cs.nyu.edu
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
martin rinardMITVerified email at lcs.mit.edu
Zvonimir PavlinovicPhD student, New York UniversityVerified email at cs.nyu.edu
vasu singhVerified email at bmw.de
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Tim KingGoogle IncVerified email at google.com
Michael WalfishProfessor of Computer Science, NYUVerified email at cs.nyu.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk

Thomas Wies

New York University

Verified email at cs.nyu.edu - Homepage

Programming Languages Verification Static Analysis Automated Deduction Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Shape analysis for composite data structures J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ... Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	288	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	144	2013
Boolean heaps A Podelski, T Wies Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	92	2005
GRASShopper Complete Heap Verification with Mixed Specifications R Piskac, T Wies, D Zufferey Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	90	2014
Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	85	2014
Full accounting for verifiable outsourcing RS Wahby, Y Ji, AJ Blumberg, A Shelat, J Thaler, M Walfish, T Wies Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	76	2017
Error invariants E Ermis, M Schäf, T Wies FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012	75	2012
Using first-order theorem provers in the Jahob data structure verification system C Bouillaguet, V Kuncak, T Wies, K Zee, M Rinard Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007	69	2007
Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006	65	2006
FlexPRICE: Flexible provisioning of resources in a cloud environment TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey 2010 IEEE 3rd International Conference on Cloud Computing, 83-90, 2010	63	2010
Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger Foundations of Software Science and Computational Structures: 13th …, 2010	57	2010
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	56	2013
Abstraction refinement for quantified array assertions MN Seghir, A Podelski, T Wies Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009	51	2009
Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014	47	2014
Combining theories with shared set operations T Wies, R Piskac, V Kuncak Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009 …, 2009	46	2009
Counterexample-guided focus A Podelski, T Wies Acm Sigplan Notices 45 (1), 249-260, 2010	40	2010
Symbolic shape analysis. T Wies, A Podelski University of Freiburg, 2009	40	2009
An efficient decision procedure for imperative tree data structures T Wies, M Muniz, V Kuncak Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	39	2011
Learning privacy expectations by crowdsourcing contextual informational norms Y Shvartzshnaider, S Tong, T Wies, P Kift, H Nissenbaum, L Subramanian, ... Fourth AAAI conference on human computation and crowdsourcing, 2016	37	2016
Ideal abstractions for well-structured transition systems D Zufferey, T Wies, TA Henzinger Verification, Model Checking, and Abstract Interpretation: 13th …, 2012	35	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors