Pubblicazioni

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]

F. Malaguti; F. Tombari; S. Salti; D. Pau; L. Di Stefano, Toward compressed 3D descriptors, in: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, Proceedings, LOS ALAMITOS, CA, IEEE, 2012, pp. 176 - 183 (atti di: 2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, Zurich, Switzerland, 13-15 Ottobre 2012) [Contributo in Atti di convegno]

Alessio Bonfietti; Michele Lombardi, The Weighted Average Constraint, in: Lecture Notes in Computer SciencePrinciples and Practice of Constraint Programming, 2012, pp. 191 - 206 (atti di: Principles and Practice of Constraint Programming, Quebec City, Canada, 8-12 Oct, 2012) [Contributo in Atti di convegno]

P. Bellavista; A. Corradi; C. Giannelli, Resource and Service Discovery, in: Mobile Agents in Networking and Distributed Computing, HOBOKEN, John Wiley & Sons, 2012, pp. 195 - 222 [Capitolo/Saggio in libro]

A. Cattaneo; G. Marfia; A. Sentinelli; A. Vitali; L. Celetto; M. Roccetti; M. Gerla, Using Digital Fountains in Future IPTV Streaming Platforms: a Future Perspective, «IEEE COMMUNICATIONS MAGAZINE», 2012, 50, pp. 202 - 207 [Articolo in rivista]

A. Mellina; A. Sentinelli; G. Marfia; M. Roccetti, AREEB: Automatic REfrain Extraction for ThumBnail, in: Proceedings of 9th IEEE Communications and Networking Conference (CCNC 2012), PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 472 - 476 (atti di: 9th IEEE Communications and Networking Conference (CCNC 2012), Las Vegas (USA) - 4th IEEE International Workshop on Digital Entertainment, Networked Virtual Environments, and Creative Technology (DENVECT'12), Las Vegas (NV), January 2012) [Contributo in Atti di convegno]

A. Amoroso; G. Marfia; M. Roccetti; G. Pau, Creative Testbeds for VANET Research: A New Methodology, in: Proceedings of 9th IEEE Communications and Networking Conference (CCNC 2012), PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 477 - 481 (atti di: 9th IEEE Communications and Networking Conference (CCNC 2011), Las Vegas (USA) - 4th IEEE International Workshop on Digital Entertainment, Networked Virtual Environments, and Creative Technology (DENVECT'12), Las Vegas, (NV), January 2012) [Contributo in Atti di convegno]

M. Roccetti; G. Marfia; A. Amoroso; S. Caraceni; A. Varni, Augmenting Augmented Reality with Pairwise Interactions: The Case of Count Luigi Ferdinando Marsili Shooting Game, in: 9th IEEE Communications and Networking Conference (CCNC 2011), Las Vegas (USA), PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 6 - 10 (atti di: 9th IEEE Communications and Networking Conference (CCNC 2012), Las Vegas (USA) - 4th IEEE International Workshop on Digital Entertainment, Networked Virtual Environments, and Creative Technology (DENVECT'12), Las Vegas (NV), January 2012) [Contributo in Atti di convegno]

C. E. Palazzi; G. Marfia; M. Roccetti, From Fun Technology to Serious Applications: Lessons from a Few Exemplar Cases, «COMPUTERS IN ENTERTAINMENT», 2012, May 2012, pp. 1 - 3 [Replica/breve intervento (e simili)]

A. Bujari; C.E. Palazzi; M. Roccetti; G. Marfia, DTN Content Sharing Among Commuters, «INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS POLICY AND MANAGEMENT», 2012, 1, pp. 138 - 151 [Articolo in rivista]

Paolo Ciancarini; Angelo Di Iorio; Luca Furini; Fabio Vitali, High-quality pagination for publishing, «SOFTWARE, PRACTICE AND EXPERIENCE», 2012, 42, pp. 733 - 751 [Articolo in rivista]

G. Moro; G. Monti, W-Grid: A scalable and efficient self-organizing infrastructure for multi-dimensional data management, querying and routing in wireless data-centric sensor networks, «JOURNAL OF NETWORK AND COMPUTER APPLICATIONS», 2012, 35, pp. 1218 - 1234 [Articolo in rivista]

M. Roccetti; G. Marfia; A. Semeraro, Playing into the wild: A gesture-based interface for gaming in public spaces, «JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION», 2012, 23, pp. 426 - 440 [Articolo in rivista]

S. Rizzi, Collaborative business intelligence, in: BUSINESS INTELLIGENCE - First European Summer School, eBISS 2011, Paris, Tutorial Lectures, HEIDELBERG, Springer, 2012, pp. 186 - 205 [Capitolo/Saggio in libro]

A. Amoroso; G. Marfia; M. Roccetti; G. Pau, To Live and Drive in L.A.: Measurements from A Real Intervehicular Accident Alert Test, in: Proceedings 2012 IEEE Wireless Communications and NetworkingConference, PISCATAWAY, NJ, IEEE Communications Society, 2012, pp. 328 - 332 (atti di: 2012 IEEE Wireless Communications and NetworkingConference - 1st IEEE Wireless Vehicular Communications and Networks Workshop, Paris (Fr), April 2012) [Contributo in Atti di convegno]

Bononi L.; Datta A.K.; Devismes S.; Misra A. (a cura di): AA.VV., Distributed Computing and Networking, BERLIN, Springer Verlag, 2012, pp. 14 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]