Thomas Wies

Cited by

	All	Since 2016
Citations	1930	846
h-index	26	16
i10-index	42	26

220

110

165

2005200620072008200920102011201220132014201520162017201820192020202112 32 56 69 83 106 105 106 143 144 186 203 153 145 119 148 78

Public access

View all

14 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
Siddharth KrishnaMicrosoft ResearchVerified 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
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	274	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey International Conference on Computer Aided Verification, 773-789, 2013	126	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	72	2014
Error invariants E Ermis, M Schäf, T Wies International Symposium on Formal Methods, 187-201, 2012	71	2012
GRASShopper R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014	67	2014
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	66	2007
Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard International Workshop on Verification, Model Checking, and Abstract …, 2006	66	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	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	63	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	50	2013
Abstraction refinement for quantified array assertions MN Seghir, A Podelski, T Wies International Static Analysis Symposium, 3-18, 2009	50	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
Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014	40	2014
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 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

Follow this author

Cited by

Co-authors