WD

Werner Dietl

University of Waterloo 0000-0002-9316-6952

50

Publications

1,944

Citations

17

h-index

22

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (33)
Book Chapter (11)
Other (5)
Dissertation (1)

Filter by Open Access Type

Open Access (16)
Closed Access (34)

Filter by Authors

Werner Dietl (50)
Michael D. Ernst (11)
Péter Müller (11)
Mattias Ulbrich (7)
Sophia Drossopoulou (6)

Filter by Topics

Logic, programming, and type systems (27)
Security and Verification in Computing (17)
Formal Methods in Verification (11)
Parallel Computing and Optimization Techniques (8)
Software Engineering Research (8)