Pierpaolo Degano (Dipartimento di Informatica

Identifiers

• name variant Pierpaolo Degano (Dipartimento di Informatica 0.60 · backfill

Papers (4)

1. Tool Supported Analysis of IoT cs.LO · 2017 · author #3
2. A Step Towards Checking Security in IoT cs.PL · 2016 · author #3
3. A Context-Oriented Extension of F# cs.PL · 2015 · author #5
4. From Orchestration to Choreography through Contract Automata cs.FL · 2014 · author #4

Mentions

• 1410.7471 #4 · backfill · confidence 0.70 Pierpaolo Degano (Dipartimento di Informatica

Frequent Coauthors

• Gian-Luigi Ferrari (Dipartimento di Informatica 3 shared papers
• Letterio Galletta (Dipartimento di Informatica 3 shared papers
• Chiara Bodei (Dipartimento di Informatica 2 shared papers
• Italy) 2 shared papers
• Universit\`a di Pisa) 2 shared papers
• University of Leicester) 2 shared papers
• Andrea Canciani (Dipartimento di Informatica 1 shared papers
• Davide Basile (Dipartimento di Informatica 1 shared papers
• Emilio Tuosto (Computer Science Department 1 shared papers
• Emilio Tuosto (Department of Informatics 1 shared papers
• Pisa 1 shared papers
• Universit\`a di Pisa 1 shared papers
• Universita' di Pisa 1 shared papers