Pubblicazioni

G. Gay; S. Mirri; M. Roccetti; P. Salomoni, Meeting Learners' Preferences: Implementing Content Adaptability in E-learning, in: Proceedings of the 2009 SALT International Conference on New Learning Technologies, WARRENTON, VA, Society for Applied Learning Technology, 2009, pp. 1 - 6 (atti di: 2009 SALT International Conference on New Learning Technologies, Orlando, FL, February 2009) [Contributo in Atti di convegno]

S. Ferretti; M. Roccetti; B. Zamborlin, On SPAWC: Discussion on a Musical Signal Parser and Well-Formed Composer, in: Proceedings of 2009 6th IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2009, pp. 11 - 15 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference - 5th International Workshop on Networking Issues in Multimedia Entertainment, Las Vegas, NV, January 2009) [Contributo in Atti di convegno]

A. Amoroso; M. Roccetti; M. Nanni; L. Prati, VANETS without Limitations: An Optimal Distributed Algorithm for Multi-Hop Communications and Some Preliminary Results, in: Proceedings of 2009 6th IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2009, pp. 1 - 5 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference - 5th International Workshop on Networking Issues in Multimedia Entertainment, Las Vegas, NV, Janauary 2009) [Contributo in Atti di convegno]

S. Ferretti; P. Salomoni; M. Roccetti;S. Mirri; L. Muratori, At the Crossroads of Web and Interactive Multimedia: an Approach to Merge the Two Realms, in: Proceedings of 2009 6th IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2009, pp. 16 - 20 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference - 5th International Workshop on Networking Issues in Multimedia Entertainment, Las Vegas, NV, January 2009) [Contributo in Atti di convegno]

C. Palazzi; S. Ferretti; M. Roccetti, Fast Multi-hop Broadcast over Vehicular Networks: A Real Testbed Evaluation, in: Proceedings of the 2009 6th IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2009, pp. 6 - 10 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference - 5th International Workshop on Networking Issues in Multimedia Entertainment, Las Vegas, NV, January 2009) [Contributo in Atti di convegno]

S. Ferretti; M. Roccetti; R. Zioni, A Statistical Approach to Cheating Countermeasure in P2P MOGs, in: Proceedings of 2009 6th IEEE Consumer Communications and Networking Conference, PISCATAWAY, NJ, IEEE Communications Society, 2009, pp. 21 - 25 (atti di: 2009 6th IEEE Consumer Communications and Networking Conference - 5th International Workshop on Networking Issues in Multimedia Entertainment, Las Vegas, NV, January 2009) [Contributo in Atti di convegno]

Luccarini L.; Bragadin G.L.; Mancini M.L.; Mello P.; Montali M.; Sottara D., Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification, in: International Symposium on Sanitary and Environmental Engineering-SIDISA 08 -Proceedings, ROMA, ANDIS, 2009, 1, pp. 152/1 - 152/8 (atti di: ANDIS-DICEA-IWA. International Symposium on Sanitary and Environmental Engineering-SIDISA 08, Florence (Italy), 24-27 june 2008) [Contributo in Atti di convegno]

C. Sacerdoti Coen, A User Interface for a Mathematical System that Allows Ambiguous Formulae, in: null, 2009, 226, pp. 67 - 87 (atti di: 8th International Workshop On User Interfaces for Theorem Provers, Montréal, Québec, Canada, 22nd August 2008) [Contributo in Atti di convegno]

G. Zavattaro, Reachability Analysis in BioAmbients, in: null, 2009, 227(4), pp. 179 - 193 (atti di: International Meeting on Membrane Computing and Biologically Inspired Process Calculi, Iasi - Romania, 3-4 Settembre 2008) [Contributo in Atti di convegno]

A. Campi; W. Cerroni; G. Corazza; F. Callegati; B. Martini; F. Baroncelli; V. Martini; P. Castoldi, SIP-based Service Architecture for Application-aware Optical Network, in: 2009 Italian Networking Workshop, s.l, s.n, 2009(atti di: 2009 Italian Networking Workshop, Cortina d'Ampezzo (BL), 14-16/01/2009) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni, Key Parameters and Cost Estimation for Contention Resolution in Optical Packet/Burst Switching Nodes, in: 2009 Italian Networking Workshop, s.l, s.n, 2009(atti di: 2009 Italian Networking Workshop, Cortina d'Ampezzo (BL), 14-16/01/2009) [Contributo in Atti di convegno]

B. Martini ; A. Campi; F. Baroncelli; V. Martini; K. Torkman; F. Zangheri; W. Cerroni; P. Castoldi; F. Callegati, SIP-Based Service Platform for On-Demand Optical Network Services, in: Proceedings of 2009 Optical Fiber Communication Conference (OFC 2009)., WASHINGTON, DC, Optical Society of America, 2009(atti di: OFC/NFOEC 2009, San Diego, CA, USA, 22-26/03/2009) [Contributo in Atti di convegno]

Ambra Molesini; Enrico Denti; Andrea Omicini, An Agent-based Application for Home Intelligence, in: Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART 2009), SETÚBAL, INSTICC, 2009, pp. 377 - 384 (atti di: International Conference on Agents and Artificial Intelligence (ICAART 2009), Porto, Portugal, 19-21 January 2009) [Contributo in Atti di convegno]

S. Ferretti; S. Mirri; M. Roccetti; C. Sermenghi; V. Conforti, Managing First Response Medical Aids With An Altruistic Web Application, in: Proceedings 3d ICST/ACM/IEEE International Conference on Pervasive Computing Technologies for Healthcare 2009, BRUSSELS, ICST, 2009, pp. 1 - 4 (atti di: 3d ICST/ACM/IEEE International Conference on Pervasive Computing Technologies for Healthcare 2009, London, April 2009) [Contributo in Atti di convegno]

D. Costantini; P. Bellavista; S. Niccolini, PreQuEst: a Scalable and Proactive Quality Enrichment for Presence Services, in: Proceedings of the IEEE International Conference on Communications, NEW YORK, IEEE Communications Society Press, 2009, pp. 1 - 6 (atti di: IEEE International Conference on Communications, Dresden, Germany, 14-18 Giugno 2009) [Contributo in Atti di convegno]

P. Bellavista; A. Corradi; L. Foschini, An IMS-based Middleware Solution for Energy-Efficient and Cost-Effective Mobile Multimedia Services, in: Springer Lecture Notes on ICST (LNICST): Proceedings of the Second International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware), BERLIN, Springer, 2009, pp. 280 - 294 (atti di: Second International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware), Berlin, Germany, April 28-29, 2009) [Contributo in Atti di convegno]

Ambra Molesini; Elena Nardini; Enrico Denti; Andrea Omicini, Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, II, pp. 699 - 706 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

Mirko Viroli; Matteo Casadei; Andrea Omicini, A Framework for Modelling and Implementing Self-Organising Coordination, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, III, pp. 1353 - 1360 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

Matteo Casadei; Andrea Omicini, Situated Tuple Centres in ReSpecT, in: Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009), NEW YORK, ACM, 2009, III, pp. 1361 - 1368 (atti di: 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawai'i, USA, 8-12 March 2009) [Contributo in Atti di convegno]

A.Asperti; E.Tassi, An Interactive Driver for Goal-directed Proof Strategies., in: null, 2009, 226, pp. 89 - 105 (atti di: User Interfaces for Theorem Provers (UITP 2008), Montréal, Québec, Canada, August 2008) [Contributo in Atti di convegno]