Pubblicazioni

A.Asperti; C.Sacerdoti Coen; E. Tassi; S.Zacchiroli, User Interaction with the Matita Proof Assistant, «JOURNAL OF AUTOMATED REASONING», 2007, 39, Number 2, pp. 109 - 139 [Articolo in rivista]

A.Asperti; C.Sacerdoti Coen; E.Tassi; S.Zacchiroli, Crafting a Proof Assistant, in: Types for Proofs and Programs, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4502, pp. 18 - 32 (atti di: TYPES 2006, Nottingham, UK, April 18-21, 2006) [Contributo in Atti di convegno]

A.Asperti; E.Tassi., Higher order proof reconstruction from paramodulation-based refutations: the unit equality case., in: Towards Mechanized Mathematical Assistants, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4573, pp. 146 - 160 (atti di: MKM 2007, Hagenberg, Austria, 27 - 30 June 2007) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and Verifying Business Contracts with Abductive Logic Programming, in: Normative Multi-Agent Systems, Dagstuhl Seminars Proceedings, DAGSTUHL, IBFI, 2007, pp. 1 - 29 (atti di: Normative Multi-agent Systems, Dagstuhl Seminars, Dagstuhl, 18-23 Marzo 2007) [Contributo in Atti di convegno]

P. Bellavista; A. Corradi; C. Giannelli, Mobility-Aware Connectivity for Seamless Multimedia Delivery in the Heterogeneous Wireless Internet, in: Proceedings of the 2nd International Workshop on multiMedia Applications over Wireless Networks (MediaWiN) within IEEE ISCC’07, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2007, pp. 1 - 8 (atti di: 2nd International Workshop on multiMedia Applications over Wireless Networks (MediaWiN) within IEEE ISCC’07, Aveiro, Portugal, July 1, 2007) [Contributo in Atti di convegno]

P. Bellavista; A. Corradi; L. Foschini, Context-Aware Multimedia Middleware Solutions for Counteracting IEEE 802.11 Performance Anomaly, in: Proceedings of the International Conference on Multimedia and Ubiquitous Engineering (MUE’07), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2007, pp. 9 - 16 (atti di: International Conference on Multimedia and Ubiquitous Engineering (MUE’07), Seoul, Korea, 26-28 Aprile 2007) [Contributo in Atti di convegno]

P. Mistroni; C. Giannelli; P. Bellavista; L. Ghirardello, LIFE.net over Web: an Advanced Monitoring Protocol for UPS Systems, in: Proceedings of the International Telecommunications Energy Conference (Intelec), NEW YORK, IEEE Press, 2007, pp. 401 - 406 (atti di: International Telecommunications Energy Conference (Intelec), Rome, Italy, 30 Settembre-4 Ottobre, 2007) [Contributo in Atti di convegno]

P. Bellavista; A. Corradi; M. Gerla; J. Kong; U. Lee; E. Magistretti, A Mobile Delay-tolerant Approach to Long-term Energy-efficient Underwater Sensor Networking, in: Proceedings of the IEEE Wireless Communications & Networking Conference (WCNC'07), NEW YORK, IEEE Communications Society Press, 2007, pp. 2868 - 2873 (atti di: IEEE Wireless Communications & Networking Conference (WCNC'07), Year Title "Wireless Gateway", Hong Kong, China, 11-15 March, 2007) [Contributo in Atti di convegno]

P. Bellavista; M. Gerla; U. Lee; E. Magistretti, Standard Integration of Sensing and Opportunistic Diffusion for Vehicular Sensor Networks Urban Monitoring: the MobEyes Architecture, in: Proceedings of the IEEE International Symposium on Industrial Electronics (ISIE’07), NEW YORK, IEEE Press, 2007, pp. 120 - 126 (atti di: IEEE International Symposium on Industrial Electronics (ISIE’07), Vigo, Spain, 4-7 Giugno, 2007) [Contributo in Atti di convegno]

P. Bellavista; E. Magistretti, k-hop Backbone Formation and Cluster Maintenance in Ad Hoc Networks, in: Proceedings of the 16th International Conference on Computer Communications and Networks (ICCCN’07), NEW YORK, IEEE Communications Society Press, 2007, pp. 479 - 484 (atti di: 16th International Conference on Computer Communications and Networks (ICCCN’07), Honolulu, USA, 13-16 Agosto, 2007) [Contributo in Atti di convegno]

P. Bellavista, Panel on "Middleware for Next-Generation Converged Networks and Services: Myths or Reality?", in: Proceedings of the 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC’07), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2007, pp. 12 - 16 (atti di: 31st Annual IEEE International Computer Software and Applications Conference (COMPSAC’07), Beijing, China, 23-27 Luglio, 2007) [Contributo in Atti di convegno]

P. Bellavista; A. Corradi; L. Foschini, Context-Aware Handoff Middleware for Transparent Service Continuity in Wireless Networks, «PERVASIVE AND MOBILE COMPUTING», 2007, 3, No. 4, pp. 439 - 466 [Articolo in rivista]

P. Bellavista; A. Corradi; L. Foschini, The MUM Middleware to Counteract IEEE 802.11 Performance Anomaly in Context-aware Multimedia Provisioning, «INTERNATIONAL JOURNAL OF MULTIMEDIA AND UBIQUITOUS ENGINEERING», 2007, 2, No. 2, pp. 15 - 33 [Articolo in rivista]

P. Bellavista; C.-M. Chen, Editorial: "Special Issue with selected papers from the 11th IEEE Symposium on Computers and Communications (ISCC'06)", «MICROPROCESSORS AND MICROSYSTEMS», 2007, 31, No. 4, pp. 213 - 214 [Articolo in rivista]

P. Bellavista; Roy Campbell; Liviu Iftode; Anand Tripathi, Proceedings of the First International Workshop on Software Engineering for Pervasive Computing Applications, Systems and Environments (SEPCASE), in conjunction with ICSE'07, NEW YORK, IEEE Computer Society Press, 2007, pp. 110 . [Curatela]

P. Bellavista; D. Tibaldi; L. Garlaschelli, Large-scale Integrated Academic Portals, in: PORTAL TECHNOLOGY AND APPLICATIONS, HERSHEY, IGI Global, 2007, pp. 538 - 546 [Capitolo/Saggio in libro]

P. Bellavista; D. Bottazzi; A. Corradi; R. Montanari, Challenges, Opportunities, and Solutions for Ubiquitous Eldercare, in: Web Mobile-Based Applications for Healthcare Management, HERSHEY, IGI Global, 2007, pp. 142 - 166 [Capitolo/Saggio in libro]

P. Bellavista; A. Corradi; C. Stefanelli, Policy-based Access Control for Context-aware Services over the Wireless Internet, in: Information Security and Ethics: Concepts, Methodologies, Tools and Applications, HERSHEY, IGI Global, 2007, pp. 2163 - 2186 [Capitolo/Saggio in libro]

Ilaria Bartolini; Paolo Ciaccia; Marco Patella, PIBE: Manage Your Images the Way You Want!, in: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, PISCATAWAY, NJ, IEEE, 2007, pp. 1519 - 1520 (atti di: IEEE 23rd International Conference on Data Engineering, ICDE 2007, Istanbul, Turkey, April 15-20, 2007) [Contributo in Atti di convegno]

S. Ferretti; P. Salomoni; S. Mirri, Transcoding in Online Rich-media Edutainment: a Dynamic Approach based on Content/Context Awareness, in: 2007 4th IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2007, pp. 1078 - 1082 (atti di: 2007 4th IEEE Consumer Communications and Networking Conference, Las Vegas, NV, USA, 11-13 Gennaio 2007) [Contributo in Atti di convegno]