Walter Guttmann
From MaRDI portal
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
