Pubblicazioni

Marcucci, M.; Franchi, C.; Nobili, A.; Mannucci, P. M.; Ardoino, I.; Tettamanti, M.; Pasina, L.; Perticone, F.; Salerno, F.; Corrao, S.; Marengoni, A.; Licata, G.; Violi, F.; Corazza, G. R.; Eldin, T. K.; Di Blanca, M. P. D.; Djade, C. D.; Cortesi, L.; Prisco, D.; Silvestri, E.; Cenci, C.; Emmi, G.; Biolo, G.; Guarnieri, G.; Zanetti, M.; Fernandes, G.; Vanoli, M.; Grignani, G.; Casella, G.; Bernardi, M.; Bassi, S. L.; Santi, L.; Zaccherini, G.; Mannarino, E.; Lupattelli, G.; Bianconi, V.; Paciullo, F.; Nuti, R.; Valenti, R.; Ruvio, M.; Cappelli, S.; Palazzuoli, A.; Salvatore, T.; Sasso, F. C.; Girelli, D.; Olivieri, O.; Matteazzi, T.; Barbagallo, M.; Plances, L.; Alcamo, R.; Calvo, L.; Valentini, M.; Zoli, M.; Arno, R.; Pasini, F. L.; Capecchi, P. L.; Bicchi, M.; Palasciano, G.; Modeo, M. E.; Peragine, M.; Pappagallo, F.; Pugliese, S.; Di Gennaro, C.; Postiglione, A.; Barbella, M. R.; De Stefano, F.; Cappellini, M. D.; Fabio, G.; Seghezzi, S.; De Amicis, M. M.; Mari, D.; Rossi, P. D.;, Defining aging phenotypes and related outcomes: Clues to recognize frailty in hospitalized older patients, «JOURNALS OF GERONTOLOGY SERIES A-BIOLOGICAL SCIENCES AND MEDICAL SCIENCES», 2017, 72, pp. 395 - 402 [Articolo in rivista]

Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M., Programming adaptive microservice applications: An AIOCJ tutorial, in: Behavioural Types: from Theory to Tools, Gistrup, River Publishers, 2017, pp. 147 - 168 [Capitolo/Saggio in libro] Open Access

Piccinini F.; Tesei A.; Zanoni M.; Bevilacqua A., ReViMS: Software tool for estimating the volumes of 3-D multicellular spheroids imaged using a light sheet fluorescence microscope, «BIOTECHNIQUES», 2017, 63, pp. 227 - 229 [Articolo in rivista]

Hernán, Melgratti; Padovani, Luca, Chaperone Contracts for Higher-Order Sessions, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2017, 1, pp. 1 - 29 [Articolo in rivista]

Paula, Severi; Padovani, Luca; Emilio, Tuosto; Dezani, Mariangiola, On Sessions and Infinite Data, «LOGICAL METHODS IN COMPUTER SCIENCE», 2017, 13, pp. 1 - 45 [Articolo in rivista]

Padovani, Luca, A Simple Library Implementation of Binary Sessions, «JOURNAL OF FUNCTIONAL PROGRAMMING», 2017, 27, pp. 1 - 42 [Articolo in rivista]

Crafa, Silvia; Padovani, Luca, The Chemical Approach to Typestate-Oriented Programming, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2017, 39, pp. 13:1 - 13:45 [Articolo in rivista]

Padovani, Luca, Context-Free Session Type Inference, in: Programming Languages and Systems, DEU, Springer, 2017, 10201, pp. 804 - 830 (atti di: European Symposium on Programming, Uppsala, Sweden, 22-29 April 2017) [Contributo in Atti di convegno]

Melgratti, Hernán; Padovani, Luca, An OCaml Implementation of Binary Sessions, in: Behavioural Types: from Theory to Tools, NLD, River Publishers, 2017, pp. 243 - 263 [Capitolo/Saggio in libro]

Padovani, Luca, Type-Based Analysis of Linear Communications, in: Behavioural Types: from Theory to Tools, NLD, River Publishers, 2017, pp. 193 - 217 [Capitolo/Saggio in libro]