| Publication | Date of Publication | Type |
|---|
| Graded semantics and graded logics for Eilenberg-Moore coalgebras | 2025-01-20 | Paper |
| Graded monads and behavioural equivalence games | 2024-12-06 | Paper |
| Higher-order mathematical operational semantics (early ideas) | 2024-11-26 | Paper |
| Logical predicates in higher-order mathematical operational semantics | 2024-10-30 | Paper |
| Quantitative Hennessy-Milner theorems via notions of density | 2024-09-25 | Paper |
| Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi | 2024-09-04 | Paper |
| Stateful structural operational semantics | 2024-05-27 | Paper |
| COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) | 2024-04-26 | Paper |
| Generic partition refinement and weighted tree automata | 2024-03-14 | Paper |
| A point-free perspective on lax extensions and predicate liftings | 2024-03-05 | Paper |
| Monads on Categories of Relational Structures. | 2023-12-08 | Paper |
| Kantorovich functors and characteristic logics for behavioural distances | 2023-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176116 | 2023-08-21 | Paper |
| Nominal Büchi Automata with Name Allocation | 2023-08-21 | Paper |
| A Linear-Time Nominal μ-Calculus with Name Allocation. | 2023-08-08 | Paper |
| Game-based local model checking for the coalgebraic \(\mu\)-calculus | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875398 | 2023-02-03 | Paper |
| Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence | 2023-01-09 | Paper |
| NP reasoning in the monotone \(\mu\)-calculus | 2022-11-09 | Paper |
| Towards a Higher-Order Mathematical Operational Semantics | 2022-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104708 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094149 | 2022-08-02 | Paper |
| Quantitative Hennessy-Milner Theorems via Notions of Density | 2022-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089293 | 2022-07-18 | Paper |
| Finitary monads on the category of posets | 2022-04-05 | Paper |
| Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics | 2022-02-24 | Paper |
| A quantified coalgebraic van Benthem theorem | 2021-10-18 | Paper |
| From generic partition refinement to weighted tree automata minimization | 2021-09-14 | Paper |
| Quasipolynomial computation of nested fixpoints | 2021-08-04 | Paper |
| A metalanguage for guarded iteration | 2021-07-22 | Paper |
| Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas | 2021-02-22 | Paper |
| Automata Learning | 2021-01-21 | Paper |
| A van Benthem theorem for fuzzy modal logic | 2021-01-20 | Paper |
| Behavioural Preorders via Graded Monads | 2020-11-29 | Paper |
| Efficient Coalgebraic Partition Refinement | 2020-05-27 | Paper |
| Efficient and modular coalgebraic partition refinement | 2020-02-05 | Paper |
| Optimal satisfiability checking for arithmetic \(\mu\)-calculi | 2020-01-28 | Paper |
| Generic Hoare logic for order-enriched effects with exceptions | 2020-01-16 | Paper |
| Permutation games for the weakly aconjunctive \(\mu \)-calculus | 2019-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4968384 | 2019-07-12 | Paper |
| Combining machine learning and semantic features in the classification of corporate disclosures | 2019-06-26 | Paper |
| Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum | 2018-12-04 | Paper |
| A metalanguage for guarded iteration | 2018-11-23 | Paper |
| Predicate liftings and functor presentations in coalgebraic expression languages | 2018-10-23 | Paper |
| Unguarded recursion on coinductive resumptions | 2018-09-06 | Paper |
| Uniform interpolation in coalgebraic modal logic | 2018-08-13 | Paper |
| Guarded traced categories | 2018-07-17 | Paper |
| Model theory and proof theory of coalgebraic predicate logic | 2018-04-25 | Paper |
| Program equivalence is coinductive | 2018-04-23 | Paper |
| Subsumption checking in conjunctive coalgebraic fixpoint logics | 2018-04-23 | Paper |
| Completeness of flat coalgebraic fixpoint logics | 2018-03-22 | Paper |
| Global caching for the alternation-free \(\mu\)-calculus | 2018-03-21 | Paper |
| Generic trace semantics and graded monads | 2017-07-11 | Paper |
| A Relatively Complete Generic Hoare Logic for Order-Enriched Effects | 2017-07-03 | Paper |
| Nominal automata with name binding | 2017-05-19 | Paper |
| Unifying guarded and unguarded iteration | 2017-05-19 | Paper |
| A Characterization Theorem for a Modal Description Logic | 2017-05-17 | Paper |
| A van Benthem/Rosen theorem for coalgebraic predicate logic | 2017-05-17 | Paper |
| Probabilistic description logics for subjective uncertainty | 2017-01-11 | Paper |
| Sound and complete equational reasoning over comodels | 2016-12-16 | Paper |
| Unguarded recursion on coinductive resumptions | 2016-12-16 | Paper |
| Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets | 2016-10-20 | Paper |
| Reasoning with global assumptions in arithmetic modal logics | 2015-09-29 | Paper |
| PSPACE bounds for rank-1 modal logics | 2015-09-17 | Paper |
| Simplified coalgebraic trace equivalence | 2015-06-22 | Paper |
| Monodic fragments of probabilistic first-order logic | 2014-07-01 | Paper |
| Extending \({\mathcal A}{\mathcal L}{\mathcal C}{\mathcal Q}\) with bounded self-reference | 2014-06-11 | Paper |
| Admissibility of cut in coalgebraic logics | 2014-01-24 | Paper |
| A coinductive calculus for asynchronous side-effecting processes | 2014-01-16 | Paper |
| Exploring the boundaries of monad tensorability on Set | 2013-09-26 | Paper |
| Simulations and bisimulations for coalgebraic modal logics | 2013-09-13 | Paper |
| \textsc{CoCasl} at work -- modelling process algebra | 2013-08-23 | Paper |
| Classifying categories for partial equational logic | 2013-08-16 | Paper |
| Coalgebraic Announcement Logics | 2013-08-07 | Paper |
| Coalgebraic predicate logic | 2012-11-01 | Paper |
| Narcissists are easy, stepmothers are hard | 2012-06-22 | Paper |
| Kleene monads: handling iteration in a framework of generic effects | 2012-06-01 | Paper |
| Strong completeness of coalgebraic modal logics | 2012-04-24 | Paper |
| Named models in coalgebraic hybrid logic | 2012-01-23 | Paper |
| A counterexample to tensorability of effects | 2011-09-02 | Paper |
| A coinductive calculus for asynchronous side-effecting processes | 2011-08-19 | Paper |
| Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra | 2011-06-10 | Paper |
| Generic modal cut elimination applied to conditional logics | 2011-05-26 | Paper |
| Optimal tableaux for conditional logics with cautious monotonicity | 2011-05-11 | Paper |
| \textsc{HasCasl}: towards integrated specification and development of functional programs | 2011-05-06 | Paper |
| Cut elimination in coalgebraic logics | 2011-01-14 | Paper |
| Rank-1 modal logics are coalgebraic | 2010-11-11 | Paper |
| Global caching for coalgebraic description logics | 2010-09-14 | Paper |
| Flat coalgebraic fixed point logics | 2010-08-31 | Paper |
| A generic complete dynamic logic for reasoning about purity and effects | 2010-05-28 | Paper |
| Coalgebraic Correspondence Theory | 2010-04-27 | Paper |
| Algebraic-coalgebraic specification in CoCasl. | 2010-04-20 | Paper |
| Monad-independent dynamic logic in HasCasl. | 2010-04-20 | Paper |
| Generic Modal Cut Elimination Applied to Conditional Logics | 2009-12-01 | Paper |
| Bootstrapping Inductive and Coinductive Types in HasCASL | 2009-04-29 | Paper |
| Coalgebraic Hybrid Logic | 2009-03-31 | Paper |
| HasCasl: integrated higher-order specification and program development | 2009-03-25 | Paper |
| Bootstrapping Types and Cotypes in HasCASL | 2009-03-10 | Paper |
| Linearizability of non-expansive semigroup actions on metric spaces | 2008-08-06 | Paper |
| Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics | 2008-04-11 | Paper |
| Expressivity of coalgebraic modal logic: the limits and beyond | 2008-03-05 | Paper |
| Modular Algorithms for Heterogeneous Modal Logics | 2007-11-28 | Paper |
| Coalgebraic Modal Logic in CoCasl | 2007-09-10 | Paper |
| Completeness of Global Evaluation Logic | 2007-09-05 | Paper |
| Rank-1 Modal Logics Are Coalgebraic | 2007-09-03 | Paper |
| A finite model construction for coalgebraic modal logic | 2007-08-23 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| A coalgebraic approach to the semantics of the ambient calculus | 2007-01-09 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Algebraic-coalgebraic specification in CoCASL | 2006-04-28 | Paper |
| The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus | 2006-04-28 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Recent Trends in Algebraic Development Techniques | 2005-11-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Amalgamation in the semantics of CASL | 2005-04-06 | Paper |
| Globalization of confluent partial actions on topological and metric spaces | 2005-02-22 | Paper |
| Monad-independent Dynamic Logic in HasCasl | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471725 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457311 | 2004-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417837 | 2003-07-30 | Paper |
| Universal aspects of probabilistic automata | 2003-02-17 | Paper |
| Free factorizations | 2002-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783323 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779164 | 2002-11-25 | Paper |
| Monads on composition graphs | 2002-08-19 | Paper |
| TRACES OF EPIMORPHISM CLASSES | 2002-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535078 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752011 | 2002-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764130 | 2002-01-22 | Paper |
| Free adjunction of morphisms | 2002-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722021 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500849 | 2001-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4933939 | 2000-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941781 | 2000-03-07 | Paper |
