| A Hierarchy of Algebras for Boolean Subsets. | 0 | 0.34 | 2020 |
| Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL. | 0 | 0.34 | 2020 |
| Connecting Fixpoints of Computations with Strict Progress. | 0 | 0.34 | 2019 |
| Verifying minimum spanning tree algorithms with Stone relation algebras. | 1 | 0.35 | 2018 |
| Relational characterisations of paths | 0 | 0.34 | 2018 |
| An algebraic framework for minimum spanning tree problems. | 1 | 0.36 | 2018 |
| A framework for automating security analysis of the internet of things. | 25 | 0.85 | 2017 |
| An algebraic approach to multirelations and their properties. | 0 | 0.34 | 2017 |
| Kleene Algebras with Domain. | 0 | 0.34 | 2016 |
| Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm. | 2 | 0.37 | 2016 |
| An algebraic approach to computations with progress. | 3 | 0.40 | 2016 |
| A Relation-Algebraic Approach to Multirelations and Predicate Transformers | 2 | 0.39 | 2015 |
| Infinite executions of lazy and strict computations. | 3 | 0.40 | 2015 |
| Algebras for correctness of sequential computations. | 5 | 0.46 | 2014 |
| Extended Conscriptions Algebraically. | 0 | 0.34 | 2014 |
| Multirelations with infinite computations. | 3 | 0.40 | 2014 |
| Extended designs algebraically | 9 | 0.51 | 2013 |
| Unifying correctness statements | 4 | 0.42 | 2012 |
| Typing theorems of omega algebra. | 0 | 0.34 | 2012 |
| Algebras for iteration and infinite computations | 6 | 0.46 | 2012 |
| Unifying lazy and strict computations | 7 | 0.45 | 2012 |
| Towards a typed omega algebra | 7 | 0.47 | 2011 |
| A Repository for Tarski-Kleene Algebras. | 3 | 0.39 | 2011 |
| Fixpoints for general correctness | 3 | 0.39 | 2011 |
| Automating algebraic methods in isabelle | 11 | 0.56 | 2011 |
| Unifying recursion in partial, total and general correctness | 6 | 0.42 | 2010 |
| Normal design algebra | 9 | 0.51 | 2010 |
| Partial, total and general correctness | 10 | 0.49 | 2010 |
| Imperative abstractions for functional actions | 2 | 0.37 | 2010 |
| General Correctness Algebra | 11 | 0.55 | 2009 |
| Unifying the semantics of UML 2 state, activity and interaction diagrams | 6 | 0.40 | 2009 |
| Algebraic Foundations of the Unifying Theories of Programming. | 2 | 0.37 | 2007 |
| Modal Design Algebra | 14 | 0.69 | 2006 |
| An ASM semantics of token flow in UML 2 activity diagrams | 10 | 0.64 | 2006 |
| Variations on an Ordering Theme with Constraints | 21 | 0.90 | 2006 |
| Non-termination in unifying theories of programming | 4 | 0.40 | 2005 |
| Tool Support for the Interactive Derivation of Formally Correct Functional Programs | 6 | 0.45 | 2003 |
