Letterio Galletta (Dipartimento di Informatica

Identifiers

• name variant Letterio Galletta (Dipartimento di Informatica 0.60 · backfill

Papers (4)

1. Tool Supported Analysis of IoT cs.LO · 2017 · author #5
2. A Step Towards Checking Security in IoT cs.PL · 2016 · author #7
3. A Context-Oriented Extension of F# cs.PL · 2015 · author #13
4. An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language cs.LO · 2011 · author #1

Mentions

• 1108.2359 #1 · backfill · confidence 0.70 Letterio Galletta (Dipartimento di Informatica

Frequent Coauthors

• Pierpaolo Degano (Dipartimento di Informatica 3 shared papers
• Universit\`a di Pisa) 3 shared papers
• Chiara Bodei (Dipartimento di Informatica 2 shared papers
• Gian-Luigi Ferrari (Dipartimento di Informatica 2 shared papers
• Andrea Canciani (Dipartimento di Informatica 1 shared papers
• Emilio Tuosto (Department of Informatics 1 shared papers
• Giorgio Levi (Dipartimento di Informatica 1 shared papers
• Italy) 1 shared papers
• Pisa 1 shared papers
• Universit\`a di Pisa 1 shared papers
• University of Leicester) 1 shared papers