On the Equational Definition of the Least Prefixed Point. - Luigi Santocanale (MFCS, 2001)

Congruences of modal µ-algebras. - Luigi Santocanale (FICS, 2002)

A Calculus of Circular Proofs and Its Categorical Semantics. - Luigi Santocanale (FoSSaCS, 2002)

Induction, Coinduction, and Adjoints. - J. Robin B. Cockett; Luigi Santocanale (CTCS, 2002)

From Parity Games to Circular Proofs. - Luigi Santocanale (CMCS, 2002)

µ-Bicomplete Categories and Parity Games. - Luigi Santocanale (RAIRO Theor. Informatics Appl., 2002)

On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. - André Arnold; Luigi Santocanale (FICS, 2003)

Ambiguous Classes in the Games µ-Calculus Hierarchy. - André Arnold; Luigi Santocanale (FoSSaCS, 2003)

Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. - Silvio Ghilardi; Luigi Santocanale (LPAR, 2003)

Logical Construction of Final Coalgebras. - Luigi Santocanale (CMCS, 2003)

Completions of µ-algebras. - Luigi Santocanale (LICS, 2005)

Ambiguous classes in mu-calculi hierarchies. - Luigi Santocanale; André Arnold (Theor. Comput. Sci., 2005)

Topological Properties of Event Structures. - Luigi Santocanale (GETCO, 2006)

A Nice Labelling for Tree-Like Event Structures of Degree 3. - Luigi Santocanale (CONCUR, 2007)

Undirected Graphs of Entanglement 2. - Walid Belkhir; Luigi Santocanale (FSTTCS, 2007)

Completeness for Flat Modal Fixpoint Logics. - Luigi Santocanale; Yde Venema (LPAR, 2007)

Undirected Graphs of Entanglement Two - Walid Belkhir; Luigi Santocanale (CoRR, 2007)

The Variable Hierarchy for the Games mu-Calculus - Walid Belkhir; Luigi Santocanale (CoRR, 2007)

On the Join Dependency Relation in Multinomial Lattices. - Luigi Santocanale (Order, 2007)

Structures algébriques en logique et concurrence. - Luigi Santocanale (2008)

The Variable Hierarchy for the Lattice µ-Calculus. - Walid Belkhir; Luigi Santocanale (LPAR, 2008)

On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. - J. Robin B. Cockett; Luigi Santocanale (CSL, 2009)

A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) - Luigi Santocanale (CoRR, 2009)

On the word problem for SP-categories, and the properties of two-way communication - Luigi Santocanale; J. Robin B. Cockett (CoRR, 2009)

Uniform Interpolation for Monotone Modal Logic. - Luigi Santocanale; Yde Venema (Advances in Modal Logic, 2010)

The variable hierarchy for the games µ-calculus. - Walid Belkhir; Luigi Santocanale (Ann. Pure Appl. Log., 2010)

Cuts for circular proofs: semantics and cut-elimination. - Jérôme Fortier; Luigi Santocanale (CSL, 2013)

Cuts for circular proofs. - Jérôme Fortier; Luigi Santocanale (TACL, 2013)

Sublattices of associahedra and permutohedra. - Luigi Santocanale; Friedrich Wehrung (Adv. Appl. Math., 2013)

Varieties of Lattices with Geometric Descriptions. - Luigi Santocanale; Friedrich Wehrung (Order, 2013)

Fixed-Point Theory in the Varieties $ mathcal{D}_{n}$. - Sabine Frittella; Luigi Santocanale (RAMiCS, 2014)

The extended permutohedron on a transitive binary relation. - Luigi Santocanale; Friedrich Wehrung (Eur. J. Comb., 2014)

Lattices of regular closed subsets of closure spaces. - Luigi Santocanale; Friedrich Wehrung (Int. J. Algebra Comput., 2014)

Relational Lattices via Duality. - Luigi Santocanale (CMCS, 2016)

Fixed-Point Elimination in the Intuitionistic Propositional Calculus. - Silvio Ghilardi; Maria João Gouveia; Luigi Santocanale (FoSSaCS, 2016)

The Quasiequational theory of relational lattices, in the pure latice theory. - Luigi Santocanale (CoRR, 2016)

Embeddability into Relational Lattices Is Undecidable. - Luigi Santocanale (RAMiCS, 2017)

Aleph1 and the Modal mu-Calculus. - Maria João Gouveia; Luigi Santocanale (CSL, 2017)

Dual characterizations for finite lattices via correspondence theory for monotone modal logic. - Sabine Frittella; Alessandra Palmigiano; Luigi Santocanale (J. Log. Comput., 2017)

MIX star -Autonomous Quantales and the Continuous Weak Order. - Maria João Gouveia; Luigi Santocanale (RAMiCS, 2018)

Ruitenburg's Theorem via Duality and Bounded Bisimulations. - Silvio Ghilardi; Luigi Santocanale (Advances in Modal Logic, 2018)

The Equational Theory of the Natural Join and Inner Union is Decidable. - Luigi Santocanale (FoSSaCS, 2018)

Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). - Silvio Ghilardi; Maria João Gouveia; Luigi Santocanale (CoRR, 2018)

Mix ⋆-autonomous quantales and the continuous weak order. - Maria João Gouveia; Luigi Santocanale (CoRR, 2018)

The continuous weak order. - Maria João Gouveia; Luigi Santocanale (CoRR, 2018)

On Discrete Idempotent Paths. - Luigi Santocanale (WORDS, 2019)

ℵ1 and the modal μ-calculus. - Maria João Gouveia; Luigi Santocanale (Log. Methods Comput. Sci., 2019)

The Involutive Quantaloid of Completely Distributive Lattices. - Luigi Santocanale (RAMiCS, 2020)

Bijective proofs for Eulerian numbers in types B and D. - Luigi Santocanale (ALGOS, 2020)

Dualizing sup-preserving endomaps of a complete lattice. - Luigi Santocanale (ACT, 2020)

Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. - Silvio Ghilardi; Luigi Santocanale (Math. Struct. Comput. Sci., 2020)

Skew Metrics Valued in Sugihara Semigroups. - Luigi Santocanale (RAMiCS, 2021)

Frobenius Structures in Star-Autonomous Categories. - Cédric de Lacroix; Luigi Santocanale (CSL, 2023)

Unitless Frobenius Quantales. - Cédric de Lacroix; Luigi Santocanale (Appl. Categorical Struct., 2023)

Lifting star-autonomous structures. - Luigi Santocanale; Cédric de Lacroix; Gregory Chichery (CoRR, 2023)

Complete Congruences of Completely Distributive Lattices. - Cameron Calk; Luigi Santocanale (RAMiCS, 2024)

Lifting Star-Autonomy. - Cédric de Lacroix; Gregory Chichery; Luigi Santocanale (RAMiCS, 2024)