Keywords

Researcher identifiers

  • IdHAL : luigi-santocanale
Number of documents

53

Luigi Santocanale, publications


Journal articles20 documents

Conference papers24 documents

  • Luigi Santocanale. ON DISCRETE IDEMPOTENT PATHS. Words 2019, Sep 2019, Loughborough, United Kingdom. ⟨hal-02153821⟩
  • Luigi Santocanale, Silvio Ghilardi. Ruitenburg's Theorem via Duality and Bounded Bisimulations. Advances in Modal Logic, Aug 2018, Bern, Switzerland. ⟨hal-01766636⟩
  • Luigi Santocanale. The equational theory of the natural join and inner union is decidable. FOSSACS 2018, Apr 2018, Thessaloniki, Greece. pp.494--510, ⟨10.1007/978-3-319-89366-2_27⟩. ⟨hal-01625134⟩
  • Maria João Gouveia, Luigi Santocanale. MIX STAR-AUTONOMOUS QUANTALES AND THE CONTINUOUS WEAK ORDER. RAMICS 2018, Oct 2018, Groningen, Netherlands. ⟨hal-01838560⟩
  • Maria Joao Gouveia, Luigi Santocanale. $\aleph_1$ and the Modal $\mu$-Calculus. 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. ⟨hal-01503091⟩
  • Luigi Santocanale. Embeddability into relational lattices is undecidable ⋆. RAMICS 2017, May 2017, Lyon, France. ⟨hal-01474822⟩
  • Luigi Santocanale. Relational lattices via duality. Coalgebraic Methods in Computer Science 2016, Apr 2016, Eindhoven, Netherlands. ⟨hal-01279408⟩
  • Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale. Fixed-point elimination in the Intuitionistic Propositional Calculus. FOSSACS 2016, Apr 2016, Eindhoven, Netherlands. ⟨hal-01249822⟩
  • Sabine Frittella, Luigi Santocanale. Fixed-Point Theory in the Varieties Dn. Relational and Algebraic Methods in Computer Science. RAMICS 2014, Apr 2014, Marienstatt im Westerwald, Germany. ⟨10.1007/978-3-319-06251-8_27⟩. ⟨hal-01509386⟩
  • Sabine Frittella, Luigi Santocanale. Fixed-point theory in the varieties D_n. RAMICS, Apr 2014, Marienstatt im Westerwald, Germany. pp.446--462, ⟨10.1007/978-3-319-06251-8_27⟩. ⟨hal-01260836⟩
  • Luigi Santocanale, Jérôme Fortier. Cuts for circular proofs: semantics and cut-elimination. Computer Science Logic 2013, Sep 2013, Torino, Italy. pp.248--262, ⟨10.4230/LIPIcs.CSL.2013.248⟩. ⟨hal-01260986⟩
  • Luigi Santocanale, Yde Venema. Uniform interpolation for monotone modal logic. Advances in Modal Logic, 2010, Moscow, Russia. pp.350--370. ⟨hal-01281238⟩
  • Luigi Santocanale, Robin Cockett. On the word problem for SP-categories, and the properties of two-way communication. CSL 2009, Sep 2009, Coimbra, Portugal. pp.194-208, ⟨10.1007/978-3-642-04027-6_16⟩. ⟨hal-00374654⟩
  • Walid Belkhir, Luigi Santocanale. Undirected Graphs of Entanglement Two. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Dec 2007, India. ⟨10.1007/978-3-540-77050-3_42⟩. ⟨hal-00144355v2⟩
  • Luigi Santocanale. A Nice Labelling for Tree-Like Event Structures of Degree 3. CONCUR 2007, Sep 2007, Lisbon, Portugal. pp.151-165, ⟨10.1007/978-3-540-74407-8_11⟩. ⟨hal-00142349⟩
  • Luigi Santocanale, Yde Venema. Y. Venema, L. Santocanale, Completeness for flat modal fixpoint logics,. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.499--513, ⟨10.1007/978-3-540-75560-9_36⟩. ⟨hal-01290705⟩
  • Luigi Santocanale. Topological properties of event structures. GETCO 2006, Geometrical and Topological Methods in Concurrency, Aug 2006, Bonn, Germany. pp.149-160, ⟨10.1016/j.entcs.2009.02.023⟩. ⟨hal-00432038⟩
  • Luigi Santocanale. Completions of μ-algebras. 20th IEEE Symposium on Logic in Computer Science, Jun 2005, Chicago, United States. pp.219--228, ⟨10.1109/LICS.2005.11⟩. ⟨hal-01288855⟩
  • Luigi Santocanale, André Arnold. Ambiguous classes in the games μ-calculus hierarchy. 6th International Conference on Foundations of Software Science and Computation Structures, Apr 2003, Warsaw, Poland. pp.70--86, ⟨10.1007/3-540-36576-1_5⟩. ⟨hal-01288878⟩
  • Luigi Santocanale, Silvio Ghilardi. Algebraic and model theoretic techniques for fusion decidability in modal logics. 10th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Sep 2003, Almaty, Kazakhstan. pp.152--166, ⟨10.1007/b13986⟩. ⟨hal-01281233⟩
  • Luigi Santocanale. Logical Construction of Final Coalgebras. Electronic Notes in Theoretical Computer Science, 2003, Warsaw, Poland. vol 82, p. 1-20. ⟨hal-00111230⟩
  • Luigi Santocanale. A calculus of circular proofs and its categorical semantics. FOSSACS 2002, Apr 2002, Grenoble, France. pp.357--371, ⟨10.1007/3-540-45931-6_25⟩. ⟨hal-01261170⟩
  • Luigi Santocanale. From parity games to circular proofs. CMCS'2002, Coalgebraic Methods in Computer Science., Apr 2002, Grenoble, France. pp.1--12, ⟨10.1016/S1571-0661(04)80370-0⟩. ⟨hal-01261240⟩
  • Luigi Santocanale. On the equational definition of the least prefixed point. Mathematical Foundations of Computer Science 2001, Aug 2001, Marianske Lazne, Czech Republic. ⟨10.1007/3-540-44683-4_56⟩. ⟨hal-01261158⟩

Book sections2 documents

  • Nathalie Caspard, Luigi Santocanale, Friedrich Wehrung. Permutohedra and Associahedra. Lattice Theory: Special Topics and Applications (Volume 2), Birkhäuser / Springer, pp.215--286, 2016, ⟨10.1007/978-3-319-44236-5⟩. ⟨hal-01700866⟩
  • Luigi Santocanale, Friedrich Wehrung. Generalizations of the permutohedron. G. Gratzer; F. Wehrung. Lattice Theory: Special Topics and Applications, Birkhäuser, pp.287--397, 2016. ⟨hal-01774635⟩

Preprints, Working Papers, ...5 documents

  • Maria João Gouveia, Luigi Santocanale. The continuous weak order. 2019. ⟨hal-01944759v3⟩
  • Silvio Ghilardi, Luigi Santocanale. Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. 2019. ⟨hal-01969235⟩
  • Gian Meloni, Luigi Santocanale. Relational Semantics for Distributive Linear Logic. 2018. ⟨hal-01851509⟩
  • Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale. Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). 2018. ⟨hal-01716485⟩
  • Luigi Santocanale. A duality for finite lattices. 2009. ⟨hal-00432113⟩

Reports1 document

  • Luigi Santocanale. µ-Bicomplete Categories and Parity Games. [Research Report] RR-1281-02, LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2002. ⟨hal-01376731⟩

Habilitation à diriger des recherches1 document

  • Luigi Santocanale. Structures algébriques en logique et concurrence. Calcul parallèle, distribué et partagé [cs.DC]. Université de Provence - Aix-Marseille I, 2008. ⟨tel-00369583⟩