Thomas Wies

Cited by

	All	Since 2017
Citations	2056	783
h-index	26	15
i10-index	45	26

220

110

165

20052006200720082009201020112012201320142015201620172018201920202021202212 31 54 67 82 104 102 102 144 145 185 204 152 145 123 153 138 71

Public access

View all

18 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
Viktor KunčakEPFLVerified email at epfl.ch
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Thomas HenzingerISTAustriaVerified email at ist.ac.at
Ruzica PiskacAssociate ProfessorVerified email at yale.edu
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerified email at courant.nyu.edu
vasu singhVerified email at bmw.de
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
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 DistefanoFacebook and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Josh BerdineFacebookVerified email at fb.com
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
Tim KingGoogle IncVerified email at google.com

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	288	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey International Conference on Computer Aided Verification, 773-789, 2013	135	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	80	2014
GRASShopper R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014	77	2014
Error invariants E Ermis, M Schäf, T Wies International Symposium on Formal Methods, 187-201, 2012	73	2012
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	70	2017
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	70	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	63	2010
Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger International Conference on Foundations of Software Science and …, 2010	55	2010
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2013	53	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	44	2014
Symbolic shape analysis. T Wies, A Podelski University of Freiburg, 2009	41	2009
Counterexample-guided focus A Podelski, T Wies Acm Sigplan Notices 45 (1), 249-260, 2010	40	2010
An efficient decision procedure for imperative tree data structures T Wies, M Muñiz, V Kuncak International Conference on Automated Deduction, 476-491, 2011	39	2011
Ideal abstractions for well-structured transition systems D Zufferey, T Wies, TA Henzinger International Workshop on Verification, Model Checking, and Abstract …, 2012	35	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

Cited by

Co-authors