| Publication | Date of Publication | Type |
|---|
| A categorical approach to coalgebraic fixpoint logic | 2025-01-20 | Paper |
| Proving behavioural apartness | 2025-01-20 | Paper |
| Completeness for game logic | 2024-12-19 | Paper |
| Size measures and alphabetic equivalence in the \(\mu \)-calculus | 2024-12-06 | Paper |
| On the size of disjunctive formulas in the \(\mu\)-calculus | 2024-12-06 | Paper |
| Forward and backward steps in a fibration | 2024-11-26 | Paper |
| Minimisation in logical form | 2024-10-01 | Paper |
| Measure-theoretic semantics for quantitative parity automata | 2024-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124964 | 2024-04-10 | Paper |
| Preservation and reflection of bisimilarity via invertible steps | 2023-11-24 | Paper |
| Relative fixed points of functors | 2023-10-05 | Paper |
| Infinite Horizon Extensive Form Games, Coalgebraically | 2023-08-04 | Paper |
| Beyond Initial Algebras and Final Coalgebras | 2023-03-03 | Paper |
| Expressive Logics for Coinductive Predicates | 2023-02-07 | Paper |
| Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity | 2022-12-08 | Paper |
| Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics | 2022-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028440 | 2022-02-09 | Paper |
| Compositional Game Theory, Compositionally | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020955 | 2022-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015268 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014445 | 2021-12-02 | Paper |
| Learning weighted automata over principal ideal domains | 2020-09-23 | Paper |
| Coalgebra learning via duality | 2020-01-28 | Paper |
| Completeness for Game Logic | 2019-04-16 | Paper |
| Coalgebraic logics \& duality | 2018-10-23 | Paper |
| A compositional treatment of iterated open games | 2018-07-26 | Paper |
| Parity games and automata for game logic | 2018-04-12 | Paper |
| Angluin learning via logic | 2018-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980965 | 2017-05-08 | Paper |
| Reasoning with Global Assumptions in Arithmetic Modal Logics | 2015-09-29 | Paper |
| Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics | 2014-09-15 | Paper |
| A Final Coalgebra for k-regular Sequences | 2014-06-02 | Paper |
| Observational coalgebras and complete sets of co-operations | 2014-01-24 | Paper |
| Algebraic semantics for coalgebraic logics | 2013-09-11 | Paper |
| A coalgebraic perspective on monotone modal logic | 2013-09-11 | Paper |
| Acyclicity notions for existential rules and their application to query answering in ontologies | 2013-09-06 | Paper |
| Stone coalgebras | 2013-08-23 | Paper |
| Minimization via Duality | 2012-09-21 | Paper |
| Completeness for the coalgebraic cover modality | 2012-08-15 | Paper |
| On modal logics of linear inequalities | 2012-08-05 | Paper |
| On the Final Coalgebra of Automatic Sequences | 2012-07-16 | Paper |
| Characterising Behavioural Equivalence: Three Sides of One Coin | 2012-06-01 | Paper |
| EXPTIME Tableaux for the Coalgebraic mu-Calculus | 2012-04-02 | Paper |
| Coalgebraic semantics of modal logics: an overview | 2011-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085167 | 2011-03-30 | Paper |
| Complete sets of cooperations | 2011-01-14 | Paper |
| Global Caching for Coalgebraic Description Logics | 2010-09-14 | Paper |
| Optimal Tableau Algorithms for Coalgebraic Logics | 2010-04-27 | Paper |
| EXPTIME Tableaux for the Coalgebraic μ-Calculus | 2009-11-12 | Paper |
| Neighbourhood Structures: Bisimilarity and Basic Model Theory | 2009-06-30 | Paper |
| Coalgebraic Automata Theory: Basic Results | 2009-04-29 | Paper |
| Terminal Sequence Induction via Games | 2009-04-24 | Paper |
| Bisimulation for Neighbourhood Structures | 2009-03-10 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Stone coalgebras | 2005-01-11 | Paper |
