| Publication | Date of Publication | Type |
|---|
The $$\theta $$-Join as a Join with $$\theta $$
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Convergence: integrating termination and abort-freedom
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
Relations as images
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Non-associative Kleene Algebra and Temporal Logics
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Kleene algebra with domain
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Relational style laws and constructs of linear algebra
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
Fuzzifying modal algebra
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Algebraic Notions of Termination
Logical Methods in Computer Science | 2011-05-26 | Paper |
Internal axioms for domain semirings
Science of Computer Programming | 2011-02-21 | Paper |
Abstract representation theorems for demonic refinement algebras
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
Domain and antidomain semigroups
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Control of parameterized discrete event systems
Discrete Event Dynamic Systems | 2009-09-01 | Paper |
Domain Axioms for a Family of Near-Semirings
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Modal Semirings Revisited
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Latest News about Demonic Algebra with Domain
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
On the Structure of Demonic Refinement Algebras with Enabledness and Termination
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Demonic Algebra with Domain
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Describing data flow analysis techniques with Kleene algebra
Science of Computer Programming | 2007-03-12 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Kleene under a modal demonic star
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Least reflexive points of relations
Higher-Order and Symbolic Computation | 2006-02-08 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Mathematics of Program Construction
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Relational characterizations of system fault tolerance
Science of Computer Programming | 2005-08-05 | Paper |
| scientific article; zbMATH DE number 2163052 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 1735899 (Why is no real title available?) | 2002-09-05 | Paper |
Characterizing determinacy in Kleene algebras
Information Sciences | 2002-06-23 | Paper |
| scientific article; zbMATH DE number 1696900 (Why is no real title available?) | 2002-01-28 | Paper |
Semantic distance between specifications
Theoretical Computer Science | 2000-10-26 | Paper |
A calculus of program adaption and its applications
Science of Computer Programming | 2000-09-14 | Paper |
Monomorphic characterization of \(n\)-ary direct products
Information Sciences | 2000-08-23 | Paper |
Unifying program construction and modification
Logic Journal of the IGPL | 1998-04-02 | Paper |
| scientific article; zbMATH DE number 1086632 (Why is no real title available?) | 1998-03-23 | Paper |
| scientific article; zbMATH DE number 1086636 (Why is no real title available?) | 1997-11-13 | Paper |
Embedding a demonic semilattice in a relation algebra
Theoretical Computer Science | 1997-02-28 | Paper |
A relational calculus for program construction by parts
Science of Computer Programming | 1996-07-03 | Paper |
A relational division operator: The conjugate kernel
Theoretical Computer Science | 1994-01-19 | Paper |
On the mathematics of sequential decompositions
Science of Computer Programming | 1993-09-16 | Paper |
| scientific article; zbMATH DE number 85818 (Why is no real title available?) | 1993-01-05 | Paper |
| scientific article; zbMATH DE number 4098735 (Why is no real title available?) | 1988-01-01 | Paper |
Relational heuristics for the design of deterministic programs
Acta Informatica | 1987-01-01 | Paper |
Formal models of stepwise refinements of programs
ACM Computing Surveys | 1986-01-01 | Paper |
Strongest invariant functions: Their use in the systematic analysis of while statements
Acta Informatica | 1985-01-01 | Paper |
