| Publication | Date of Publication | Type |
|---|
| Lifting star-autonomy | 2025-03-12 | Paper |
| Complete congruences of completely distributive lattices | 2025-03-12 | Paper |
| Frobenius structures in star-autonomous categories | 2024-09-25 | Paper |
| Lifting star-autonomous structures | 2023-09-19 | Paper |
| Skew metrics valued in Sugihara semigroups | 2023-03-30 | Paper |
Unitless Frobenius quantales
Applied Categorical Structures | 2023-01-04 | Paper |
The Involutive Quantaloid of Completely Distributive Lattices
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| Frobenius structures in star-autonomous categories | 2022-07-28 | Paper |
Unitless Frobenius quantales
(available as arXiv preprint) | 2022-05-09 | Paper |
| Dualizing sup-preserving endomaps of a complete lattice | 2022-01-10 | Paper |
Dualizing sup-preserving endomaps of a complete lattice
(available as arXiv preprint) | 2022-01-10 | Paper |
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
The continuous weak order
Journal of Pure and Applied Algebra | 2020-08-28 | Paper |
| \(\aleph_1\) and the modal \(\mu\)-calculus | 2020-05-26 | Paper |
_1 and the modal -calculus
(available as arXiv preprint) | 2019-11-26 | Paper |
Fixed-point elimination in the intuitionistic propositional calculus
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
On discrete idempotent paths
(available as arXiv preprint) | 2019-11-06 | Paper |
Ruitenburg's theorem via duality and bounded bisimulations
(available as arXiv preprint) | 2019-07-24 | Paper |
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
(available as arXiv preprint) | 2019-01-04 | Paper |
MIX \(\star\)-autonomous quantales and the continuous weak order
(available as arXiv preprint) | 2018-11-08 | Paper |
The equational theory of the weak Bruhat order on finite symmetric groups
Journal of the European Mathematical Society (JEMS) | 2018-08-24 | Paper |
Mix \star-autonomous quantales and the continuous weak order
(available as arXiv preprint) | 2018-07-18 | Paper |
The equational theory of the natural join and inner union is decidable
(available as arXiv preprint) | 2018-07-17 | Paper |
Embeddability into relational lattices is undecidable
Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
| Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version) | 2018-03-05 | Paper |
Embeddability into relational lattices is undecidable
Relational and Algebraic Methods in Computer Science | 2017-07-21 | Paper |
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
Generalizations of the permutohedron
Lattice Theory: Special Topics and Applications | 2017-04-07 | Paper |
Permutohedra and associahedra
Lattice Theory: Special Topics and Applications | 2017-04-07 | Paper |
| scientific article; zbMATH DE number 6680140 (Why is no real title available?) | 2017-02-02 | Paper |
Relational lattices via duality
Coalgebraic Methods in Computer Science | 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
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Fixed-Point Elimination in the Intuitionistic Propositional Calculus
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Topological properties of event structures
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
Lattices of regular closed subsets of closure spaces
International Journal of Algebra and Computation | 2015-01-21 | Paper |
The extended permutohedron on a transitive binary relation.
European Journal of Combinatorics | 2014-09-04 | Paper |
Fixed-point theory in the varieties \(\mathcal{D}_{n}\)
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Sublattices of associahedra and permutohedra
Advances in Applied Mathematics | 2014-01-27 | Paper |
| Logical construction of final coalgebras | 2013-08-23 | Paper |
Logical construction of final coalgebras
(available as arXiv preprint) | 2013-08-23 | Paper |
Induction, coinduction, and adjoints
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
From parity games to circular proofs
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Varieties of lattices with geometric descriptions
Order | 2013-03-20 | Paper |
| Uniform interpolation for monotone modal logic | 2012-08-05 | Paper |
Completeness for flat modal fixpoint logics
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
The variable hierarchy for the games -calculus
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Derived semidistributive lattices
Algebra Universalis | 2010-11-22 | Paper |
A Nice labelling for tree-like event structures of degree 3
Information and Computation | 2010-06-25 | Paper |
| Algebraic and model theoretic techniques for fusion decidability in modal logics | 2010-02-24 | Paper |
On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
Computer Science Logic | 2009-11-12 | Paper |
The Variable Hierarchy for the Lattice μ-Calculus
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
A Nice Labelling for Tree-Like Event Structures of Degree 3
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Completions of -algebras
Annals of Pure and Applied Logic | 2008-05-23 | Paper |
Completeness for Flat Modal Fixpoint Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Undirected Graphs of Entanglement 2
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
On the join dependency relation in multinomial lattices
Order | 2007-12-17 | Paper |
| Congruences of Multinomial Lattices | 2005-10-05 | Paper |
Ambiguous classes in \(\mu\)-calculi hierarchies
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2087442 (Why is no real title available?) | 2004-08-11 | Paper |
<i>μ</i>-Bicomplete Categories and Parity Games
RAIRO - Theoretical Informatics and Applications | 2003-10-15 | Paper |
<i>μ</i>-Bicomplete Categories and Parity Games
RAIRO - Theoretical Informatics and Applications | 2003-10-15 | Paper |
<i>μ</i>-Bicomplete Categories and Parity Games
RAIRO - Theoretical Informatics and Applications | 2003-10-15 | Paper |
On the equational definition of the least prefixed point.
Theoretical Computer Science | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1956506 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1834683 (Why is no real title available?) | 2002-11-25 | Paper |
Free -lattices
Journal of Pure and Applied Algebra | 2002-04-07 | Paper |
The alternation hierarchy for the theory of -lattices
Theory and Applications of Categories | 2002-02-07 | Paper |
The alternation hierarchy for the theory of -lattices
Theory and Applications of Categories | 2002-02-07 | Paper |
Bijective proofs for Eulerian numbers of types B and D
(available as arXiv preprint) | N/A | Paper |
