Search filters

List of works by Walter Guttmann

A Relation-Algebraic Approach to Multirelations and Predicate Transformers

A framework for automating security analysis of the internet of things

scientific article published in 2017

Algebras for correctness of sequential computations

scientific article published in June 2014

Algebras for iteration and infinite computations

scientific article published on 13 July 2012

An algebraic approach to computations with progress

scientific article published in June 2016

An algebraic approach to multirelations and their properties

scientific article published in April 2017

An algebraic framework for minimum spanning tree problems

scientific article published in October 2018

Automating Algebraic Methods in Isabelle

Closure, Properties and Closure Properties of Multirelations

Determinism of multirelations

scientific article published in June 2024

Extended Conscriptions Algebraically

Extended designs algebraically

scientific article published in November 2013

Fixpoints for general correctness

scientific article published in August 2011

Infinite executions of lazy and strict computations

scientific article published in May 2015

Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations

2015 doctoral thesis by Walter Guttmann at University of Canterbury

Lazy UTP

Multirelations with infinite computations

scientific article published in March 2014

Normal design algebra

scientific article published in 2010

Towards a Typed Omega Algebra

Typing theorems of omega algebra

scientific article published in 2012

Unifying Correctness Statements

Unifying Lazy and Strict Computations

Verifying minimum spanning tree algorithms with Stone relation algebras

scientific article published in December 2018