| Publication | Date of Publication | Type |
|---|
| Saturated Kripke structures as Vietoris coalgebras | 2022-12-07 | Paper |
| Free-lattice functors weakly preserve epi-pullbacks | 2022-05-10 | Paper |
| Saturated Kripke Structures as Vietoris Coalgebras | 2022-02-15 | Paper |
| Free-lattice functors weakly preserve epi-pullbacks | 2021-03-17 | Paper |
| Free-algebra functors from a coalgebraic perspective | 2021-02-22 | Paper |
| Connected monads weakly preserve products | 2020-04-06 | Paper |
| Free-algebra functors from a coalgebraic perspective | 2020-01-23 | Paper |
| Transitivity and Difunctionality of Bisimulations | 2016-07-15 | Paper |
| Programmierung, Algorithmen und Datenstrukturen | 2016-07-05 | Paper |
| Coalgebraic Simulations and Congruences | 2015-09-11 | Paper |
| Monoid-labeled transition systems | 2013-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904377 | 2013-01-29 | Paper |
| Presentation of Set Functors: A Coalgebraic Perspective | 2010-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3653200 | 2009-12-21 | Paper |
| Einführung in die Informatik | 2009-04-09 | Paper |
| Copower functors | 2009-03-25 | Paper |
| On minimal coalgebras | 2008-07-30 | Paper |
| On coalgebras and type transformations | 2008-02-11 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Types and coalgebraic structure | 2006-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3023880 | 2005-07-06 | Paper |
| Products of coalgebras. | 2005-04-19 | Paper |
| Distributivity of categories of coalgebras | 2004-10-27 | Paper |
| Coalgebras of bounded type | 2003-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2759839 | 2002-06-18 | Paper |
| Functors for coalgebras | 2001-12-16 | Paper |
| Equational and implicational classes of coalgebras | 2001-08-20 | Paper |
| Covarieties and complete covarieties | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499310 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499387 | 2000-08-30 | Paper |
| Generating algebraic laws from imperative programs | 1999-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222949 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273475 | 1994-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4299716 | 1994-07-11 | Paper |
| Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions | 1993-12-20 | Paper |
| Some characterizations of the commutator | 1992-06-28 | Paper |
| A new class of check-digit methods for arbitrary number systems (Corresp.) | 1985-01-01 | Paper |
| Ideals in universal algebras | 1984-01-01 | Paper |
| Topological implications in n-permutable varieties | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331266 | 1984-01-01 | Paper |
| Geometrical methods in congruence modular algebras | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941465 | 1982-01-01 | Paper |
| Congruence modularity is permutability composed with distributivity | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3933033 | 1981-01-01 | Paper |
| An easy way to the commutator in modular varieties | 1980-01-01 | Paper |
| The Little Desarguesian Theorem for Algebras in Modular Varieties | 1980-01-01 | Paper |
| Algebras in permutable varieties: Geometrical properties of affine algebras | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907624 | 1979-01-01 | Paper |
| Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren | 1978-01-01 | Paper |
| Is there a Mal'cev theory for single algebras? | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152595 | 1977-01-01 | Paper |
| Mal'cev conditions in sums of varieties and a new Mal'cev condition | 1975-01-01 | Paper |
