Universit\`a di Pisa)
Identifiers
- name variant Universit\`a di Pisa) 0.60 · backfill
Papers (8)
- All-optical switching in dye-doped DNA nanofibers physics.app-ph · 2018 · author #13
- Tool Supported Analysis of IoT cs.LO · 2017 · author #2
- A Step Towards Checking Security in IoT cs.PL · 2016 · author #2
- Using a Machine Learning Approach to Implement and Evaluate Product Line Features cs.SE · 2015 · author #2
- On Properties of Policy-Based Specifications cs.SE · 2015 · author #2
- An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language cs.LO · 2011 · author #2
- Scaling between structural relaxation and caged dynamics in Ca_{0.4}K_0.6(NO_{3})_{1.4} and glycerol: free volume, time scales and implications for the pressure-energy correlations cond-mat.soft · 2011 · author #3
- Safer in the Clouds (Extended Abstract) cs.CR · 2010 · author #2
Mentions
Frequent Coauthors
- Chiara Bodei (Dipartimento di Informatica 3 shared papers
- Letterio Galletta (Dipartimento di Informatica 3 shared papers
- Pierpaolo Degano (Dipartimento di Informatica 2 shared papers
- 2) 1 shared papers
- (2) NEST 1 shared papers
- 3) 1 shared papers
- (3) Dipartimento di Fisica 1 shared papers
- Adam Szukalski (1 1 shared papers
- Alistar Ottochian (1) 1 shared papers
- Andrea Camposeo (2) 1 shared papers
- Andrea Margheri (Universit\`a degli Studi di Firenze 1 shared papers
- CNR) 1 shared papers
- Dario Pisignano (2 1 shared papers
- Davide Bacciu (Dipartimento di Informatica 1 shared papers
- Dino Leporini (1) ((1) Dipartimento di Fisica "Enrico Fermi'' 1 shared papers
- Emilio Tuosto (Department of Informatics 1 shared papers
- Francesco Tiezzi (Universit\`a di Camerino) 1 shared papers
- Gian Luigi Ferrari (Dipartimento di Informatica 1 shared papers
- Gian-Luigi Ferrari (Dipartimento di Informatica 1 shared papers
- Giorgio Levi (Dipartimento di Informatica 1 shared papers