Luigi Santocanale

82 papers A* 1B 15C 10Journal 42Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	C	`ed.`	Relational and Algebraic Methods in Computer Science - 22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7-10, 2026, Proceedings RAMICS Uli Fahrenberg, Wesley Fussner, Luigi Santocanale
2024	C	`conf`	Complete Congruences of Completely Distributive Lattices. RAMiCS Cameron Calk, Luigi Santocanale
2024	C	`conf`	Lifting Star-Autonomy. RAMiCS Cédric de Lacroix, Gregory Chichery, Luigi Santocanale
2023	B	`conf`	Frobenius Structures in Star-Autonomous Categories. CSL Cédric de Lacroix, Luigi Santocanale
2023	J	`jnl`	Lifting star-autonomous structures. CoRR Luigi Santocanale, Cédric de Lacroix, Gregory Chichery
2023	C	`ed.`	Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings RAMiCS Roland Glück, Luigi Santocanale, Michael Winter
2023	J	`jnl`	Unitless Frobenius Quantales. Appl. Categorical Struct. Cédric de Lacroix, Luigi Santocanale
2022	J	`jnl`	Frobenius structures in star-autonomous categories. CoRR Luigi Santocanale, Cédric de Lacroix
2022	J	`jnl`	Unitless Frobenius quantales. CoRR Cédric de Lacroix, Luigi Santocanale
2021	J	`jnl`	Bijective proofs for Eulerian numbers in types B and D. CoRR Luigi Santocanale
2021	C	`ed.`	Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
2021	C	`conf`	Skew Metrics Valued in Sugihara Semigroups. RAMiCS Luigi Santocanale
2020	—	`conf`	Bijective proofs for Eulerian numbers in types B and D. ALGOS Luigi Santocanale
2020	—	`conf`	Dualizing sup-preserving endomaps of a complete lattice. ACT Luigi Santocanale
2020	J	`jnl`	Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Trans. Comput. Log. Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
2020	J	`jnl`	Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. Math. Struct. Comput. Sci. Silvio Ghilardi, Luigi Santocanale
2020	C	`conf`	The Involutive Quantaloid of Completely Distributive Lattices. RAMiCS Luigi Santocanale
2019	J	`jnl`	Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. CoRR Silvio Ghilardi, Luigi Santocanale
2019	—	`conf`	On Discrete Idempotent Paths. WORDS Luigi Santocanale
2019	J	`jnl`	On discrete idempotent paths. CoRR Luigi Santocanale
2019	J	`jnl`	The Involutive Quantaloid of Completely Distributive Lattices. CoRR Luigi Santocanale
2019	J	`jnl`	ℵ Log. Methods Comput. Sci. Maria João Gouveia, Luigi Santocanale
2018	J	`jnl`	Embeddability into relational lattices is undecidable. J. Log. Algebraic Methods Program. Luigi Santocanale
2018	J	`jnl`	Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). CoRR Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
2018	C	`conf`	MIX \star -Autonomous Quantales and the Continuous Weak Order. RAMiCS Maria João Gouveia, Luigi Santocanale
2018	J	`jnl`	Mix ⋆-autonomous quantales and the continuous weak order. CoRR Maria João Gouveia, Luigi Santocanale
2018	B	`conf`	Ruitenburg's Theorem via Duality and Bounded Bisimulations. Advances in Modal Logic Silvio Ghilardi, Luigi Santocanale
2018	J	`jnl`	Ruitenburg's Theorem via Duality and Bounded Bisimulations. CoRR Luigi Santocanale, Silvio Ghilardi
2018	B	`conf`	The Equational Theory of the Natural Join and Inner Union is Decidable. FoSSaCS Luigi Santocanale
2018	J	`jnl`	The continuous weak order. CoRR Maria João Gouveia, Luigi Santocanale
2017	B	`conf`	Aleph1 and the Modal mu-Calculus. CSL Maria João Gouveia, Luigi Santocanale
2017	J	`jnl`	Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
2017	C	`conf`	Embeddability into Relational Lattices Is Undecidable. RAMiCS Luigi Santocanale
2017	J	`jnl`	The equational theory of the natural join and inner union is decidable. CoRR Luigi Santocanale
2017	J	`jnl`	א CoRR Maria João Gouveia, Luigi Santocanale
2016	B	`conf`	Fixed-Point Elimination in the Intuitionistic Propositional Calculus. FoSSaCS Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
2016	J	`jnl`	Fixed-point elimination in the intuitionistic propositional calculus. CoRR Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale
2016	—	`conf`	Relational Lattices via Duality. CMCS Luigi Santocanale
2016	J	`jnl`	Relational lattices via duality. CoRR Luigi Santocanale
2016	J	`jnl`	The Quasiequational theory of relational lattices, in the pure latice theory. CoRR Luigi Santocanale
2016	J	`jnl`	μ-Bicomplete Categories and Parity Games. CoRR Luigi Santocanale
2014	J	`jnl`	Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
2014	C	`conf`	Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. RAMiCS Sabine Frittella, Luigi Santocanale
2014	J	`jnl`	Lattices of regular closed subsets of closure spaces. Int. J. Algebra Comput. Luigi Santocanale, Friedrich Wehrung
2014	J	`jnl`	The extended permutohedron on a transitive binary relation. Eur. J. Comb. Luigi Santocanale, Friedrich Wehrung
2013	—	`conf`	Cuts for circular proofs. TACL Jérôme Fortier, Luigi Santocanale
2013	B	`conf`	Cuts for circular proofs: semantics and cut-elimination. CSL Jérôme Fortier, Luigi Santocanale
2013	J	`jnl`	Sublattices of associahedra and permutohedra. Adv. Appl. Math. Luigi Santocanale, Friedrich Wehrung
2013	J	`jnl`	Varieties of Lattices with Geometric Descriptions. Order Luigi Santocanale, Friedrich Wehrung
2010	—	`ed.`	7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. FICS Luigi Santocanale
2010	J	`jnl`	A nice labelling for tree-like event structures of degree 3. Inf. Comput. Luigi Santocanale
2010	J	`jnl`	Completeness for flat modal fixpoint logics. Ann. Pure Appl. Log. Luigi Santocanale, Yde Venema
2010	J	`jnl`	The variable hierarchy for the games µ-calculus. Ann. Pure Appl. Log. Walid Belkhir, Luigi Santocanale
2010	B	`conf`	Uniform Interpolation for Monotone Modal Logic. Advances in Modal Logic Luigi Santocanale, Yde Venema
2009	J	`jnl`	A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version) CoRR Luigi Santocanale
2009	B	`conf`	On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. CSL J. Robin B. Cockett, Luigi Santocanale
2009	J	`jnl`	On the word problem for SP-categories, and the properties of two-way communication CoRR Luigi Santocanale, J. Robin B. Cockett
2008	J	`jnl`	Completeness for Flat Modal Fixpoint Logics CoRR Luigi Santocanale, Yde Venema
2008	J	`jnl`	Completions of µ-algebras. Ann. Pure Appl. Log. Luigi Santocanale
2008	—	`book`	Structures algébriques en logique et concurrence. Luigi Santocanale
2008	B	`conf`	The Variable Hierarchy for the Lattice µ-Calculus. LPAR Walid Belkhir, Luigi Santocanale
2007	J	`jnl`	A Nice Labelling for Tree-Like Event Structures of Degree 3 CoRR Luigi Santocanale
2007	B	`conf`	A Nice Labelling for Tree-Like Event Structures of Degree 3. CONCUR Luigi Santocanale
2007	B	`conf`	Completeness for Flat Modal Fixpoint Logics. LPAR Luigi Santocanale, Yde Venema
2007	J	`jnl`	On the Join Dependency Relation in Multinomial Lattices. Order Luigi Santocanale
2007	J	`jnl`	The Variable Hierarchy for the Games mu-Calculus CoRR Walid Belkhir, Luigi Santocanale
2007	—	`conf`	Undirected Graphs of Entanglement 2. FSTTCS Walid Belkhir, Luigi Santocanale
2007	J	`jnl`	Undirected Graphs of Entanglement Two CoRR Walid Belkhir, Luigi Santocanale
2006	—	`conf`	Topological Properties of Event Structures. GETCO Luigi Santocanale
2005	J	`jnl`	Ambiguous classes in mu-calculi hierarchies. Theor. Comput. Sci. Luigi Santocanale, André Arnold
2005	A*	`conf`	Completions of µ-algebras. LICS Luigi Santocanale
2003	B	`conf`	Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. LPAR Silvio Ghilardi, Luigi Santocanale
2003	B	`conf`	Ambiguous Classes in the Games µ-Calculus Hierarchy. FoSSaCS André Arnold, Luigi Santocanale
2003	—	`conf`	Logical Construction of Final Coalgebras. CMCS Luigi Santocanale
2003	—	`conf`	On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. FICS André Arnold, Luigi Santocanale
2003	J	`jnl`	On the equational definition of the least prefixed point. Theor. Comput. Sci. Luigi Santocanale
2002	B	`conf`	A Calculus of Circular Proofs and Its Categorical Semantics. FoSSaCS Luigi Santocanale
2002	—	`conf`	Congruences of modal µ-algebras. FICS Luigi Santocanale
2002	—	`conf`	From Parity Games to Circular Proofs. CMCS Luigi Santocanale
2002	—	`conf`	Induction, Coinduction, and Adjoints. CTCS J. Robin B. Cockett, Luigi Santocanale
2002	J	`jnl`	µ-Bicomplete Categories and Parity Games. RAIRO Theor. Informatics Appl. Luigi Santocanale
2001	B	`conf`	On the Equational Definition of the Least Prefixed Point. MFCS Luigi Santocanale