Pubblicazioni

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]

D. Sottara; L. Luccarini; P. Mello, AI Techniques for Waste Water Treatment Plant Control. Case Study: Denitrification in a Pilot-Scale SBR, in: Knowledge-Based Intelligent Information and Engineering Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4692, pp. 639 - 646 (atti di: 11th International Conference on Knowledge-Based and Intelligence Information and Engineering Systems, Vietri sul Mare, Salerno, Italy, 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]

E. Lamma; P. Mello; F. Riguzzi; S. Storari, Applying Inductive Logic Programming to Process Mining, in: Inductive Logic Programming, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2007, 4894, pp. 132 - 146 (atti di: International Conference on Inductive Logic Programming, Oregon State University, Corvallis Oregon, USA, 19-21 Giugno 2007) [Contributo in Atti di convegno]

E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari, Learning DecSerFlow Models from Labelled Traces, in: Proceedingfs of the 5th International Workshop on Induction of Process Models, IPM 2007, CORVALLIS, s.n, 2007(atti di: 24th International Conference on Machine Learning, Corvallis, Oregon, USA, 20-24 Giugno 2007) [Contributo in Atti di convegno]

E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari, Inducing Declarative Logic-Based Models from Labeled Traces, in: Business Process Management, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4714, pp. 344 - 359 (atti di: 5th International Conference on Business Process Management (BPM 2007), Brisbane, Australia, 24-28 Settembre 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]