Pubblicazioni

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]

Pollacci, Laura; Sîrbu, Alina; Giannotti, Fosca; Pedreschi, Dino; Lucchese, Claudio; Muntean, Cristina Ioana, Sentiment Spreading: An Epidemic Model for Lexicon-Based Sentiment Analysis on Twitter, in: AI*IA 2017 Advances in Artificial Intelligence., 2017, 10640, pp. 114 - 127 (atti di: AI*IA 2017, Bari, Italy, November 2017) [Contributo in Atti di convegno]

Rossetti, Giulio; Milli, Letizia; Rinzivillo, Salvatore; Sirbu, Alina; Pedreschi, Dino; Giannotti, Fosca, NDlib: Studying Network Diffusion Dynamics, in: Data Science and Advanced Analytics (DSAA), 2017 IEEE International Conference on, IEEE Computer Society, 2017, pp. 155 - 164 (atti di: Data Science and Advanced Analytics (DSAA), 2017 IEEE International Conference on, Tokyo, Japan, October 2017) [Contributo in Atti di convegno]

Sirbu, Alina; Loreto, Vittorio; Servedio, Vito D. P.; Tria, Francesca, Opinion Dynamics: Models, Extensions and External Effects, in: Participatory Sensing, Opinions and Collective Awareness, Dordrecht, Springer International Publishing, 2017, pp. 363 - 401 [Capitolo/Saggio in libro]

Atzmueller, Martin; Becker, Martin; Molino, Andrea; Mueller, Juergen; Peters, Jan; Sirbu, Alina, Applications for Environmental Sensing in EveryAware, in: Participatory Sensing, Opinions and Collective Awareness, Dordrecht, Springer International Publishing, 2017, pp. 135 - 155 [Capitolo/Saggio in libro]

Servedio, Vito D. P.; Caminiti, Saverio; Gravino, Pietro; Loreto, Vittorio; Sirbu, Alina; Tria, Francesca, Large Scale Engagement Through Web-Gaming and Social Computations, in: Participatory Sensing, Opinions and Collective Awareness, Dordrecht, Springer International Publishing, 2017, pp. 237 - 254 [Capitolo/Saggio in libro]

Gravino, Pietro; Sirbu, Alina; Becker, Martin; Servedio, Vito D. P.; Loreto, Vittorio, Experimental Assessment of the Emergence of Awareness and Its Influence on Behavioral Changes: The Everyaware Lesson, in: Participatory Sensing, Opinions and Collective Awareness, Dordrecht, Springer International Publishing, 2017, pp. 337 - 362 [Capitolo/Saggio in libro]