Walter Guttmann

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 37

Top Venues

Arch. Formal Proofs

RAMiCS

J. Log. Algebraic Methods Program.

CoRR

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Walter Guttmann
Relation-Algebraic Verification of Disjoint-Set Forests. Fundam. Informaticae 192 (1) (2024)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Determinism of multirelations. J. Log. Algebraic Methods Program. 139 (2024)
Walter Guttmann
Cardinality and Representation of Stone Relation Algebras. Arch. Formal Proofs 2023 (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
On the Inner Structure of Multirelations. CoRR (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Modal Algebra of Multirelations. CoRR (2023)
Roland Backhouse, Walter Guttmann, Michael Winter
An example of goal-directed proof. CoRR (2023)
Walter Guttmann
Relation-Algebraic Verification of Disjoint-Set Forests. CoRR (2023)
Walter Guttmann, Georg Struth
Inner Structure, Determinism and Modal Algebra of Multirelations. Arch. Formal Proofs 2023 (2023)
Hitoshi Furusawa, Walter Guttmann
Cardinality and Representation of Stone Relation Algebras. CoRR (2023)
Walter Guttmann
Dependences Between Domain Constructions in Heterogeneous Relation Algebras. RAMiCS (2023)
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Determinism of Multirelations. CoRR (2023)
Walter Guttmann
Second-Order Properties of Undirected Graphs. RAMiCS (2021)
Walter Guttmann, Nicolas Robinson-O'Brien
Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. RAMiCS (2021)
Walter Guttmann
Relational Forests. Arch. Formal Proofs 2021 (2021)
Walter Guttmann
Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations. Arch. Formal Proofs 2021 (2021)
Walter Guttmann, Peter Höfner
Relational Characterisations of Paths. Arch. Formal Proofs 2020 (2020)
Walter Guttmann
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. RAMiCS (2020)
Walter Guttmann, Bernhard Möller
A Hierarchy of Algebras for Boolean Subsets. Arch. Formal Proofs 2020 (2020)
Walter Guttmann
Relational Disjoint-Set Forests. Arch. Formal Proofs 2020 (2020)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational characterisations of paths. J. Log. Algebraic Methods Program. 117 (2020)
Walter Guttmann, Bernhard Möller
A Hierarchy of Algebras for Boolean Subsets. RAMiCS (2020)
Walter Guttmann
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL. IJCAR (2) (2020)
Walter Guttmann, Nicolas Robinson-O'Brien
Relational Minimum Spanning Tree Algorithms. Arch. Formal Proofs 2020 (2020)
Walter Guttmann
Connecting Fixpoints of Computations with Strict Progress. UTP (2019)
Walter Guttmann
Verifying minimum spanning tree algorithms with Stone relation algebras. J. Log. Algebraic Methods Program. 101 (2018)
Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
Relational Characterisations of Paths. CoRR (2018)
Walter Guttmann
An algebraic framework for minimum spanning tree problems. Theor. Comput. Sci. 744 (2018)
Walter Guttmann
Aggregation Algebras. Arch. Formal Proofs 2018 (2018)
Rudolf Berghammer, Walter Guttmann
An algebraic approach to multirelations and their properties. J. Log. Algebraic Methods Program. 88 (2017)
Walter Guttmann
Stone Relation Algebras. Arch. Formal Proofs 2017 (2017)
Walter Guttmann
Stone-Kleene Relation Algebras. Arch. Formal Proofs 2017 (2017)
Mengmeng Ge, Jin B. Hong, Walter Guttmann, Dong Seong Kim
A framework for automating security analysis of the internet of things. J. Netw. Comput. Appl. 83 (2017)
Walter Guttmann
Stone Relation Algebras. RAMiCS (2017)
Walter Guttmann
Stone Algebras. Arch. Formal Proofs 2016 (2016)
Walter Guttmann
Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. ICTAC (2016)
Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
Kleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
Walter Guttmann
An algebraic approach to computations with progress. J. Log. Algebraic Methods Program. 85 (4) (2016)
Walter Guttmann
Infinite executions of lazy and strict computations. J. Log. Algebraic Methods Program. 84 (3) (2015)
Rudolf Berghammer, Walter Guttmann
Closure, Properties and Closure Properties of Multirelations. RAMiCS (2015)
Rudolf Berghammer, Walter Guttmann
A Relation-Algebraic Approach to Multirelations and Predicate Transformers. MPC (2015)
Walter Guttmann
Algebras for correctness of sequential computations. Sci. Comput. Program. 85 (2014)
Walter Guttmann
Extended Conscriptions Algebraically. RAMiCS (2014)
Walter Guttmann
Multirelations with infinite computations. J. Log. Algebraic Methods Program. 83 (2) (2014)
Walter Guttmann
Extended designs algebraically. Sci. Comput. Program. 78 (11) (2013)
Walter Guttmann
Algebras for iteration and infinite computations. Acta Informatica 49 (5) (2012)
Walter Guttmann
Typing theorems of omega algebra. J. Log. Algebraic Methods Program. 81 (6) (2012)
Walter Guttmann
Unifying Correctness Statements. MPC (2012)
Walter Guttmann
Unifying Lazy and Strict Computations. RAMiCS (2012)
Walter Guttmann, Georg Struth, Tjark Weber
A Repository for Tarski-Kleene Algebras. ATE (2011)
Walter Guttmann, Georg Struth, Tjark Weber
Automating Algebraic Methods in Isabelle. ICFEM (2011)
Walter Guttmann
Towards a Typed Omega Algebra. RAMiCS (2011)
Walter Guttmann
Fixpoints for general correctness. J. Log. Algebraic Methods Program. 80 (6) (2011)
Walter Guttmann, Bernhard Möller
Normal design algebra. J. Log. Algebraic Methods Program. 79 (2) (2010)
Walter Guttmann
Imperative abstractions for functional actions. J. Log. Algebraic Methods Program. 79 (8) (2010)
Walter Guttmann
Partial, Total and General Correctness. MPC (2010)
Walter Guttmann
Unifying Recursion in Partial, Total and General Correctness. UTP (2010)
Walter Guttmann
General Correctness Algebra. RelMiCS (2009)
Jens Kohlmeyer, Walter Guttmann
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. Ershov Memorial Conference (2009)
Walter Guttmann
Lazy Relations. RelMiCS (2008)
Walter Guttmann
Lazy UTP. UTP (2008)
Walter Guttmann
Algebraic Foundations of the Unifying Theories of Programming. Ausgezeichnete Informatikdissertationen (2007)
Walter Guttmann, Markus Maucher
Variations on an Ordering Theme with Constraints. IFIP TCS (2006)
Stefan Sarstedt, Walter Guttmann
An ASM Semantics of Token Flow in UML 2 Activity Diagrams. Ershov Memorial Conference (2006)
Walter Guttmann, Bernhard Möller
Modal Design Algebra. UTP (2006)
Walter Guttmann
Non-termination in Unifying Theories of Programming. RelMiCS (2005)
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. Univers. Comput. Sci. 9 (2) (2003)

Walter Guttmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Walter Guttmann