| Publication | Date of Publication | Type |
|---|
| Relational calculus as a formal system | 2024-06-18 | Paper |
| Relational set theory | 2022-12-16 | Paper |
| Relational structures and their partial morphisms in view of single pushout rewriting | 2022-08-16 | Paper |
| AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES | 2020-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5219754 | 2020-03-12 | Paper |
| Kleisli, Parikh and Peleg compositions and liftings for multirelations | 2017-07-04 | Paper |
| Relational Formalisations of Compositions and Liftings of Multirelations | 2016-01-08 | Paper |
| Point axioms and related conditions in Dedekind categories | 2015-06-10 | Paper |
| Relations into algebras of probabilistic distributions | 2014-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5408907 | 2014-04-11 | Paper |
| Informational representability for contexts in Dedekind categories | 2013-08-28 | Paper |
| Crispness in Dedekind categories | 2013-08-28 | Paper |
| Closure systems and closure operations in Dedekind categories | 2013-08-28 | Paper |
| Tree expressions and their product formula | 2013-08-28 | Paper |
| Implication and functional dependency in intensional contexts | 2013-08-28 | Paper |
| Periodic behaviors of quantum cellular automata | 2013-08-28 | Paper |
| Urysohn's lemma in Schröder categories | 2013-08-28 | Paper |
| Tarski's fixed point theorem in Dedekind categories | 2013-08-28 | Paper |
| Point Axioms in Dedekind Categories | 2012-09-21 | Paper |
| Continuous Relations and Richardson’s Theorem | 2012-09-21 | Paper |
| Dedekind categories with cutoff operators | 2011-07-15 | Paper |
| Cardinality functions in allegories | 2010-11-11 | Paper |
| Armstrong’s Inference Rules in Dedekind Categories | 2009-12-11 | Paper |
| Cardinal Addition in Distributive Allegories | 2009-12-11 | Paper |
| Formal Concepts in Dedekind Categories | 2008-05-15 | Paper |
| Boolean Algebras and Stone Maps in Schröder Categories | 2008-05-15 | Paper |
| Cardinality in Allegories | 2008-05-15 | Paper |
| On the Cardinality of Relations | 2008-04-24 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449006 | 2004-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415078 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415073 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329276 | 2002-10-31 | Paper |
| Hennessy-Milner properties in Boolean Dedekind categories | 2002-09-02 | Paper |
| A small final coalgebra theorem | 2000-08-23 | Paper |
| Period lengths of cellular automata on square lattices with rule 90 | 2000-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937835 | 2000-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937867 | 2000-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937872 | 2000-02-20 | Paper |
| Categorical representation theorems of fuzzy relations | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705623 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705609 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703139 | 1999-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703865 | 1999-12-01 | Paper |
| An algebraic formalization of fuzzy relations | 1999-09-22 | Paper |
| Period lengths of cellular automata \(cam\)-90 with memory | 1997-04-21 | Paper |
| Relational graph rewritings | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5689157 | 1997-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025926 | 1993-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212312 | 1991-01-01 | Paper |
| Pushout-complements and basic concepts of grammars in toposes | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789094 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782790 | 1987-01-01 | Paper |
| AUTOMATA IN CATEGORIES AND REGULAR LANGUAGES | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3706524 | 1984-01-01 | Paper |
| ON THE CATEGORIES OF COMPLETE HEYTING ALGEBRAS AND TOPOLOGICAL SPACES | 1981-01-01 | Paper |
| MINIMAL REALIZATION THEORY FOR TREE PROCESS MACHINES IN MONOIDAL CATEGORIES | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3871931 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911402 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175408 | 1978-01-01 | Paper |
| ON THE LATTICE OF QUOTIENTS OF AN ADJOINT MACHINE | 1977-01-01 | Paper |
| A CONSTRUCTION OF CLOSED CATEGORIES RELATED TO k-SPACES | 1976-01-01 | Paper |
| On the class of regular epimorphisms | 1975-01-01 | Paper |
| NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS | 1973-01-01 | Paper |
| RELATIONS IN CATEGORIES WITH PULLBACKS | 1973-01-01 | Paper |
| MATRIX CALCULUS IN I-CATEGORIES AND AN AXIOMATIC CHARACTERIZATION OF RELATIONS IN A REGULAR CATEGORY | 1973-01-01 | Paper |
| MANIFOLDS IN CATEGORIES | 1972-01-01 | Paper |
