Thomas Wies

Cited by

	All	Since 2019
Citations	2456	896
h-index	29	16
i10-index	49	28

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202120222023202412 28 52 64 83 103 102 104 139 143 179 204 154 147 129 155 136 143 169 162

Public access

View all

26 articles

1 article

available

not available

Based on funding mandates

Co-authors

Damien ZuffereyStatic Analysis Scientist, SonarSource S.A.Verified email at sonarsource.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Siddharth KrishnaIndependent ResearcherVerified email at cs.nyu.edu
Viktor KunčakEPFLVerified email at epfl.ch
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerified email at courant.nyu.edu
Ruzica PiskacProfessorVerified email at yale.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
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
Zvonimir PavlinovicPhD student, New York UniversityVerified email at cs.nyu.edu
martin rinardMITVerified email at lcs.mit.edu
vasu singhVerified email at bmw.de
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Tim KingGoogle IncVerified email at google.com
Anmol SinghBMW GroupVerified email at bmw.de
Michael WalfishProfessor of Computer Science, NYUVerified email at cs.nyu.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.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	303	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	167	2013
Grasshopper: complete heap verification with mixed specifications R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014	103	2014
Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	101	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	94	2017
Boolean heaps A Podelski, T Wies Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	92	2005
Error invariants E Ermis, M Schäf, T Wies International Symposium on Formal Methods, 187-201, 2012	83	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
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	64	2010
Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006	64	2006
Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014	63	2014
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2013	61	2013
Combining theories with shared set operations T Wies, R Piskac, V Kuncak International Symposium on Frontiers of Combining Systems, 366-382, 2009	56	2009
Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger Foundations of Software Science and Computational Structures: 13th …, 2010	55	2010
Learning privacy expectations by crowdsourcing contextual informational norms Y Shvartzshnaider, S Tong, T Wies, P Kift, H Nissenbaum, L Subramanian, ... Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 4 …, 2016	54	2016
Abstraction refinement for quantified array assertions MN Seghir, A Podelski, T Wies International Static Analysis Symposium, 3-18, 2009	54	2009
Learning invariants using decision trees S Krishna, C Puhrsch, T Wies arXiv preprint arXiv:1501.04725, 2015	41	2015
Symbolic shape analysis. T Wies, A Podelski University of Freiburg, 2009	41	2009
An efficient decision procedure for imperative tree data structures T Wies, M Muniz, V Kuncak International Conference on Automated Deduction, 476-491, 2011	40	2011
Counterexample-guided focus A Podelski, T Wies Acm Sigplan Notices 45 (1), 249-260, 2010	39	2010

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