Werner Dietl
Scholar

Werner Dietl

Google Scholar ID: D_5-WrcAAAAJ
Electrical and Computer Engineering, University of Waterloo
programming languagesprogram verificationstatic analysissoftware engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,109
 
H-index
21
 
i10-index
29
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
Static Type Checking for Database Access Code
2026
Cited
0
Resume (English only)
Co-authors
10 total
Peter Müller
Peter Müller
ETH Zurich
Michael D. Ernst
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
Dan Grossman
Dan Grossman
Computer Science, University of Washington
Sophia Drossopoulou
Sophia Drossopoulou
Professor, Imperial College London
Co-author 5
Co-author 5
Adrian Sampson
Adrian Sampson
Computer Science, Cornell University
Ana Milanova
Ana Milanova
Rensselaer Polytechnic Institute
Co-author 8
Co-author 8