Walter Guttmann

From MaRDI portal
Person:299187

Available identifiers

zbMath Open guttmann.walterDBLPg/WalterGuttmannWikidataQ102339640 ScholiaQ102339640MaRDI QIDQ299187

List of research outcomes





PublicationDate of PublicationType
Relation-algebraic verification of disjoint-set forests2024-10-07Paper
Determinism of multirelations2024-06-25Paper
Dependences between domain constructions in heterogeneous relation algebras2023-08-17Paper
Second-order properties of undirected graphs2023-03-30Paper
Relation-algebraic verification of Borůvka's minimum spanning tree algorithm2023-03-30Paper
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL2022-11-09Paper
A Hierarchy of Algebras for Boolean Subsets2022-08-30Paper
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras2022-08-30Paper
Relational characterisations of paths2020-11-09Paper
Connecting fixpoints of computations with strict progress2020-02-18Paper
Verifying minimum spanning tree algorithms with Stone relation algebras2018-11-01Paper
An algebraic framework for minimum spanning tree problems2018-09-24Paper
Stone Relation Algebras2017-07-21Paper
An algebraic approach to multirelations and their properties2017-03-20Paper
Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm2016-12-21Paper
An algebraic approach to computations with progress2016-06-22Paper
Closure, Properties and Closure Properties of Multirelations2016-01-08Paper
A Relation-Algebraic Approach to Multirelations and Predicate Transformers2015-08-27Paper
Infinite executions of lazy and strict computations2015-06-10Paper
Multirelations with infinite computations2014-09-08Paper
Extended Conscriptions Algebraically2014-04-16Paper
Typing theorems of omega algebra2013-01-16Paper
Algebras for iteration and infinite computations2012-10-15Paper
Unifying Lazy and Strict Computations2012-09-21Paper
Unifying Correctness Statements2012-09-05Paper
Fixpoints for general correctness2011-07-18Paper
Towards a Typed Omega Algebra2011-06-17Paper
Imperative abstractions for functional actions2010-11-11Paper
Unifying Recursion in Partial, Total and General Correctness2010-11-09Paper
Lazy UTP2010-08-31Paper
Partial, Total and General Correctness2010-07-26Paper
Normal design algebra2010-02-05Paper
An ASM Semantics of Token Flow in UML 2 Activity Diagrams2010-02-02Paper
General correctness algebra2009-12-11Paper
Lazy Relations2008-05-15Paper
Modal Design Algebra2007-09-14Paper
Relational Methods in Computer Science2007-05-02Paper
Cardinality and Representation of Stone Relation AlgebrasN/APaper

Research outcomes over time

This page was built for person: Walter Guttmann