Thomas Wies

Citado por

	Total	Desde 2019
Citas	2435	875
Índice h	29	16
Índice i10	49	28

220

110

165

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

Acceso público

Ver todo

26 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsDirección de correo verificada de mpi-sws.org
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityDirección de correo verificada de informatik.uni-freiburg.de
Siddharth KrishnaIndependent ResearcherDirección de correo verificada de cs.nyu.edu
Viktor KunčakEPFLDirección de correo verificada de epfl.ch
Martin SchaefAmazon Web ServicesDirección de correo verificada de amazon.com
Ruzica PiskacProfessorDirección de correo verificada de yale.edu
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSDirección de correo verificada de courant.nyu.edu
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityDirección de correo verificada de cs.nyu.edu
Zvonimir PavlinovicPhD student, New York UniversityDirección de correo verificada de cs.nyu.edu
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSDirección de correo verificada de amazon.com
martin rinardMITDirección de correo verificada de lcs.mit.edu
vasu singhDirección de correo verificada de bmw.de
Prateek MittalProfessor, Princeton UniversityDirección de correo verificada de princeton.edu
Tim KingGoogle IncDirección de correo verificada de google.com
Anmol SinghBMW GroupDirección de correo verificada de bmw.de
Michael WalfishProfessor of Computer Science, NYUDirección de correo verificada de cs.nyu.edu
Hongseok YangProfessor, School of Computing, KAISTDirección de correo verificada de kaist.ac.kr
Peter O'HearnLacework and University College LondonDirección de correo verificada de ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonDirección de correo verificada de cs.ucl.ac.uk

Seguir

Thomas Wies

New York University

Dirección de correo verificada de cs.nyu.edu - Página principal

Programming Languages Verification Static Analysis Automated Deduction Software Engineering


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	302	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	166	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	99	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	82	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	60	2014
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2013	60	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores