Walter Guttmann
Author
Alternate names W Guttmann, Walter Guttmann
Institution University of Canterbury
Past institutions University of Canterbury, Universität Ulm, University of Sheffield, Universitätsmedizin Greifswald
ORCID: Yes
H-index: 11
I10-index: 13
Works count: 70
Citations count: 508
A framework for automating security analysis of the internet of things
2017 · Mengmeng Ge, Jin B. Hong, et al. · Journal of Network and Computer Applications
Variations on an Ordering Theme with Constraints
2006 · Walter Guttmann, Markus Maucher · Springer eBooks
Automating Algebraic Methods in Isabelle
2011 · Walter Guttmann, Georg Struth, et al. · Lecture notes in computer science