Walter Guttmann

Available identifiers

zbMath Open guttmann.walterDBLPg/WalterGuttmannWikidataQ102339640 ScholiaQ102339640MaRDI QIDQ299187

List of research outcomes

Publication	Date of Publication	Type
Relation-algebraic verification of disjoint-set forests	2024-10-07	Paper
Determinism of multirelations	2024-06-25	Paper
Dependences between domain constructions in heterogeneous relation algebras	2023-08-17	Paper
Second-order properties of undirected graphs	2023-03-30	Paper
Relation-algebraic verification of Borůvka's minimum spanning tree algorithm	2023-03-30	Paper
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL	2022-11-09	Paper
A Hierarchy of Algebras for Boolean Subsets	2022-08-30	Paper
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras	2022-08-30	Paper
Relational characterisations of paths	2020-11-09	Paper
Connecting fixpoints of computations with strict progress	2020-02-18	Paper
Verifying minimum spanning tree algorithms with Stone relation algebras	2018-11-01	Paper
An algebraic framework for minimum spanning tree problems	2018-09-24	Paper
Stone Relation Algebras	2017-07-21	Paper
An algebraic approach to multirelations and their properties	2017-03-20	Paper
Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm	2016-12-21	Paper
An algebraic approach to computations with progress	2016-06-22	Paper
Closure, Properties and Closure Properties of Multirelations	2016-01-08	Paper
A Relation-Algebraic Approach to Multirelations and Predicate Transformers	2015-08-27	Paper
Infinite executions of lazy and strict computations	2015-06-10	Paper
Multirelations with infinite computations	2014-09-08	Paper
Extended Conscriptions Algebraically	2014-04-16	Paper
Typing theorems of omega algebra	2013-01-16	Paper
Algebras for iteration and infinite computations	2012-10-15	Paper
Unifying Lazy and Strict Computations	2012-09-21	Paper
Unifying Correctness Statements	2012-09-05	Paper
Fixpoints for general correctness	2011-07-18	Paper
Towards a Typed Omega Algebra	2011-06-17	Paper
Imperative abstractions for functional actions	2010-11-11	Paper
Unifying Recursion in Partial, Total and General Correctness	2010-11-09	Paper
Lazy UTP	2010-08-31	Paper
Partial, Total and General Correctness	2010-07-26	Paper
Normal design algebra	2010-02-05	Paper
An ASM Semantics of Token Flow in UML 2 Activity Diagrams	2010-02-02	Paper
General correctness algebra	2009-12-11	Paper
Lazy Relations	2008-05-15	Paper
Modal Design Algebra	2007-09-14	Paper
Relational Methods in Computer Science	2007-05-02	Paper
Cardinality and Representation of Stone Relation Algebras	N/A	Paper

Research outcomes over time

This page was built for person: Walter Guttmann