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