Publications

Vassura M.; Margara L.; Di Lena P.; Medri F.; Fariselli P.; Casadio R., Fault tolerance for large scale protein 3D reconstruction from contact maps, in: Algorithms in Bioinformatics, Berlin Heidelberg, Springer Berlin Heidelberg, 2007, pp. 25 - 37 (LECTURE NOTES IN BIOINFORMATICS) [Chapter or essay]

Gardelli Luca; Viroli Mirko; Omicini Andrea, Design Patterns for Self-Organising Systems, in: Multi-Agent Systems and Applications V, Berlin Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4696, pp. 123 - 132 (atti di: 5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25-27 settembre 2007) [Contribution to conference proceedings]

M. Gaspari D. Guidi, Facilitating Agent Development in Open Service Architectures, in: Expanding the Knowledge Economy, Issues, Applications, Case Studies, AMSTERDAM, IOS Press, 2007, I, pp. 146 - 153 (atti di: E-Challenges 2007, The Hague, The Netherlands, 24 - 26 October 2007) [Contribution to conference proceedings]

F. Chesani; P. Mello; M. Montali; S. Storari, Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshop - Agents, Web-Services, and Ontologies Integrated Methodologies (AWESOME 2007), DURHAM, s.n, 2007, pp. 27 - 42 (atti di: Multi-Agent Logics, Languages, and Organisations Federated Workshop (MALLOW 2007), Durham, United Kingdom, 3-7 Settembre 2007) [Contribution to conference proceedings]

F. Chesani; P. Mello; M. Montali; S. Storari, Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic, in: Artificial Intelligence in Medicine, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4594, pp. 479 - 488 (atti di: 11th Conference on Artificial Intelligence in Medicine (AIME 2007), Amsterdam, the Netherlands, 7-11 Luglio 2007) [Contribution to conference proceedings]

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 [Scientific article]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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 [Scientific article]

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 [Scientific article]

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 [Scientific article]

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 . [Editorship]