Pubblicazioni

GIRAU, ROBERTO; NITTI, MICHELE; ATZORI, LUIGI, Implementation of an experimental platform for the social internet of things, in: Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2013, 2013, pp. 500 - 505 (atti di: 7th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2013, Taichung, Taiwan, ROC, 3-5 July, 2013) [Contributo in Atti di convegno]

Elias, J; Martignon, F; Chen, L; Altman, E, Joint Operator Pricing and Network Selection Game in Cognitive Radio Networks: Equilibrium, System Dynamics and Price of Anarchy, «IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY», 2013, 62, pp. 4576 - 4589 [Articolo in rivista]

Di Bella, Enrico; Sillitti, Alberto; Succi, Giancarlo, A multivariate classification of open source developers, «INFORMATION SCIENCES», 2013, 221, pp. 72 - 83 [Articolo in rivista]

Padovani, Luca, Fair Subtyping for Open Session Types, in: Proceedings of the 40th International Colloquium on Automata, Languages and Programming, Part II, DEU, SPRINGER-VERLAG BERLIN, 2013, 7966, pp. 373 - 384 (atti di: 40th International Colloquium on Automata, Languages and Programming, Riga, Latvia, July 8-12 2013) [Contributo in Atti di convegno]

Padovani, Luca, From Lock Freedom to Progress Using Session Types, in: Proceedings of Programming Language Approaches to Concurrency- and Communication-cEntric Software 2013 (PLACES’13), Waterloo, Open Publishing Association, 2013, 137, pp. 3 - 19 (atti di: Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 2013) [Contributo in Atti di convegno]

Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in: Proceedings of the 15th International Conference on Coordination Models and Languages, DEU, SPRINGER-VERLAG BERLIN, 2013, 7890, pp. 45 - 59 (atti di: 15th International Conference on Coordination Models and Languages, Florence, Italy, June 3-5 2013) [Contributo in Atti di convegno]

Bono, Viviana; Padovani, Luca; Andrea, Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, in: Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems, DEU, SPRINGER-VERLAG BERLIN, 2013, 7892, pp. 83 - 98 (atti di: 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13), Florence, Italy, June 3-6, 2013) [Contributo in Atti di convegno]

Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina, A formal foundation for dynamic delta-oriented software product lines, in: Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE’12), 2013, 48, pp. 1 - 10 (atti di: 11th International Conference on Generative Programming and Component Engineering (GPCE'12), Dresden, Germany, September 26-27, 2012) [Contributo in Atti di convegno]