Mariangiola Dezani-Ciancaglini

Identifiers

• name variant Mariangiola Dezani-Ciancaglini 0.60 · backfill

Papers (3)

1. On the Preciseness of Subtyping in Session Types cs.LO · 2016 · author #2
2. Combining behavioural types with security analysis cs.PL · 2015 · author #4
3. Intersection types for unbind and rebind cs.LO · 2011 · author #1

Mentions

• 1510.02229 #4 · backfill · confidence 0.70 Mariangiola Dezani-Ciancaglini
• 1101.4426 #1 · backfill · confidence 0.70 Mariangiola Dezani-Ciancaglini

Frequent Coauthors

• Alceste Scalas 1 shared papers
• Bernardo Toninho 1 shared papers
• Elena Zucca 1 shared papers
• Hugo Torres Vieira 1 shared papers
• Ilaria Castellani 1 shared papers
• Jorge A. P\'erez 1 shared papers
• Jovanka Pantovic 1 shared papers
• Massimo Bartoletti 1 shared papers
• Nobuko Yoshida 1 shared papers
• Paola Giannini 1 shared papers
• Peter Thiemann 1 shared papers
• Pierre-Malo Deni\'elou 1 shared papers
• Silvia Ghilezan 1 shared papers
• Tzu-Chun Chen 1 shared papers