Pubblicazioni

Elias, J; Martignon, F; Avrachenkov, K; Neglia, G, A game theoretic analysis of network design with socially-aware users, «COMPUTER NETWORKS», 2011, 55, pp. 106 - 118 [Articolo in rivista]

Giuseppe, Castagna; Dezani, Mariangiola; Padovani, Luca, On Global Types and Multi-Party Sessions, in: Formal Techniques for Distributed Systems, DEU, Springer, 2011, LNCS 6722, pp. 1 - 28 (atti di: 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, Reykjavík, Iceland, 6-9 june 2011) [Contributo in Atti di convegno]

Padovani, Luca, Session Types = Intersection Types + Union Types, in: Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS’10), Waterloo, Open Publishing Association, 2011, 45, pp. 71 - 89 (atti di: 5th Workshop on Intersection Types and Related Systems, Edinburgh, Scotland, 10-14 july 2010) [Contributo in Atti di convegno]

Bono, Viviana; Chiara, Messa; Padovani, Luca, Typing Copyless Message Passing, in: Programming Languages and Systems, DEU, Springer, 2011, LNCS 6602, pp. 57 - 76 (atti di: 20th European Symposium on Programming, Saarbrücken, Germany, 26 march - 3 april 2011) [Contributo in Atti di convegno]

Padovani, Luca, Fair Subtyping for Multi-Party Session Types, in: Coordination Models and Languages, DEU, Springer, 2011, LNCS 6721, pp. 127 - 141 (atti di: 13th International Conference on Coordination Models and Languages, Reykjavík, Iceland, 6-9 june 2011) [Contributo in Atti di convegno]

Bono, Viviana; Padovani, Luca, Polymorphic Endpoint Types for Copyless Message Passing, in: Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11), Waterloo, Open Publishing Association, 2011, 59, pp. 52 - 67 (atti di: 4th Workshop on Interaction and Concurrency Experience, Reykjavík, Iceland, 9 june 2011) [Contributo in Atti di convegno]

V. Ghini; S. Ferretti; F. Panzieri, Mobile Games Through the Nets: a Cross-Layer Architecture for Seamless Playing, in: Proceedings of the 3rd ACM/ICST International Conference on Simulation Tools and Techniques (SIMUTools 2010), BRUSSELS, ICST, 2010, pp. 1 - 8 (atti di: 3rd ACM/ICST Conference on Simulation Tools and Techniques (SIMUTools 2010), Torremolinos, Spain, March 15-19, 2010) [Contributo in Atti di convegno]

S. Ferretti; V. Ghini; F. Panzieri; M. Pellegrini; E. Turrini, QoS-aware Clouds, in: Proceedings of the 3rd International Conference on Cloud Computing (IEEE Cloud 2010), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society, 2010, pp. 321 - 328 (atti di: 3rd International Conference on Cloud Computing (IEEE Cloud 2010), Miami (USA), Luglio 2010) [Contributo in Atti di convegno]

S. Ferretti, A General Framework to Analyze the Fault-Tolerance of Unstructured P2P Systems, in: Proceedings of the UKSim 4th European Modelling Symposium on Computer Modelling and Simulation (ESM 2010), PISCATAWAY, IEEE Computer Society, 2010, pp. 338 - 343 (atti di: UKSim 4th European Modelling Symposium on Computer Modelling and Simulation (ESM 2010), Pisa (Italy), 17-19 Novembre 2010) [Contributo in Atti di convegno]

Ambra Molesini; Enrico Denti; Andrea Omicini, HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence, in: Agents and Artificial Intelligence, HEIDELBERG, Springer, 2010, pp. 205 - 218 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

Giordano, Eugenio; Frank, Raphael; Pau, Giovanni; Gerla, Mario, CORNER: A realistic urban propagation model for VANET, in: WONS 2010 - 7th International Conference on Wireless On-demand Network Systems and Services, 2010, pp. 57 - 60 (atti di: 7th International Conference on Wireless On-demand Network Systems and Services, WONS 2010, Kranjska Gora, svn, 2010) [Contributo in Atti di convegno]

Jianfei Cai; Shivkumar Kalyanraman; M. Roccetti; Hwangjun Song; Dapeng Oliver Wu (a cura di): JIANFEI CAI, SHIVKUMAR KALYANRAMAN, M. ROCCETTI, HWANGJUN SONG, DAPENG OLIVER WU, Special Issue on Network Technologies for Emerging Broadband Multimedia Services, NEW YORK, Elsevier, 2010, pp. 118 (Journal of Visual Communication and Image Representation). [Curatela]

A. Roli; F. Vernocchi; R. Serra, Continuous network models of gene expression in knock-out experiments: A preliminary study, in: Artificial Life and Evolutionary computation, SINGAPORE, World Scientific Publishing, 2010, pp. 293 - 301 (atti di: WIVACE 2008 - Workshop italiano di vita artificiale e computazione evolutiva, Venezia, 8-10 Settembre 2008) [Contributo in Atti di convegno]

S. Ferretti; M. Furini; C. E. Palazzi; M. Roccetti; P. Salomoni, WWW Recycling for a Better World, «COMMUNICATIONS OF THE ACM», 2010, 53:4, pp. 139 - 143 [Articolo in rivista]

C. E. Palazzi; M. Roccetti; S. Ferretti, An Inter-Vehicular Communication Architecture for Safety and Entertainment, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2010, 11:1, pp. 90 - 99 [Articolo in rivista]

P. Bellavista; A. Corradi; A. Toninelli, Secure Wireless Access to Services in Enterprise Networks, in: Handbook of Enterprise Integration, BOCA RATON, CRC Press - Taylor&Francis Group, 2010, pp. 133 - 158 [Capitolo/Saggio in libro]

P. Bellavista; A. Corradi; L. Foschini, IMS-compliant Management of Vertical Handoffs for Mobile Multimedia Session Continuity, «IEEE COMMUNICATIONS MAGAZINE», 2010, 48, No. 4, pp. 114 - 121 [Articolo in rivista]

F. Grandi, REPRESENTATION AND EFFICIENT MANAGEMENT OF MULTI-VERSION CLINICAL GUIDELINES, in: Proceedings of the Third International Conference on Health Informatics (HEALTHINF 2010), SETUBAL, INSTICC, 2010, pp. 54 - 61 (atti di: Third International Conference on Health Informatics (HEALTHINF 2010, part of 3rd Intl' Joint Conf. on Biomedical Engineering Systems and Technologies - BIOSTEC 2010), Valencia (Spagna), 20-23 Gennaio 2010) [Contributo in Atti di convegno]

A. Bevilacqua; A. Gherardi; L. Carozza, An automatic system for the real time characterization of vehicle headlamp beams exploiting image analysis, «IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT», 2010, 20 N.12, pp. 2630 - 2638 [Articolo in rivista]

A.Ricci;E.Denti;M.Piunti, A platform for developing SOA/WS applications as open and heterogeneous multi-agent systems, «MULTIAGENT AND GRID SYSTEMS», 2010, 6(2), pp. 105 - 132 [Articolo in rivista]