Walter Guttmann

According to our database, Walter Guttmann authored at least 62 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

An example of goal-directed proof.

Roland Backhouse, Walter Guttmann, Michael Winter

CoRR, 2023

Cardinality and Representation of Stone Relation Algebras.

Hitoshi Furusawa, Walter Guttmann

CoRR, 2023

Modal Algebra of Multirelations.

Hitoshi Furusawa, Walter Guttmann, Georg Struth

CoRR, 2023

Determinism of Multirelations.

Hitoshi Furusawa, Walter Guttmann, Georg Struth

CoRR, 2023

On the Inner Structure of Multirelations.

Hitoshi Furusawa, Walter Guttmann, Georg Struth

CoRR, 2023

Relation-Algebraic Verification of Disjoint-Set Forests.

Walter Guttmann

CoRR, 2023

Inner Structure, Determinism and Modal Algebra of Multirelations.

Walter Guttmann, Georg Struth

Arch. Formal Proofs, 2023

Cardinality and Representation of Stone Relation Algebras.

Walter Guttmann

Arch. Formal Proofs, 2023

Dependences Between Domain Constructions in Heterogeneous Relation Algebras.

Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2021

Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations.

Walter Guttmann

Arch. Formal Proofs, 2021

Relational Forests.

Walter Guttmann

Arch. Formal Proofs, 2021

Relation-Algebraic Verification of Borůvka's Minimum Spanning Tree Algorithm.

Walter Guttmann, Nicolas Robinson-O'Brien

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Second-Order Properties of Undirected Graphs.

Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Relational characterisations of paths.

Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner

J. Log. Algebraic Methods Program., 2020

Relational Minimum Spanning Tree Algorithms.

Walter Guttmann, Nicolas Robinson-O'Brien

Arch. Formal Proofs, 2020

A Hierarchy of Algebras for Boolean Subsets.

Walter Guttmann, Bernhard Möller

Arch. Formal Proofs, 2020

Relational Characterisations of Paths.

Walter Guttmann, Peter Höfner

Arch. Formal Proofs, 2020

Relational Disjoint-Set Forests.

Walter Guttmann

Arch. Formal Proofs, 2020

Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL.

Walter Guttmann

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras.

Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Connecting Fixpoints of Computations with Strict Progress.

Walter Guttmann

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018

An algebraic framework for minimum spanning tree problems.

Walter Guttmann

Theor. Comput. Sci., 2018

Verifying minimum spanning tree algorithms with Stone relation algebras.

Walter Guttmann

J. Log. Algebraic Methods Program., 2018

Aggregation Algebras.

Walter Guttmann

Arch. Formal Proofs, 2018

2017

A framework for automating security analysis of the internet of things.

Mengmeng Ge, Jin B. Hong, Walter Guttmann, Dong Seong Kim

J. Netw. Comput. Appl., 2017

An algebraic approach to multirelations and their properties.

Rudolf Berghammer, Walter Guttmann

J. Log. Algebraic Methods Program., 2017

Stone-Kleene Relation Algebras.

Walter Guttmann

Arch. Formal Proofs, 2017

Stone Relation Algebras.

Walter Guttmann

Arch. Formal Proofs, 2017

2016

An algebraic approach to computations with progress.

Walter Guttmann

J. Log. Algebraic Methods Program., 2016

Stone Algebras.

Walter Guttmann

Arch. Formal Proofs, 2016

Kleene Algebras with Domain.

Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber

Arch. Formal Proofs, 2016

Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm.

Walter Guttmann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Infinite executions of lazy and strict computations.

Walter Guttmann

J. Log. Algebraic Methods Program., 2015

A Relation-Algebraic Approach to Multirelations and Predicate Transformers.

Rudolf Berghammer, Walter Guttmann

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Closure, Properties and Closure Properties of Multirelations.

Rudolf Berghammer, Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Algebras for correctness of sequential computations.

Walter Guttmann

Sci. Comput. Program., 2014

Multirelations with infinite computations.

Walter Guttmann

J. Log. Algebraic Methods Program., 2014

Extended Conscriptions Algebraically.

Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Extended designs algebraically.

Walter Guttmann

Sci. Comput. Program., 2013

2012

Typing theorems of omega algebra.

Walter Guttmann

J. Log. Algebraic Methods Program., 2012

Algebras for iteration and infinite computations.

Walter Guttmann

Acta Informatica, 2012

Unifying Correctness Statements.

Walter Guttmann

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Unifying Lazy and Strict Computations.

Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Fixpoints for general correctness.

Walter Guttmann

J. Log. Algebraic Methods Program., 2011

Automating Algebraic Methods in Isabelle.

Walter Guttmann, Georg Struth, Tjark Weber

Proceedings of the Formal Methods and Software Engineering, 2011

A Repository for Tarski-Kleene Algebras.

Walter Guttmann, Georg Struth, Tjark Weber

Proceedings of the First Workshop on Automated Theory Engineering, 2011

Towards a Typed Omega Algebra.

Walter Guttmann

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Normal design algebra.

Walter Guttmann, Bernhard Möller

J. Log. Algebraic Methods Program., 2010

Imperative abstractions for functional actions.

Walter Guttmann

J. Log. Algebraic Methods Program., 2010

Unifying Recursion in Partial, Total and General Correctness.

Walter Guttmann

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Partial, Total and General Correctness.

Walter Guttmann

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

2009

Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams.

Jens Kohlmeyer, Walter Guttmann

Proceedings of the Perspectives of Systems Informatics, 2009

General Correctness Algebra.

Walter Guttmann

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Lazy UTP.

Walter Guttmann

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Lazy Relations.

Walter Guttmann

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Algebraic Foundations of the Unifying Theories of Programming.

Walter Guttmann

Proceedings of the Ausgezeichnete Informatikdissertationen 2007, 2007

Algebraic foundations of the unifying theories of programming.

Walter Guttmann

PhD thesis, 2007

2006

Modal Design Algebra.

Walter Guttmann, Bernhard Möller

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

Variations on an Ordering Theme with Constraints.

Walter Guttmann, Markus Maucher

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

An ASM Semantics of Token Flow in UML 2 Activity Diagrams.

Stefan Sarstedt, Walter Guttmann

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Non-termination in Unifying Theories of Programming.

Walter Guttmann

Proceedings of the Relational Methods in Computer Science, 2005

2003

Tool Support for the Interactive Derivation of Formally Correct Functional Programs.

Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs

J. Univers. Comput. Sci., 2003