Pubblicazioni

Cardone G.; Corradi A.; Foschini L., Reliable Communication for Mobile MANET-WSN Scenarios, in: Proceedings of the 16th IEEE International Symposium on Computers and Communications (ISCC'11), PISCATAWAY, NJ, IEEE Computer Society Press, 2011, pp. 1085 - 1091 (atti di: 16th IEEE International Symposium on Computers and Communications (ISCC'11), Kerkyra (Corfu), Greece, June 28- July 1, 2011) [Contributo in Atti di convegno]

Boukerche A.; Corradi A.; Fanelli M.; Foschini L., Resource-Awareness in Context Data Distribution for Mobile Environments, in: Proceedings of the IEEE Global Communications Conference (GLOBECOM’11), PISCATAWAY, NJ, IEEE Computer Society Press, «GLOBECOM», 2011, pp. 1 - 5 (atti di: IEEE Global Communications Conference (GLOBECOM’11), Houston, Texas, December 5-9, 2011) [Contributo in Atti di convegno]

Bellavista P.; Cardone G.; Corradi A.; Foschini L., Effective collaborative monitoring in smart cities: Converging MANET and WSN for fast data collection, in: Proceedings of the ITU Kaleidoscope 2011: The Fully Networked Human? - Innovations for Future Networks and Services (K-2011), PISCATAWAY, NJ, IEEE Computer Society Press, 2011, pp. 1 - 8 (atti di: ITU Kaleidoscope 2011: The Fully Networked Human? - Innovations for Future Networks and Services (K-2011), Cape Town, South Africa, December 12-14, 2011) [Contributo in Atti di convegno]

Corradi A.; Fanelli M.; Foschini L., Increasing Cloud Power Efficiency through Consolidation Techniques, in: Proceedings of the 16th IEEE International Symposium on Computers and Communications (ISCC'11), PISCATAWAY, NJ, IEEE Computer Society Press, 2011, pp. 129 - 134 (atti di: 16th IEEE International Symposium on Computers and Communications (ISCC'11), Kerkyra (Corfu), Greece, June 28, 2011) [Contributo in Atti di convegno]

M. Bravetti; T. Bultan, Web Services and Formal Methods - 7th International Workshop (WS-FM 2010), Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers, HEIDELBERG, Springer, 2011, pp. 191 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

P. Bellavista; A. Corradi; D. Fontana; S. Monti, Off-The-Shelf Ready To Go middleware for self-reconfiguring and self-optimizing ubiquitous computing applications, in: Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, (ICUIMC’11), NEW YORK, NY, ACM, 2011, pp. 11 - 17 (atti di: Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication, (ICUIMC’11), Seoul, Republic of Korea, February 21 - 23, 2011) [Contributo in Atti di convegno]

M. Boreale; M. Bravetti, Advanced Mechanisms for Service Composition, Query and Discovery, in: Rigorous Software Engineering for Service-Oriented Systems, HEIDELBERG, Springer, 2011, pp. 282 - 301 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Bellavista P.; Corradi A.; Fontana D.; Monti S., iPOJO-based Middleware Solutions for Self-Reconfiguration and Self-Optimization, «TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS», 2011, 5, N.8, pp. 1368 - 1387 [Articolo in rivista]

M. Gavanelli; F. Riguzzi; M. Milano; D. Sottara; A. Cangini; P. Cagnoli, An Application of Fuzzy Logic to Strategic Environmental Assessment, in: AI*IA 2011: Artificial Intelligence Around Man and Beyond, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6934, pp. 324 - 335 (atti di: AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011) [Contributo in Atti di convegno]

A. Bartolini; M. Lombardi; M. Milano; L. Benini, Neuron Constraints to Model Complex Real-World Problems, in: Principles and Practice of Constraint Programming, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6876, pp. 115 - 129 (atti di: 17th International Conference on Principles and Practice of Constraint Programming CP 2011, Perugia - Italy, September 2011) [Contributo in Atti di convegno]

A. Bonfietti; M. Lombardi; L. Benini; M. Milano, A Constraint based approach to cyclic RCPSP, in: Principles and Practice of Constraint Programming, Berlin, Springer Verlag Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6876, pp. 130 - 144 (atti di: 17th International Conference on Principles and Practice of Constraint Programming, Perugia. Italy, September 2011) [Contributo in Atti di convegno]

M. Milano, Constraint Programming Links with Math Programming, in: Wiley Encyclopedia of Operations Research and Management Science, Hoboken, Wiley, 2011, pp. 951 - 965 [Capitolo/Saggio in libro]

F. Parisini; M. Milano, Improving CP-based Local Branching via Sliced Neighborhood Search, in: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), NEW YORK, ACM, 2011, pp. 887 - 892 (atti di: ACM Symposium on Applied Computing, TaiChung, Taiwan, March 2011) [Contributo in Atti di convegno]

M. Cattafi; M. Gavanelli; M. Milano; P. Cagnoli, Sustainable biomass power plant location in the Italian Emilia-Romagna Region, «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY», 2011, 2, pp. 33:1 - 33:19 [Articolo in rivista]

M. Milano; P. van Hentenryck, Hybrid Optimization: The ten years of CPAIOR, NEW YORK, Springer, 2011, pp. 559 . [Curatela]

P. Bellavista; Y. Cai; T. Magedanz, Recent Advances in Mobile Middleware for Wireless Systems and Services (Guest Editorial), «MOBILE NETWORKS AND APPLICATIONS», 2011, 16, No. 3, pp. 267 - 269 [Articolo in rivista]

P. Bellavista, Pervasive Computing at Scale: Challenges and Research Directions, in: Proceedings of the 2011 IEEE Sensors conference., LOS ALAMITOS, CALIFORNIA, IEEE Press, 2011, pp. 639 - 642 (atti di: IEEE Sensors 2011(http://ieee-sensors2011.org/), Limerick, Ireland, 28-31 October, 2011) [Contributo in Atti di convegno]

L. Caires; R. De Nicola; R. Pugliese; V. Vasconcelos; G. Zavattaro, Core Calculi for Service-Oriented Computing, in: M. WIRSING M. HOLZL, Results of the SENSORIA Project - LNCS 6582, BERLIN, Springer, 2011, pp. 153 - 188 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Adaptable Processes (Extended Abstract), in: Proceeding Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6722, pp. 90 - 105 (atti di: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011) [Contributo in Atti di convegno]

G. Delzanno; A. Sangnier; G. Zavattaro, On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks, in: Proceedings of Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6604, pp. 441 - 455 (atti di: Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011) [Contributo in Atti di convegno]