| Publication | Date of Publication | Type |
|---|
Cardinality and Representation of Stone Relation Algebras
(available as arXiv preprint) | N/A | Paper |
Cardinality and representation of Stone relation algebras
Fundamenta Informaticae | 2026-03-13 | Paper |
On the inner structure of multirelations
Journal of Logical and Algebraic Methods in Programming | 2025-12-30 | Paper |
Modal algebra of multirelations
Journal of Logic and Computation | 2025-10-29 | Paper |
Determinism of multirelations
Journal of Logical and Algebraic Methods in Programming | 2024-06-25 | Paper |
Relational calculus as a formal system
Bulletin of Informatics and Cybernetics | 2024-06-18 | Paper |
Preorders, Partial Semigroups, and Quantales
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 |
Axiom of choice and Zorn's lemma in Cantor categories
Bulletin of informatics and cybernetics | 2020-09-14 | Paper |
Taming multirelations
ACM Transactions on Computational Logic | 2017-07-13 | Paper |
Concurrent dynamic algebra
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Kleisli, Parikh and Peleg compositions and liftings for multirelations
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Uniform continuity of relations and nondeterministic cellular automata
Theoretical Computer Science | 2017-05-02 | Paper |
Relational formalisations of compositions and liftings of multirelations
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
Point axioms and related conditions in Dedekind categories
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
Multirelational representation theorems for complete idempotent left semirings.
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
Relations into algebras of probabilistic distributions
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
A sufficient condition for liftable adjunctions between Eilenberg-Moore categories
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Crispness in Dedekind categories
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Relational representation theorem for powerset quantales.
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Point axioms in Dedekind categories
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Continuous Relations and Richardson’s Theorem
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Remarks on ideal completion of -continuous idempotent left semirings
Bulletin of Informatics and Cybernetics | 2012-08-07 | Paper |
Dedekind categories with cutoff operators
Fuzzy Sets and Systems | 2011-07-15 | Paper |
Relational and multirelational representation theorems for complete idempotent left semirings.
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
\(\ast \)-continuous idempotent left semirings and their ideal completion
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
The cube of Kleene algebras and the triangular prism of multirelations
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Monodic Tree Kleene Algebra
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 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 |
| scientific article; zbMATH DE number 1404250 (Why is no real title available?) | 2000-02-20 | Paper |
Categorical representation theorems of fuzzy relations
Information Sciences | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1377708 (Why is no real title available?) | 1999-12-14 | Paper |
An algebraic formalization of fuzzy relations
Fuzzy Sets and Systems | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1281921 (Why is no real title available?) | 1999-09-12 | Paper |
| scientific article; zbMATH DE number 1062629 (Why is no real title available?) | 1997-09-17 | Paper |
