| Publication | Date of Publication | Type |
|---|
| The alternating-time -calculus with disjunctive explicit strategies | 2026-03-23 | Paper |
| Weak similarity in higher-order mathematical operational semantics | 2026-02-27 | Paper |
| Nominal tree automata with name allocation | 2026-02-10 | Paper |
| Relational connectors and heterogeneous simulations | 2025-12-04 | Paper |
| Expressive quantale-valued logics for coalgebras: an adjunction-based approach | 2025-11-10 | Paper |
| 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
Logical Methods in Computer Science | 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
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Monads on Categories of Relational Structures.
(available as arXiv preprint) | 2023-12-08 | Paper |
Kantorovich functors and characteristic logics for behavioural distances
Lecture Notes in Computer Science | 2023-11-24 | Paper |
scientific article; zbMATH DE number 7730634 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
Nominal Büchi Automata with Name Allocation
(available as arXiv preprint) | 2023-08-21 | Paper |
A Linear-Time Nominal μ-Calculus with Name Allocation.
(available as arXiv preprint) | 2023-08-08 | Paper |
| Game-based local model checking for the coalgebraic \(\mu\)-calculus | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7649944 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Logical Methods in Computer Science | 2023-01-09 | Paper |
NP reasoning in the monotone \(\mu\)-calculus
(available as arXiv preprint) | 2022-11-09 | Paper |
| Towards a Higher-Order Mathematical Operational Semantics | 2022-10-24 | Paper |
scientific article; zbMATH DE number 7585716 (Why is no real title available?)
(available as arXiv preprint) | 2022-09-15 | Paper |
scientific article; zbMATH DE number 7566075 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566075 (Why is no real title available?) | 2022-08-02 | Paper |
| Quantitative Hennessy-Milner Theorems via Notions of Density | 2022-07-19 | Paper |
| scientific article; zbMATH DE number 7559483 (Why is no real title available?) | 2022-07-18 | Paper |
Finitary monads on the category of posets
Mathematical Structures in Computer Science | 2022-04-05 | Paper |
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| A quantified coalgebraic van Benthem theorem | 2021-10-18 | Paper |
From generic partition refinement to weighted tree automata minimization
Formal Aspects of Computing | 2021-09-14 | Paper |
Quasipolynomial computation of nested fixpoints
(available as arXiv preprint) | 2021-08-04 | Paper |
A metalanguage for guarded iteration
Theoretical Computer Science | 2021-07-22 | Paper |
Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas
(available as arXiv preprint) | 2021-02-22 | Paper |
Automata Learning
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
A van Benthem theorem for fuzzy modal logic
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Behavioural Preorders via Graded Monads | 2020-11-29 | Paper |
Efficient Coalgebraic Partition Refinement
(available as arXiv preprint) | 2020-05-27 | Paper |
Efficient and modular coalgebraic partition refinement
(available as arXiv preprint) | 2020-02-05 | Paper |
Optimal satisfiability checking for arithmetic \(\mu\)-calculi
(available as arXiv preprint) | 2020-01-28 | Paper |
Generic Hoare logic for order-enriched effects with exceptions
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
Permutation games for the weakly aconjunctive \(\mu \)-calculus
(available as arXiv preprint) | 2019-09-16 | Paper |
scientific article; zbMATH DE number 7080198 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-12 | Paper |
Combining machine learning and semantic features in the classification of corporate disclosures
Journal of Logic, Language and Information | 2019-06-26 | Paper |
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
(available as arXiv preprint) | 2018-12-04 | Paper |
A metalanguage for guarded iteration
Theoretical Aspects of Computing – ICTAC 2018 | 2018-11-23 | Paper |
Predicate liftings and functor presentations in coalgebraic expression languages
(available as arXiv preprint) | 2018-10-23 | Paper |
Unguarded recursion on coinductive resumptions
(available as arXiv preprint) | 2018-09-06 | Paper |
| Uniform interpolation in coalgebraic modal logic | 2018-08-13 | Paper |
Guarded traced categories
(available as arXiv preprint) | 2018-07-17 | Paper |
Model theory and proof theory of coalgebraic predicate logic
(available as arXiv preprint) | 2018-04-25 | Paper |
Subsumption checking in conjunctive coalgebraic fixpoint logics
(available as arXiv preprint) | 2018-04-23 | Paper |
Program equivalence is coinductive
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Completeness of flat coalgebraic fixpoint logics
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Global caching for the alternation-free \(\mu\)-calculus
(available as arXiv preprint) | 2018-03-21 | Paper |
| Generic trace semantics and graded monads | 2017-07-11 | Paper |
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Nominal automata with name binding
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Unifying guarded and unguarded iteration
Lecture Notes in Computer Science | 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
Journal Of Logic And Computation | 2017-05-17 | Paper |
Probabilistic description logics for subjective uncertainty
Journal of Artificial Intelligence Research | 2017-01-11 | Paper |
Unguarded recursion on coinductive resumptions
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Sound and complete equational reasoning over comodels
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
Applied Categorical Structures | 2016-10-20 | Paper |
Reasoning with global assumptions in arithmetic modal logics
Fundamentals of Computation Theory | 2015-09-29 | Paper |
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Simplified coalgebraic trace equivalence
Software, Services, and Systems | 2015-06-22 | Paper |
Monodic fragments of probabilistic first-order logic
Automata, Languages, and Programming | 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
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
A coinductive calculus for asynchronous side-effecting processes
Information and Computation | 2014-01-16 | Paper |
Exploring the boundaries of monad tensorability on Set
Logical Methods in Computer Science | 2013-09-26 | Paper |
Simulations and bisimulations for coalgebraic modal logics
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
| \textsc{CoCasl} at work -- modelling process algebra | 2013-08-23 | Paper |
Classifying categories for partial equational logic
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Coalgebraic Announcement Logics
Automata, Languages, and Programming | 2013-08-07 | Paper |
Coalgebraic predicate logic
Automata, Languages, and Programming | 2012-11-01 | Paper |
Narcissists are easy, stepmothers are hard
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Kleene monads: handling iteration in a framework of generic effects
Algebra and Coalgebra in Computer Science | 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
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
A coinductive calculus for asynchronous side-effecting processes
Fundamentals of Computation Theory | 2011-08-19 | Paper |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
Generic modal cut elimination applied to conditional logics
Logical Methods in Computer Science | 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
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Cut elimination in coalgebraic logics
Information and Computation | 2011-01-14 | Paper |
Rank-1 modal logics are coalgebraic
Journal Of Logic And Computation | 2010-11-11 | Paper |
Global caching for coalgebraic description logics
Automated Reasoning | 2010-09-14 | Paper |
Flat coalgebraic fixed point logics
Lecture Notes in Computer Science | 2010-08-31 | Paper |
A generic complete dynamic logic for reasoning about purity and effects
Formal Aspects of Computing | 2010-05-28 | Paper |
Coalgebraic Correspondence Theory
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Algebraic-coalgebraic specification in CoCasl.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Monad-independent dynamic logic in HasCasl.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Generic Modal Cut Elimination Applied to Conditional Logics
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Bootstrapping Inductive and Coinductive Types in HasCASL
Logical Methods in Computer Science | 2009-04-29 | Paper |
Coalgebraic Hybrid Logic
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
HasCasl: integrated higher-order specification and program development
Theoretical Computer Science | 2009-03-25 | Paper |
Bootstrapping Types and Cotypes in HasCASL
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Linearizability of non-expansive semigroup actions on metric spaces
Topology and its Applications | 2008-08-06 | Paper |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Expressivity of coalgebraic modal logic: the limits and beyond
Theoretical Computer Science | 2008-03-05 | Paper |
Modular Algorithms for Heterogeneous Modal Logics
Automata, Languages and Programming | 2007-11-28 | Paper |
Coalgebraic Modal Logic in CoCasl
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
Completeness of Global Evaluation Logic
Lecture Notes in Computer Science | 2007-09-05 | Paper |
Rank-1 Modal Logics Are Coalgebraic
STACS 2007 | 2007-09-03 | Paper |
A finite model construction for coalgebraic modal logic
The Journal of Logic and Algebraic Programming | 2007-08-23 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
A coalgebraic approach to the semantics of the ambient calculus
Theoretical Computer Science | 2007-01-09 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Algebraic-coalgebraic specification in CoCASL
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
Theoretical Computer Science | 2006-04-28 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Recent Trends in Algebraic Development Techniques
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Amalgamation in the semantics of CASL
Theoretical Computer Science | 2005-04-06 | Paper |
Globalization of confluent partial actions on topological and metric spaces
Topology and its Applications | 2005-02-22 | Paper |
Monad-independent Dynamic Logic in HasCasl
Journal Of Logic And Computation | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2079678 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2061625 (Why is no real title available?) | 2004-03-21 | Paper |
| scientific article; zbMATH DE number 1956493 (Why is no real title available?) | 2003-07-30 | Paper |
Universal aspects of probabilistic automata
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
Free factorizations
Applied Categorical Structures | 2002-12-11 | Paper |
| scientific article; zbMATH DE number 1841835 (Why is no real title available?) | 2002-12-04 | Paper |
| scientific article; zbMATH DE number 1834668 (Why is no real title available?) | 2002-11-25 | Paper |
Monads on composition graphs
Applied Categorical Structures | 2002-08-19 | Paper |
TRACES OF EPIMORPHISM CLASSES
Quaestiones Mathematicae | 2002-08-07 | Paper |
| scientific article; zbMATH DE number 1754650 (Why is no real title available?) | 2002-06-12 | Paper |
| scientific article; zbMATH DE number 1665321 (Why is no real title available?) | 2002-05-22 | Paper |
| scientific article; zbMATH DE number 1693525 (Why is no real title available?) | 2002-01-22 | Paper |
Free adjunction of morphisms
Applied Categorical Structures | 2002-01-17 | Paper |
| scientific article; zbMATH DE number 1617296 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1496861 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1496861 (Why is no real title available?) | 2001-02-21 | Paper |
| scientific article; zbMATH DE number 1389227 (Why is no real title available?) | 2000-08-03 | Paper |
| scientific article; zbMATH DE number 1389227 (Why is no real title available?) | 2000-08-03 | Paper |
| scientific article; zbMATH DE number 1410953 (Why is no real title available?) | 2000-03-07 | Paper |
