| Publication | Date of Publication | Type |
|---|
| Strongly finitary monads for varieties of quantitative algebras | 2024-11-26 | Paper |
| Sifted Colimits, Strongly Finitary Monads and Continuous Algebras | 2023-01-13 | Paper |
| Varieties of Quantitative or Continuous Algebras (Extended Abstract) | 2023-01-03 | Paper |
| A categorical view of varieties of ordered algebras | 2022-12-20 | Paper |
| Quantitative Algebras and a Classification of Metric Monads | 2022-10-04 | Paper |
| Extending set functors to generalised metric spaces | 2019-02-25 | Paper |
| An institutional approach to positive coalgebraic logic | 2018-02-13 | Paper |
| Quasivarieties and varieties of ordered algebras: regularity and exactness | 2017-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275341 | 2017-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5274901 | 2017-07-07 | Paper |
| Morita equivalence for many-sorted enriched theories | 2016-12-15 | Paper |
| Kan injectivity in order-enriched categories | 2016-07-27 | Paper |
| Relation lifting, a survey | 2016-06-22 | Paper |
| Elgot theories: a new perspective of iteration theories (extended abstract) | 2016-05-10 | Paper |
| Positive fragments of coalgebraic logics | 2015-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419889 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419875 | 2014-06-11 | Paper |
| An elementary characterisation of sifted weights | 2014-05-13 | Paper |
| Base modules for parametrized iterativity | 2014-02-04 | Paper |
| How iterative are iterative algebras? | 2013-12-04 | Paper |
| How iterative reflections of monads are constructed | 2013-11-29 | Paper |
| Relation lifting, with an application to the many-valued cover modality | 2013-10-29 | Paper |
| Elgot algebras (extended abstract) | 2013-10-08 | Paper |
| Iterative algebras for a base | 2013-09-20 | Paper |
| Positive Fragments of Coalgebraic Logics | 2013-09-13 | Paper |
| On rational monads and free iterative theories | 2013-08-16 | Paper |
| Final coalgebras and a solution theorem for arbitrary endofunctors | 2013-08-15 | Paper |
| Enriched logical connections | 2013-08-01 | Paper |
| A Coalgebraic View of Infinite Trees and Iteration | 2013-04-26 | Paper |
| Recursive program schemes and context-free monads | 2012-10-02 | Paper |
| Semantics of Higher-Order Recursion Schemes | 2012-06-01 | Paper |
| Final coalgebras in accessible categories | 2011-10-21 | Paper |
| On second-order iterative monads | 2011-09-22 | Paper |
| Relation Liftings on Preorders and Posets | 2011-09-02 | Paper |
| Equational presentations of functors and monads | 2011-06-10 | Paper |
| Elgot theories: a new perspective on the equational properties of iteration | 2011-06-10 | Paper |
| On monotone modalities and adjointness | 2011-06-10 | Paper |
| Semantics of Higher-Order Recursion Schemes | 2011-05-26 | Paper |
| Equational properties of iterative monads | 2011-01-14 | Paper |
| Iterative reflections of monads | 2010-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635983 | 2009-06-30 | Paper |
| A Description of Iterative Reflections of Monads (Extended Abstract) | 2009-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3614500 | 2009-03-09 | Paper |
| Bases for parametrized iterativity | 2009-03-04 | Paper |
| What Are Iteration Theories? | 2008-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5454623 | 2008-03-31 | Paper |
| Algebras with parametrized iterativity | 2007-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5423978 | 2007-11-01 | Paper |
| Elgot Algebras | 2007-10-11 | Paper |
| Iterative algebras at work | 2007-02-07 | Paper |
| A general final coalgebra theorem | 2005-08-03 | Paper |
| Completeness of cocompletions | 2005-04-07 | Paper |
| On coalgebra based on classes | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457308 | 2004-03-21 | Paper |
| Some remarks on finitary and iterative monads | 2004-01-06 | Paper |
| Free iterative theories: a coalgebraic view | 2003-10-13 | Paper |
| Infinite trees and completely iterative theories: A coalgebraic view | 2003-07-30 | Paper |
| A remark on conservative cocompletions of categories | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790673 | 2002-01-01 | Paper |
| Categorical generalization of a universal domain | 2000-05-30 | Paper |
| On categories generalizing universal domains | 2000-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687245 | 1997-07-20 | Paper |
