| Publication | Date of Publication | Type |
|---|
| Lifting star-autonomous structures | 2023-09-19 | Paper |
| Skew metrics valued in Sugihara semigroups | 2023-03-30 | Paper |
| Unitless Frobenius quantales | 2023-01-04 | Paper |
| The Involutive Quantaloid of Completely Distributive Lattices | 2022-08-30 | Paper |
| Frobenius structures in star-autonomous categories | 2022-07-28 | Paper |
| Unitless Frobenius quantales | 2022-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019688 | 2022-01-10 | Paper |
| Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond | 2020-12-08 | Paper |
| The continuous weak order | 2020-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111208 | 2020-05-26 | Paper |
| $\aleph_1$ and the modal $\mu$-calculus | 2019-11-26 | Paper |
| Fixed-point Elimination in the Intuitionistic Propositional Calculus | 2019-11-22 | Paper |
| On discrete idempotent paths | 2019-11-06 | Paper |
| Ruitenburg's Theorem via Duality and Bounded Bisimulations | 2019-07-24 | Paper |
| Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond | 2019-01-04 | Paper |
| MIX \(\star\)-autonomous quantales and the continuous weak order | 2018-11-08 | Paper |
| The equational theory of the weak Bruhat order on finite symmetric groups | 2018-08-24 | Paper |
| Mix $\star$-autonomous quantales and the continuous weak order | 2018-07-18 | Paper |
| The equational theory of the natural join and inner union is decidable | 2018-07-17 | Paper |
| Embeddability into relational lattices is undecidable | 2018-06-27 | Paper |
| Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version) | 2018-03-05 | Paper |
| Embeddability into Relational Lattices Is Undecidable | 2017-07-21 | Paper |
| Dual characterizations for finite lattices via correspondence theory for monotone modal logic | 2017-05-17 | Paper |
| Permutohedra and Associahedra | 2017-04-07 | Paper |
| Generalizations of the Permutohedron | 2017-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958526 | 2017-02-02 | Paper |
| Relational Lattices via Duality | 2016-07-15 | Paper |
| The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable) | 2016-07-11 | Paper |
| Fixed-Point Elimination in the Intuitionistic Propositional Calculus | 2016-06-10 | Paper |
| Topological Properties of Event Structures | 2016-06-06 | Paper |
| Lattices of regular closed subsets of closure spaces | 2015-01-21 | Paper |
| The extended permutohedron on a transitive binary relation. | 2014-09-04 | Paper |
| Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$ | 2014-04-16 | Paper |
| Sublattices of associahedra and permutohedra | 2014-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843736 | 2013-08-23 | Paper |
| Induction, Coinduction, and Adjoints | 2013-08-16 | Paper |
| From Parity Games to Circular Proofs | 2013-08-15 | Paper |
| Varieties of lattices with geometric descriptions | 2013-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2904063 | 2012-08-05 | Paper |
| Completeness for flat modal fixpoint logics | 2011-09-12 | Paper |
| The variable hierarchy for the games \(\mu \)-calculus | 2011-08-26 | Paper |
| Derived semidistributive lattices | 2010-11-22 | Paper |
| A Nice labelling for tree-like event structures of degree 3 | 2010-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408136 | 2010-02-24 | Paper |
| On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication | 2009-11-12 | Paper |
| The Variable Hierarchy for the Lattice μ-Calculus | 2009-01-27 | Paper |
| A Nice Labelling for Tree-Like Event Structures of Degree 3 | 2008-09-18 | Paper |
| Completions of \(\mu \)-algebras | 2008-05-23 | Paper |
| Completeness for Flat Modal Fixpoint Logics | 2008-05-15 | Paper |
| Undirected Graphs of Entanglement 2 | 2008-04-24 | Paper |
| On the join dependency relation in multinomial lattices | 2007-12-17 | Paper |
| Congruences of Multinomial Lattices | 2005-10-05 | Paper |
| Ambiguous classes in \(\mu\)-calculi hierarchies | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738237 | 2004-08-11 | Paper |
| μ-Bicomplete Categories and Parity Games | 2003-10-15 | Paper |
| On the equational definition of the least prefixed point. | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417852 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779179 | 2002-11-25 | Paper |
| Free \(\mu\)-lattices | 2002-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770141 | 2002-02-07 | Paper |
| Bijective proofs for Eulerian numbers of types B and D | 0001-01-03 | Paper |
