Pubblicazioni

Maurizio Cimadamore; Mirko Viroli, Integrating Java and Prolog using Java 5.0 generics and annotations, in: 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages, s.l, s.n, 2007, pp. 1 - 21 (atti di: Multiparadigm Programming with Object-Oriented Languages, Berlino, Germania, 21/7/2007) [Contributo in Atti di convegno]

Matteo Casadei; Ronaldo Menezes; Mirko Viroli; Robert Tolksdorf, A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems, in: Self-Organizing Systems, Springer, 2007, 4725, pp. 146 - 160 (atti di: Second International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11-13/9/2007) [Contributo in Atti di convegno]

Montagna Sara; Omicini Andrea; Ricci Alessandro; D'Inverno Mark, Modelling Hematopoietic Stem Cell Behaviour: An Approach Based On Multi-Agent Systems, in: 2nd Conference ``Foundations of Systems Biology in Engineering'' Proceedings Plenary and Contributed Papers, STUTTGART, Fraunhofer IBR Verlag, 2007, pp. 243 - 248 (atti di: 2nd Conference ``Foundations of Systems Biology in Engineering'' (FOSBE 2007), Stuttgart, Germany, 9-12 settembre 2007) [Contributo in Atti di convegno]

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]

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, 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]