Walter Guttmann

Available identifiers

zbMath Open guttmann.walterWikidataQ102339640 ScholiaQ102339640MaRDI QIDQ299187

List of research outcomes

Publication	Date of Publication	Type
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
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras	2022-08-30	Paper
A Hierarchy of Algebras for Boolean Subsets	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Walter Guttmann