| Publication | Date of Publication | Type |
|---|
| Eilenberg's variety theorem without Boolean operations | 2024-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061663 | 2023-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061674 | 2023-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134252 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176116 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6168475 | 2023-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6159944 | 2023-06-23 | Paper |
| On Kripke, Vietoris and Hausdorff Polynomial Functors | 2023-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875398 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875342 | 2023-02-03 | Paper |
| Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence | 2023-01-09 | Paper |
| Reiterman’s Theorem on Finite Algebras for a Monad | 2022-12-08 | Paper |
| Coalgebraic semantics for nominal automata | 2022-12-07 | Paper |
| Towards a Higher-Order Mathematical Operational Semantics | 2022-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092332 | 2022-07-21 | Paper |
| Finitary monads on the category of posets | 2022-04-05 | Paper |
| On the behaviour of coalgebras with side effects and algebras with effectful iteration | 2021-10-21 | Paper |
| Nondeterministic syntactic complexity | 2021-10-18 | Paper |
| On language varieties without Boolean operations | 2021-10-04 | Paper |
| From generic partition refinement to weighted tree automata minimization | 2021-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992899 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986256 | 2021-04-27 | Paper |
| An Initial Algebra Theorem Without Iteration | 2021-04-20 | Paper |
| Behavioural Preorders via Graded Monads | 2020-11-29 | Paper |
| On well-founded and recursive coalgebras | 2020-09-23 | Paper |
| Toward a Uniform Theory of Effectful State Machines | 2020-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111646 | 2020-05-27 | Paper |
| Eilenberg Theorems for Free | 2020-05-26 | Paper |
| A new foundation for finitary corecursion and iterative algebras | 2020-03-12 | Paper |
| A coalgebraic view on reachability | 2020-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5214815 | 2020-02-05 | Paper |
| Equational axiomatization of algebras with structure | 2020-01-28 | Paper |
| On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration | 2019-11-14 | Paper |
| On Finitary Functors | 2019-11-14 | Paper |
| Finitely Presentable Algebras For Finitary Monads | 2019-11-14 | Paper |
| On functors preserving coproducts and algebras with iterativity | 2019-02-21 | Paper |
| Generalized Eilenberg Theorem | 2019-02-07 | Paper |
| A Coalgebraic View on Reachability | 2019-01-30 | Paper |
| Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum | 2018-12-04 | Paper |
| Predicate liftings and functor presentations in coalgebraic expression languages | 2018-10-23 | Paper |
| On algebras with effectful iteration | 2018-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683859 | 2018-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580197 | 2018-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580214 | 2018-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4643960 | 2018-05-30 | Paper |
| Complete Elgot monads and coalgebraic resumptions | 2018-04-23 | Paper |
| Varieties of Languages in a Category | 2018-04-23 | Paper |
| Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion | 2017-11-10 | Paper |
| Syntactic Monoids in a Category | 2017-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275355 | 2017-07-11 | Paper |
| Finitary Corecursion for the Infinitary Lambda Calculus | 2017-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5274901 | 2017-07-07 | Paper |
| Nominal Automata with Name Binding | 2017-05-19 | Paper |
| Coproducts of Monads on Set | 2017-05-16 | Paper |
| Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets | 2016-10-20 | Paper |
| A New Foundation for Finitary Corecursion | 2016-06-10 | Paper |
| Profinite Monads, Profinite Equations, and Reiterman’s Theorem | 2016-06-10 | Paper |
| Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) | 2016-05-10 | Paper |
| Rational operational models | 2016-04-12 | Paper |
| A New Foundation for Finitary Corecursion | 2016-01-07 | Paper |
| Coalgebraic constructions of canonical nondeterministic automata | 2015-11-10 | Paper |
| Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure | 2015-11-10 | Paper |
| Sound and Complete Axiomatizations of Coalgebraic Language Equivalence | 2015-09-17 | Paper |
| How to Kill Epsilons with a Dagger | 2015-09-11 | Paper |
| Canonical Nondeterministic Automata | 2015-09-11 | Paper |
| On final coalgebras of power-set functors and saturated trees | 2015-08-03 | Paper |
| Simplified Coalgebraic Trace Equivalence | 2015-06-22 | Paper |
| On finitary functors and their presentations | 2015-04-28 | Paper |
| Corecursive Algebras, Corecursive Monads and Bloom Monads | 2014-09-30 | Paper |
| Towards a Coalgebraic Chomsky Hierarchy | 2014-09-15 | Paper |
| Generalized Eilenberg Theorem I: Local Varieties of Languages | 2014-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5407319 | 2014-04-07 | Paper |
| Base modules for parametrized iterativity | 2014-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863900 | 2013-12-04 | Paper |
| How iterative reflections of monads are constructed | 2013-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852346 | 2013-10-08 | Paper |
| Abstract GSOS Rules and a Modular Treatment of Recursive Definitions | 2013-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849883 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847804 | 2013-09-11 | Paper |
| Well-Pointed Coalgebras | 2013-09-06 | Paper |
| On Rational Monads and Free Iterative Theories | 2013-08-16 | Paper |
| On Iteratable Endofunctors | 2013-08-16 | Paper |
| Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors | 2013-08-15 | Paper |
| Recursive Program Schemes and Context-Free Monads | 2012-10-02 | Paper |
| On Finitary Functors and Their Presentations | 2012-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2915670 | 2012-09-18 | Paper |
| A Coalgebraic Perspective on Minimization and Determinization | 2012-06-22 | Paper |
| Well-Pointed Coalgebras (Extended Abstract) | 2012-06-22 | Paper |
| Semantics of Higher-Order Recursion Schemes | 2012-06-01 | Paper |
| Complete Iterativity for Algebras with Effects | 2012-06-01 | Paper |
| On second-order iterative monads | 2011-09-22 | Paper |
| From Corecursive Algebras to Corecursive Monads | 2011-09-02 | Paper |
| Elgot theories: a new perspective on the equational properties of iteration | 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 |
| CIA Structures and the Semantics of Recursion | 2010-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3635984 | 2009-06-30 | Paper |
| A Description of Iterative Reflections of Monads (Extended Abstract) | 2009-03-31 | Paper |
| Bases for parametrized iterativity | 2009-03-04 | Paper |
| On Algebras with Iteration | 2008-12-22 | Paper |
| What Are Iteration Theories? | 2008-09-17 | Paper |
| Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59] | 2008-09-16 | Paper |
| Recursive coalgebras of finitary functors | 2008-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5454623 | 2008-03-31 | Paper |
| Algebras with parametrized iterativity | 2007-12-18 | Paper |
| Elgot Algebras | 2007-10-11 | Paper |
| Iterative algebras at work | 2007-02-07 | Paper |
| The category-theoretic solution of recursive program schemes | 2007-01-09 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Terminal coalgebras and free iterative theories | 2006-08-16 | Paper |
| A general final coalgebra theorem | 2005-08-03 | Paper |
| Completely iterative algebras and completely iterative monads | 2005-03-08 | Paper |
| On coalgebra based on classes | 2004-08-04 | Paper |
| Some remarks on finitary and iterative monads | 2004-01-06 | Paper |
| Free iterative theories: a coalgebraic view | 2003-10-13 | Paper |
| On colimits in categories of relations | 2003-08-21 | Paper |
| Infinite trees and completely iterative theories: A coalgebraic view | 2003-07-30 | Paper |
