Ilaria Castellani

Identifiers

• name variant Ilaria Castellani 0.60 · backfill

Papers (2)

1. Combining behavioural types with security analysis cs.PL · 2015 · author #2
2. Reactive concurrent programming revisited cs.PL · 2005 · author #3

Mentions

• 1510.02229 #2 · backfill · confidence 0.70 Ilaria Castellani

Frequent Coauthors

• Bernardo Toninho 1 shared papers
• Frederic Boussinot 1 shared papers
• Gerard Boudol 1 shared papers
• Hugo Torres Vieira 1 shared papers
• Jorge A. P\'erez 1 shared papers
• Jovanka Pantovic 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Massimo Bartoletti 1 shared papers
• Peter Thiemann 1 shared papers
• Pierre-Malo Deni\'elou 1 shared papers
• Roberto Amadio (PPS) 1 shared papers
• Silvia Ghilezan 1 shared papers