Concepedia

Walter Guttmann

WG

6

Publications

240

Citations

6

H-Index

2003

Active since

Affiliations

Universität Ulm(Current)

Walter Guttmann is an author at Universität Ulm specializing in engineering, social sciences, and architectural design.

Top concepts

EngineeringDesignSocial SciencesArchitectural DesignDiscrete MathematicsMathematical ProgrammingSecurityCryptographyGraph TheoryData Security

Publications per year

2003–2018

6

Publications

6

A framework for automating security analysis of the internet of things

Mengmeng Ge, Jin B. Hong, Walter Guttmann et al. · Journal of Network and Computer Applications · 2017 · 169 citations

Engineering, Information Security, Security Analysis +12

Normal design algebra

Walter Guttmann, Bernhard Möller · The Journal of Logic and Algebraic Programming · 2009 · 22 citations · Full text

Architectural Design, Algebraic Logic, Abstract Algebra +4

Tool Support for the Interactive Derivation of Formally Correct Functional Programs

Walter Guttmann, Helmuth Partsch, Wolfram Schulte et al. · OPen Access Repositorium der Universität Ulm (OPARU) (Ulm University) · 2003 · 16 citations · Full text

Extended designs algebraically

Walter Guttmann · Science of Computer Programming · 2012 · 11 citations

Mathematical Programming, Architectural Design, Engineering +7

Algebras for iteration and infinite computations

Walter Guttmann · Acta Informatica · 2012 · 11 citations

Applied Algebra, Abstract Algebra, Infinite Computations +1

Rows per page

1–5 of 6