| Publication | Date of Publication | Type |
|---|
| Resolution calculi for non-normal modal logics | 2024-05-17 | Paper |
| COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) | 2024-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101334 | 2022-08-30 | Paper |
| Monotone subintuitionistic logic: duality and transfer results | 2022-07-13 | Paper |
| Hennessy-Milner properties via topological compactness | 2022-06-13 | Paper |
| Domain theoretic second-order Euler's method for solving initial value problems | 2022-04-29 | Paper |
| Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics | 2022-02-24 | Paper |
| Hennessy-Milner Properties via Topological Compactness | 2021-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856423 | 2021-03-26 | Paper |
| Modal Intuitionistic Logics as Dialgebraic Logics | 2021-01-21 | Paper |
| A van Benthem Theorem for Fuzzy Modal Logic | 2021-01-20 | Paper |
| Modal meet-implication logic | 2020-12-26 | Paper |
| A new foundation for finitary corecursion and iterative algebras | 2020-03-12 | Paper |
| Hennessy-Milner properties for (modal) bi-intuitionistic logic | 2020-03-04 | Paper |
| A resolution-based calculus for preferential logics | 2018-10-18 | Paper |
| Uniform Interpolation in Coalgebraic Modal Logic. | 2018-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637694 | 2018-04-25 | Paper |
| Program Equivalence is Coinductive | 2018-04-23 | Paper |
| Schulze voting as evidence carrying computation | 2018-01-04 | Paper |
| Generic Trace Semantics and Graded Monads. | 2017-07-11 | Paper |
| The Logic of Exact Covers: Completeness and Uniform Interpolation | 2017-07-03 | Paper |
| A Van Benthem/Rosen theorem for coalgebraic predicate logic | 2017-05-17 | Paper |
| Sound and complete equational reasoning over comodels | 2016-12-16 | Paper |
| Towards Effects in Mathematical Operational Semantics | 2016-07-15 | Paper |
| A New Foundation for Finitary Corecursion | 2016-06-10 | Paper |
| Continuous Functions on Final Coalgebras | 2016-05-10 | Paper |
| A New Foundation for Finitary Corecursion | 2016-01-07 | 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 |
| Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic | 2015-01-06 | Paper |
| Coalgebraic Weak Bisimulation from Recursive Equations over Monads | 2014-07-01 | Paper |
| Admissibility of Cut in Coalgebraic Logics | 2014-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863899 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852369 | 2013-10-08 | Paper |
| Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 | 2013-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847816 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843731 | 2013-08-23 | Paper |
| Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic | 2013-08-15 | Paper |
| A computational model for multi-variable differential calculus | 2013-06-06 | Paper |
| Modal Languages for Coalgebras in a Topological Setting | 2013-04-26 | Paper |
| Coalgebraic Predicate Logic: Equipollence Results and Proof Theory | 2013-04-12 | Paper |
| Comodels and Effects in Mathematical Operational Semantics | 2013-03-18 | Paper |
| Some Sahlqvist Completeness Results for Coalgebraic Logics | 2013-03-18 | Paper |
| Coalgebraic Predicate Logic | 2012-11-01 | Paper |
| Sequent Systems for Lewis’ Conditional Logics | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904057 | 2012-08-05 | Paper |
| Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description) | 2012-06-15 | Paper |
| STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS | 2012-04-24 | Paper |
| EXPTIME Tableaux for the Coalgebraic mu-Calculus | 2012-04-02 | Paper |
| Named Models in Coalgebraic Hybrid Logic | 2012-01-23 | Paper |
| Coalgebraic semantics of modal logics: an overview | 2011-09-22 | Paper |
| On the Fusion of Coalgebraic Logics | 2011-09-02 | Paper |
| Cut Elimination for Shallow Modal Logics | 2011-07-01 | 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 |
| Hybrid logic with the difference modality for generalisations of graphs | 2011-03-22 | 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 |
| Optimal Tableau Algorithms for Coalgebraic Logics | 2010-04-27 | Paper |
| Coalgebraic Correspondence Theory | 2010-04-27 | Paper |
| Recent Trends in Algebraic Development Techniques | 2010-04-20 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Representations of Stream Processors Using Nested Fixed Points | 2010-01-28 | Paper |
| Generic Modal Cut Elimination Applied to Conditional Logics | 2009-12-01 | Paper |
| EXPTIME Tableaux for the Coalgebraic μ-Calculus | 2009-11-12 | Paper |
| Coalgebraic Hybrid Logic | 2009-03-31 | Paper |
| Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics | 2008-04-11 | Paper |
| Modular construction of complete coalgebraic logics | 2007-12-18 | Paper |
| Modular Algorithms for Heterogeneous Modal Logics | 2007-11-28 | Paper |
| Rank-1 Modal Logics Are Coalgebraic | 2007-09-03 | Paper |
| Denotational semantics of hybrid automata | 2007-08-23 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| A Domain-Theoretic Account of Picard's Theorem | 2007-04-04 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Coalgebraic modal logic of finite rank | 2005-08-03 | Paper |
| Expressive logics for coalgebras via terminal sequence induction | 2005-07-06 | Paper |
| A coordination approach to mobile components | 2005-04-06 | Paper |
| Coalgebraic modal logic: soundness, completeness and decidability of local consequence | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763651 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762529 | 2002-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2703697 | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499307 | 2001-03-05 | Paper |
