| Publication | Date of Publication | Type |
|---|
Saturated Kripke structures as Vietoris coalgebras
| 2022-12-07 | Paper |
Free-lattice functors weakly preserve epi-pullbacks
Algebra Universalis | 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
Algebra Universalis | 2020-04-06 | Paper |
Free-algebra functors from a coalgebraic perspective
| 2020-01-23 | Paper |
Transitivity and difunctionality of bisimulations
Coalgebraic Methods in Computer Science | 2016-07-15 | Paper |
Programmierung, Algorithmen und Datenstrukturen
| 2016-07-05 | Paper |
Coalgebraic simulations and congruences
Advanced Information Systems Engineering | 2015-09-11 | Paper |
Monoid-labeled transition systems
Electronic Notes in Theoretical Computer Science | 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
Journal Of Logic And Computation | 2010-11-11 | Paper |
Universal coalgebras and their logics
| 2009-12-21 | Paper |
Einführung in die Informatik
| 2009-04-09 | Paper |
Copower functors
Theoretical Computer Science | 2009-03-25 | Paper |
On minimal coalgebras
Applied Categorical Structures | 2008-07-30 | Paper |
On coalgebras and type transformations
Discussiones Mathematicae - General Algebra and Applications | 2008-02-11 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Types and coalgebraic structure
Algebra Universalis | 2006-01-06 | Paper |
scientific article; zbMATH DE number 2186713 (Why is no real title available?)
| 2005-07-06 | Paper |
Products of coalgebras.
Algebra Universalis | 2005-04-19 | Paper |
Distributivity of categories of coalgebras
Theoretical Computer Science | 2004-10-27 | Paper |
Coalgebras of bounded type
Mathematical Structures in Computer Science | 2003-06-02 | Paper |
Birkhoffs variety theorem for coalgebras
| 2002-06-18 | Paper |
Functors for coalgebras
Algebra Universalis | 2001-12-16 | Paper |
Equational and implicational classes of coalgebras
Theoretical Computer Science | 2001-08-20 | Paper |
Covarieties and complete covarieties
Theoretical Computer Science | 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
Theoretical Computer Science | 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
Information Processing Letters | 1993-12-20 | Paper |
Some characterizations of the commutator
Algebra Universalis | 1992-06-28 | Paper |
A new class of check-digit methods for arbitrary number systems (Corresp.)
IEEE Transactions on Information Theory | 1985-01-01 | Paper |
Ideals in universal algebras
Algebra Universalis | 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
Algebra Universalis | 1984-01-01 | Paper |
Geometrical methods in congruence modular algebras
Memoirs of the American Mathematical Society | 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
Archiv der Mathematik | 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
Archiv der Mathematik | 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
Algebra Universalis | 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?
Algebra Universalis | 1978-01-01 | Paper |
Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren
Mathematische Zeitschrift | 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
Algebra Universalis | 1975-01-01 | Paper |
