Tool Support for the Interactive Derivation of Formally Correct Functional Programs. - Walter Guttmann; Helmuth Partsch; Wolfram Schulte; Ton Vullinghs (J. Univers. Comput. Sci., 2003)

Non-termination in Unifying Theories of Programming. - Walter Guttmann (RelMiCS, 2005)

An ASM Semantics of Token Flow in UML 2 Activity Diagrams. - Stefan Sarstedt; Walter Guttmann (Ershov Memorial Conference, 2006)

Variations on an Ordering Theme with Constraints. - Walter Guttmann; Markus Maucher (IFIP TCS, 2006)

Modal Design Algebra. - Walter Guttmann; Bernhard Möller (UTP, 2006)

Algebraic foundations of the unifying theories of programming. - Walter Guttmann (2007)

Algebraic Foundations of the Unifying Theories of Programming. - Walter Guttmann (Ausgezeichnete Informatikdissertationen, 2007)

Lazy Relations. - Walter Guttmann (RelMiCS, 2008)

Lazy UTP. - Walter Guttmann (UTP, 2008)

General Correctness Algebra. - Walter Guttmann (RelMiCS, 2009)

Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. - Jens Kohlmeyer; Walter Guttmann (Ershov Memorial Conference, 2009)

Partial, Total and General Correctness. - Walter Guttmann (MPC, 2010)

Unifying Recursion in Partial, Total and General Correctness. - Walter Guttmann (UTP, 2010)

Imperative abstractions for functional actions. - Walter Guttmann (J. Log. Algebraic Methods Program., 2010)

Normal design algebra. - Walter Guttmann; Bernhard Möller (J. Log. Algebraic Methods Program., 2010)

Towards a Typed Omega Algebra. - Walter Guttmann (RAMiCS, 2011)

A Repository for Tarski-Kleene Algebras. - Walter Guttmann; Georg Struth; Tjark Weber (ATE, 2011)

Automating Algebraic Methods in Isabelle. - Walter Guttmann; Georg Struth; Tjark Weber (ICFEM, 2011)

Fixpoints for general correctness. - Walter Guttmann (J. Log. Algebraic Methods Program., 2011)

Unifying Lazy and Strict Computations. - Walter Guttmann (RAMiCS, 2012)

Unifying Correctness Statements. - Walter Guttmann (MPC, 2012)

Algebras for iteration and infinite computations. - Walter Guttmann (Acta Informatica, 2012)

Typing theorems of omega algebra. - Walter Guttmann (J. Log. Algebraic Methods Program., 2012)

Extended designs algebraically. - Walter Guttmann (Sci. Comput. Program., 2013)

Extended Conscriptions Algebraically. - Walter Guttmann (RAMiCS, 2014)

Multirelations with infinite computations. - Walter Guttmann (J. Log. Algebraic Methods Program., 2014)

Algebras for correctness of sequential computations. - Walter Guttmann (Sci. Comput. Program., 2014)

Closure, Properties and Closure Properties of Multirelations. - Rudolf Berghammer; Walter Guttmann (RAMiCS, 2015)

A Relation-Algebraic Approach to Multirelations and Predicate Transformers. - Rudolf Berghammer; Walter Guttmann (MPC, 2015)

Infinite executions of lazy and strict computations. - Walter Guttmann (J. Log. Algebraic Methods Program., 2015)

Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. - Walter Guttmann (ICTAC, 2016)

Kleene Algebras with Domain. - Victor B. F. Gomes; Walter Guttmann; Peter Höfner; Georg Struth; Tjark Weber (Arch. Formal Proofs, 2016)

Stone Algebras. - Walter Guttmann (Arch. Formal Proofs, 2016)

An algebraic approach to computations with progress. - Walter Guttmann (J. Log. Algebraic Methods Program., 2016)

Stone Relation Algebras. - Walter Guttmann (Arch. Formal Proofs, 2017)

Stone-Kleene Relation Algebras. - Walter Guttmann (Arch. Formal Proofs, 2017)

An algebraic approach to multirelations and their properties. - Rudolf Berghammer; Walter Guttmann (J. Log. Algebraic Methods Program., 2017)

A framework for automating security analysis of the internet of things. - Mengmeng Ge 001; Jin B. Hong; Walter Guttmann; Dong Seong Kim 001 (J. Netw. Comput. Appl., 2017)

Aggregation Algebras. - Walter Guttmann (Arch. Formal Proofs, 2018)

Verifying minimum spanning tree algorithms with Stone relation algebras. - Walter Guttmann (J. Log. Algebraic Methods Program., 2018)

An algebraic framework for minimum spanning tree problems. - Walter Guttmann (Theor. Comput. Sci., 2018)

Connecting Fixpoints of Computations with Strict Progress. - Walter Guttmann (UTP, 2019)

Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. - Walter Guttmann (RAMiCS, 2020)

Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL. - Walter Guttmann (IJCAR (2), 2020)

Relational Disjoint-Set Forests. - Walter Guttmann (Arch. Formal Proofs, 2020)

Relational Characterisations of Paths. - Walter Guttmann; Peter Höfner (Arch. Formal Proofs, 2020)

A Hierarchy of Algebras for Boolean Subsets. - Walter Guttmann; Bernhard Möller (Arch. Formal Proofs, 2020)

Relational Minimum Spanning Tree Algorithms. - Walter Guttmann; Nicolas Robinson-O'Brien (Arch. Formal Proofs, 2020)

Relational characterisations of paths. - Rudolf Berghammer; Hitoshi Furusawa; Walter Guttmann; Peter Höfner (J. Log. Algebraic Methods Program., 2020)

Second-Order Properties of Undirected Graphs. - Walter Guttmann (RAMiCS, 2021)

Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm. - Walter Guttmann; Nicolas Robinson-O'Brien (RAMiCS, 2021)

Relational Forests. - Walter Guttmann (Arch. Formal Proofs, 2021)

Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations. - Walter Guttmann (Arch. Formal Proofs, 2021)

Dependences Between Domain Constructions in Heterogeneous Relation Algebras. - Walter Guttmann (RAMiCS, 2023)

Cardinality and Representation of Stone Relation Algebras. - Walter Guttmann (Arch. Formal Proofs, 2023)

Inner Structure, Determinism and Modal Algebra of Multirelations. - Walter Guttmann; Georg Struth (Arch. Formal Proofs, 2023)

On the Inner Structure of Multirelations. - Hitoshi Furusawa; Walter Guttmann; Georg Struth (CoRR, 2023)

Cardinality and Representation of Stone Relation Algebras. - Hitoshi Furusawa; Walter Guttmann (CoRR, 2023)

An example of goal-directed proof. - Roland Carl Backhouse; Walter Guttmann; Michael Winter (CoRR, 2023)

Relation-Algebraic Verification of Disjoint-Set Forests. - Walter Guttmann (Fundam. Informaticae, 2024)

An example of goal-directed, calculational proof. - Roland Carl Backhouse; Walter Guttmann; Michael Winter (J. Funct. Program., 2024)

Determinism of multirelations. - Hitoshi Furusawa; Walter Guttmann; Georg Struth (J. Log. Algebraic Methods Program., 2024)

Modal algebra of multirelations. - Hitoshi Furusawa; Walter Guttmann; Georg Struth (J. Log. Comput., 2025)