Gian-Luigi Ferrari (Dipartimento di Informatica

Identifiers

No identifiers captured yet.

Papers (3)

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

Mentions

No mention provenance yet.

Frequent Coauthors

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