List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Relation-algebraic verification of disjoint-set forests Fundamenta Informaticae | 2024-10-07 | Paper |
| Determinism of multirelations Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
| Dependences between domain constructions in heterogeneous relation algebras Relational and Algebraic Methods in Computer Science | 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 Automated Reasoning | 2022-11-09 | Paper |
| A Hierarchy of Algebras for Boolean Subsets Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| Relational characterisations of paths Journal of Logical and Algebraic Methods in Programming | 2020-11-09 | Paper |
| Connecting fixpoints of computations with strict progress | 2020-02-18 | Paper |
| Verifying minimum spanning tree algorithms with Stone relation algebras Journal of Logical and Algebraic Methods in Programming | 2018-11-01 | Paper |
| An algebraic framework for minimum spanning tree problems Theoretical Computer Science | 2018-09-24 | Paper |
| Stone relation algebras Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
| An algebraic approach to multirelations and their properties Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
| Relation-algebraic verification of Prim's minimum spanning tree algorithm Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
| An algebraic approach to computations with progress Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
| Closure, properties and closure properties of multirelations Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
| A relation-algebraic approach to multirelations and predicate transformers Lecture Notes in Computer Science | 2015-08-27 | Paper |
| Infinite executions of lazy and strict computations Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
| Multirelations with infinite computations Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Extended conscriptions algebraically Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| Typing theorems of omega algebra The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
| Algebras for iteration and infinite computations Acta Informatica | 2012-10-15 | Paper |
| Unifying lazy and strict computations Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
| Unifying correctness statements Lecture Notes in Computer Science | 2012-09-05 | Paper |
| Fixpoints for general correctness The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
| Towards a typed omega algebra Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
| Imperative abstractions for functional actions The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
| Unifying Recursion in Partial, Total and General Correctness Unifying Theories of Programming | 2010-11-09 | Paper |
| Lazy UTP Unifying Theories of Programming | 2010-08-31 | Paper |
| Partial, total and general correctness Lecture Notes in Computer Science | 2010-07-26 | Paper |
| Normal design algebra The Journal of Logic and Algebraic Programming | 2010-02-05 | Paper |
| An ASM semantics of token flow in UML 2 activity diagrams Perspectives of Systems Informatics | 2010-02-02 | Paper |
| General correctness algebra Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
| Lazy Relations Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| Modal Design Algebra Unifying Theories of Programming | 2007-09-14 | Paper |
| Relational Methods in Computer Science Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Cardinality and Representation of Stone Relation Algebras (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Walter Guttmann
