Thomas Wies

Cited by

	All	Since 2016
Citations	1894	811
h-index	26	15
i10-index	41	24

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202112 32 56 69 82 105 106 106 143 144 188 202 153 143 122 142 49

Public access

View all

13 articles

1 article

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
Viktor KunčakEPFLVerified email at epfl.ch
Martin SchäfAmazon Web ServicesVerified email at amazon.com
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Ruzica PiskacAssociate Professor (on term) of Computer Science, Yale UniversityVerified email at yale.edu
vasu singhVerified email at bmw.de
martin rinardMITVerified email at lcs.mit.edu
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
Zvonimir PavlinovicPhD student, New York UniversityVerified email at cs.nyu.edu
Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityVerified email at cs.nyu.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Peter O'HearnFacebook and University College LondonVerified email at ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Dino DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Josh BerdineFacebookVerified email at fb.com
Siddharth KrishnaMicrosoft ResearchVerified email at cs.nyu.edu
Tim KingGoogle IncVerified email at google.com
Prateek MittalAssociate Professor, Princeton UniversityVerified email at princeton.edu
Clark BarrettStanford UniversityVerified email at cs.stanford.edu

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, ... International Conference on Computer Aided Verification, 178-192, 2007	272	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey International Conference on Computer Aided Verification, 773-789, 2013	125	2013
Boolean heaps A Podelski, T Wies International Static Analysis Symposium, 268-283, 2005	94	2005
Automating separation logic with trees and data R Piskac, T Wies, D Zufferey International Conference on Computer Aided Verification, 711-728, 2014	70	2014
Error invariants E Ermis, M Schäf, T Wies International Symposium on Formal Methods, 187-201, 2012	70	2012
GRASShopper R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014	66	2014
Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard International Workshop on Verification, Model Checking, and Abstract …, 2006	66	2006
Using first-order theorem provers in the Jahob data structure verification system C Bouillaguet, V Kuncak, T Wies, K Zee, M Rinard International Workshop on Verification, Model Checking, and Abstract …, 2007	65	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
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	62	2017
Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger International Conference on Foundations of Software Science and …, 2010	56	2010
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2013	49	2013
Abstraction refinement for quantified array assertions MN Seghir, A Podelski, T Wies International Static Analysis Symposium, 3-18, 2009	48	2009
Combining theories with shared set operations T Wies, R Piskac, V Kuncak International Symposium on Frontiers of Combining Systems, 366-382, 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
Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014	38	2014
An efficient decision procedure for imperative tree data structures T Wies, M Muñiz, V Kuncak International Conference on Automated Deduction, 476-491, 2011	37	2011
Ideal abstractions for well-structured transition systems D Zufferey, T Wies, TA Henzinger International Workshop on Verification, Model Checking, and Abstract …, 2012	34	2012
Heap assumptions on demand A Podelski, A Rybalchenko, T Wies International Conference on Computer Aided Verification, 314-327, 2008	34	2008

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

Upload PDF

Follow this author

Cited by

Co-authors