Pubblicazioni

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) [Capitolo/Saggio in libro]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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]