| 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 |
| Succinct graph representations of \(\mu\)-calculus formulas | 2024-04-10 | Paper |
Preservation and reflection of bisimilarity via invertible steps
Lecture Notes in Computer Science | 2023-11-24 | Paper |
| Relative fixed points of functors | 2023-10-05 | Paper |
Infinite Horizon Extensive Form Games, Coalgebraically
Mathematics for Computation (M4C) | 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
Journal of the ACM | 2022-12-08 | Paper |
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
scientific article; zbMATH DE number 7471679 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471679 (Why is no real title available?) | 2022-02-09 | Paper |
| Compositional game theory, compositionally | 2022-01-10 | Paper |
Compositional game theory, compositionally
(available as arXiv preprint) | 2022-01-10 | Paper |
| Compositional game theory with mixed strategies: probabilistic open games using a distributive law | 2022-01-07 | Paper |
Compositional game theory with mixed strategies: probabilistic open games using a distributive law
(available as arXiv preprint) | 2022-01-07 | Paper |
| Games for topological fixpoint logic | 2021-12-07 | Paper |
Games for topological fixpoint logic
(available as arXiv preprint) | 2021-12-07 | Paper |
| Weak completeness of coalgebraic dynamic logics | 2021-12-02 | Paper |
Weak completeness of coalgebraic dynamic logics
(available as arXiv preprint) | 2021-12-02 | Paper |
Learning weighted automata over principal ideal domains
(available as arXiv preprint) | 2020-09-23 | Paper |
Coalgebra learning via duality
(available as arXiv preprint) | 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
Theoretical Computer Science | 2018-07-26 | Paper |
Parity games and automata for game logic
(available as arXiv preprint) | 2018-04-12 | Paper |
| Parity games and automata for game logic | 2018-04-12 | Paper |
| Angluin learning via logic | 2018-04-06 | Paper |
Stream differential equations: specification formats and solution methods
(available as arXiv preprint) | 2017-05-08 | Paper |
Reasoning with global assumptions in arithmetic modal logics
Fundamentals of Computation Theory | 2015-09-29 | Paper |
Strong completeness for iteration-free coalgebraic dynamic logics
Advanced Information Systems Engineering | 2014-09-15 | Paper |
A final coalgebra for \(k\)-regular sequences
Lecture Notes in Computer Science | 2014-06-02 | Paper |
Observational coalgebras and complete sets of co-operations
Electronic Notes in Theoretical Computer Science | 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
The Journal of Artificial Intelligence Research (JAIR) | 2013-09-06 | Paper |
| Stone coalgebras | 2013-08-23 | Paper |
Minimization via duality
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Completeness for the coalgebraic cover modality
Logical Methods in Computer Science | 2012-08-15 | Paper |
| On modal logics of linear inequalities | 2012-08-05 | Paper |
On the final coalgebra of automatic sequences
Logic and Program Semantics | 2012-07-16 | Paper |
Characterising behavioural equivalence: Three sides of one coin
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
Logical Methods in Computer Science | 2012-04-02 | Paper |
Coalgebraic semantics of modal logics: an overview
Theoretical Computer Science | 2011-09-22 | Paper |
| Completeness of the finitary Moss logic | 2011-03-30 | Paper |
Complete sets of cooperations
Information and Computation | 2011-01-14 | Paper |
Global caching for coalgebraic description logics
Automated Reasoning | 2010-09-14 | Paper |
Optimal tableau algorithms for coalgebraic logics
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
EXPTIME Tableaux for the Coalgebraic μ-Calculus
Computer Science Logic | 2009-11-12 | Paper |
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Logical Methods in Computer Science | 2009-06-30 | Paper |
Coalgebraic Automata Theory: Basic Results
Logical Methods in Computer Science | 2009-04-29 | Paper |
Terminal Sequence Induction via Games
Logic, Language, and Computation | 2009-04-24 | Paper |
Bisimulation for Neighbourhood Structures
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Stone coalgebras
Theoretical Computer Science | 2005-01-11 | Paper |
