Pierre-Malo Deni\'elou

Identifiers

• name variant Pierre-Malo Deni\'elou 0.60 · backfill

Papers (2)

1. Combining behavioural types with security analysis cs.PL · 2015 · author #3
2. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types cs.FL · 2013 · author #1

Mentions

• 1510.02229 #3 · backfill · confidence 0.70 Pierre-Malo Deni\'elou
• 1304.1902 #1 · backfill · confidence 0.70 Pierre-Malo Deni\'elou

Frequent Coauthors

• Bernardo Toninho 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
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Massimo Bartoletti 1 shared papers
• Nobuko Yoshida 1 shared papers
• Peter Thiemann 1 shared papers
• Silvia Ghilezan 1 shared papers