| 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 |
| scientific article; zbMATH DE number 6132049 (Why is no real title available?) | 2013-01-29 | Paper |
| Presentation of set functors: a coalgebraic perspective | 2010-11-11 | Paper |
| Universal coalgebras and their logics | 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 |
| scientific article; zbMATH DE number 2186713 (Why is no real title available?) | 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 |
| Birkhoffs variety theorem for coalgebras | 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 |
| scientific article; zbMATH DE number 1497879 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1498311 (Why is no real title available?) | 2000-08-30 | Paper |
| Generating algebraic laws from imperative programs | 1999-04-28 | Paper |
| scientific article; zbMATH DE number 1231626 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 475234 (Why is no real title available?) | 1994-09-20 | Paper |
| scientific article; zbMATH DE number 604336 (Why is no real title available?) | 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 |
| scientific article; zbMATH DE number 3863269 (Why is no real title available?) | 1984-01-01 | Paper |
| Topological implications in n-permutable varieties | 1984-01-01 | Paper |
| Geometrical methods in congruence modular algebras | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3758407 (Why is no real title available?) | 1982-01-01 | Paper |
| Congruence modularity is permutability composed with distributivity | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3747200 (Why is no real title available?) | 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 |
| scientific article; zbMATH DE number 3717392 (Why is no real title available?) | 1979-01-01 | Paper |
| Is there a Mal'cev theory for single algebras? | 1978-01-01 | Paper |
| Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3582221 (Why is no real title available?) | 1977-01-01 | Paper |
| Mal'cev conditions in sums of varieties and a new Mal'cev condition | 1975-01-01 | Paper |
