| Publication | Date of Publication | Type |
|---|
| Many-valued coalgebraic logic: from Boolean algebras to primal varieties | 2024-11-26 | Paper |
| Stone duality for relations | 2024-10-01 | Paper |
| Many-valued coalgebraic logic over semi-primal varieties | 2024-09-04 | Paper |
| New perspectives on semi-primal varieties | 2024-01-08 | Paper |
| Completeness of Nominal PROPs | 2023-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875359 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104711 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5074667 | 2022-05-09 | Paper |
| An equational approach to enriched distributivity | 2021-12-25 | Paper |
| First order logic properly displayed | 2021-05-14 | Paper |
| Logic-Induced Bisimulations | 2020-08-20 | Paper |
| Stone Duality for Relations | 2019-12-18 | Paper |
| Extending set functors to generalised metric spaces | 2019-02-25 | Paper |
| Software tool support for modular reasoning in modal logics of actions | 2018-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580204 | 2018-08-13 | 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/Q5275352 | 2017-07-11 | Paper |
| A proof-theoretic semantic analysis of dynamic epistemic logic | 2017-01-31 | Paper |
| Multi-type display calculus for dynamic epistemic logic | 2017-01-31 | Paper |
| Multi-type display calculus for propositional dynamic logic | 2017-01-31 | Paper |
| Multi-type Sequent Calculi | 2016-09-17 | Paper |
| On the Logic of Generalised Metric Spaces | 2016-07-15 | Paper |
| Relation lifting, a survey | 2016-06-22 | Paper |
| Equational coalgebraic logic | 2016-05-10 | Paper |
| Positive fragments of coalgebraic logics | 2015-10-29 | Paper |
| Presenting Distributive Laws | 2015-08-25 | Paper |
| Simplified Coalgebraic Trace Equivalence | 2015-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419889 | 2014-06-11 | Paper |
| Anomalous magnetic moment with heavy virtual leptons | 2014-03-27 | Paper |
| Functorial coalgebraic logic: the case of many-sorted varieties | 2014-01-24 | Paper |
| Nominal coalgebraic data types with applications to lambda calculus | 2014-01-08 | Paper |
| Epistemic updates on algebras | 2014-01-08 | Paper |
| Dynamic Epistemic Logic Displayed | 2013-11-06 | Paper |
| Relation lifting, with an application to the many-valued cover modality | 2013-10-29 | Paper |
| Positive Fragments of Coalgebraic Logics | 2013-09-13 | Paper |
| Presenting Distributive Laws | 2013-09-13 | Paper |
| Algebraic semantics for coalgebraic logics | 2013-09-11 | Paper |
| Coalgebras and modal expansions of logics | 2013-09-11 | Paper |
| Stone coalgebras | 2013-08-23 | Paper |
| Modal predicates and coequations | 2013-08-15 | Paper |
| Definability, canonical models, compactness for finitary coalgebraic modal logic | 2013-08-15 | Paper |
| Enriched logical connections | 2013-08-01 | Paper |
| Modal Rules are Co-Implications | 2013-04-26 | Paper |
| Families of symmetries as efficient models of resource binding | 2012-10-02 | Paper |
| On coalgebras over algebras | 2012-10-02 | Paper |
| Strongly complete logics for coalgebras | 2012-09-25 | Paper |
| A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions | 2012-09-21 | Paper |
| An Alpha-Corecursion Principle for the Infinitary Lambda Calculus | 2012-09-20 | Paper |
| Completeness for the coalgebraic cover modality | 2012-08-15 | Paper |
| Coalgebraic Lindström theorems | 2012-08-05 | Paper |
| On Nominal Regular Languages with Binders | 2012-06-22 | Paper |
| Modalities in the Stone age: a comparison of coalgebraic logics | 2012-05-30 | Paper |
| On coalgebras over algebras | 2011-09-22 | Paper |
| Relation Liftings on Preorders and Posets | 2011-09-02 | Paper |
| Finitary Functors: From Set to Preord and Poset | 2011-09-02 | Paper |
| Equational presentations of functors and monads | 2011-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3085167 | 2011-03-30 | Paper |
| Presenting functors on many-sorted varieties and applications | 2011-01-14 | Paper |
| Coalgebra and Logic: A Brief Overview | 2010-11-11 | Paper |
| Bitopological duality for distributive lattices and Heyting algebras | 2010-06-02 | Paper |
| On universal algebra over nominal sets | 2010-05-17 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| The Goldblatt-Thomason Theorem for Coalgebras | 2009-03-10 | Paper |
| Higher Dimensional Trees, Algebraically | 2009-03-10 | Paper |
| Free Modal Algebras: A Coalgebraic Perspective | 2009-03-10 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Coalgebraic representations of distributive lattices with operators | 2007-03-08 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Weak factorizations, fractions and homotopies | 2005-08-05 | Paper |
| Coalgebraic modal logic of finite rank | 2005-08-03 | Paper |
| Operations and equations for coalgebras | 2005-03-14 | Paper |
| Stone coalgebras | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738229 | 2004-08-11 | Paper |
| Observational logic, constructor-based logic, and their duality. | 2003-05-25 | Paper |
| On institutions for modular coalgebraic specifications. | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4533390 | 2002-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329244 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771053 | 2002-02-14 | Paper |
| Specifying coalgebras with modal logic | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499307 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256317 | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222950 | 1999-01-06 | Paper |
| Many-valued coalgebraic logic over semi-primal varieties | N/A | Paper |
