Pubblicazioni

P. Andreetto; S. Andreozzi; A. Ghiselli; M. Marzolla; V. Venturi; L. Zangrando, Standards-Based Job Management in Grid Systems, «JOURNAL OF GRID COMPUTING», 2010, 8, pp. 19 - 45 [Articolo in rivista]

Ambra Molesini; Enrico Denti; Andrea Omicini, Agent-based Conference Management: A Case Study in SODA, «INTERNATIONAL JOURNAL OF AGENT-ORIENTED SOFTWARE ENGINEERING», 2010, 4, pp. 1 - 31 [Articolo in rivista]

P. Bellavista; A. Corradi; L. Foschini, Presence Services for the Support of Location-based Applications, in: Location Based Services Handbook: Applications, Technologies, and Security, NEW YORK, Taylor & Francis, 2010, pp. 233 - 260 [Capitolo/Saggio in libro]

P. Ciancarini; GP. Favini, Solving Kriegspiel endings with brute force: the case of KR vs. K, in: Advances in Computer Games 12, revised papers, NEW YORK, Springer, 2010, 6048, pp. 136 - 145 (atti di: Advances in Computer Games, Pamplona, Maggio 2009) [Contributo in Atti di convegno]

M. Viroli; F. Zambonelli, A biochemical approach to adaptive service ecosystems, «INFORMATION SCIENCES», 2010, 180, pp. 1876 - 1892 [Articolo in rivista]

Bononi L.; S. K. Das; A. Misra; C. Qiao, Pervasive and Mobile Computing Journal: Fast Track Issue on Mobile Ad Hoc and Sensor Networks, AMSTERDAM, Elsevier, 2010, pp. 2 (Pervasive and Mobile Computing). [Curatela]

M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari, Declarative Specification and Verification of Service Choreographies, «ACM TRANSACTIONS ON THE WEB», 2010, 4, pp. 1 - 62 [Articolo in rivista]

P. Torroni; F. Chesani; P. Mello; M. Montali, Social Commitments in Time: Satisfied or Compensated, in: Declarative Agent Languages and Technologies VII. 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, BERLIN, SPRINGER, 2010, 5948/2010, pp. 228 - 243 (atti di: AAMAS 2009 - Workshop Declarative Agent Languages and Technologies VII, Budapest, Hungary., May 11, 2009) [Contributo in Atti di convegno]

A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani, Analysis of the GLARE and GPROVE approaches to Clinical Guidelines, in: Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected and Invited Papers, BERLIN, Springer, 2010, LNCS 5943/2010, pp. 76 - 87 (atti di: AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009) [Contributo in Atti di convegno]

C. Sacerdoti Coen, Declarative Representation of Proof Terms, «JOURNAL OF AUTOMATED REASONING», 2010, 44, pp. 25 - 52 [Articolo in rivista]

M. MILANO; M. WALLACE, Integrating Operations Research in Constraint Programming, «ANNALS OF OPERATIONS RESEARCH», 2010, 175(1), pp. 37 - 76 [Articolo in rivista]

F. Callegati; A. Campi; W. Cerroni, A Practical Approach to Scheduler Implementation for Optical Burst/Packet Switching, in: Proceedings of 14th Conference on Optical Network Design and Modeling, s.l, s.n, 2010(atti di: 14th Conference on Optical Network Design and Modeling (ONDM 2010), Kyoto, Japan, Jan. 31 - Feb. 3, 2010) [Contributo in Atti di convegno]

W. Cerroni; B. Martini; M. Gharbaoui; A. Campi; F. Baroncelli; P. Castoldi; F. Callegati, Experimental Validation of a SIP-Based Platform for Service Oriented Optical Network, in: Proceedings of 2010 Conference on Optical Fiber Communication, WASHINGTON, DC, Optical Society of America, 2010(atti di: 2010 Conference on Optical Fiber Communication, colocated National Fiber Optic Engineers Conference (OFC/NFOEC 2010), San Diego, CA, USA, 21-25/02/2010) [Contributo in Atti di convegno]

S. Ferretti, On the Degree Distribution of Opportunistic Networks, in: Proceedings of the Second International Workshop on Mobile Opportunistic Networking, ACM/SIGMOBILE MobiOpp 2010, NEW YORK, ACM, 2010, pp. 151 - 154 (atti di: The Second International Workshop on Mobile Opportunistic Networking ACM/SIGMOBILE MobiOpp 2010, Pisa, Italy, February 22-23, 2010) [Contributo in Atti di convegno]

S. Ferretti; G. D'Angelo, Multiplayer Online Games over Scale-Free Networks: a Viable Solution?, in: Proceedings of the 3rd ACM/ICST International Conference on Simulation Tools and Techniques (SIMUTools 2010), BRUSSELS, ICST, 2010, pp. 1 - 8 (atti di: 3rd ACM/ICST Conference on Simulation Tools and Techniques (SIMUTools 2010), Torremolinos, Spain, March 15-19, 2010) [Contributo in Atti di convegno]

S.Benedettini; C.Blum; A.Roli, A Randomized Iterated Greedy Algorithm for the Founder Sequence Reconstruction Problem, in: Learning and Intelligent Optimization, «LECTURE NOTES IN COMPUTER SCIENCE», 2010, 6073, pp. 37 - 51 (atti di: Learning and Intelligent OptimizatioN, LION 4, Venice, Italy, January 18-22, 2010) [Contributo in Atti di convegno]

G. D'Angelo; F. Vitali; S. Zacchiroli, Content Cloaking: Preserving Privacy with Google Docs and other Web Applications, in: Proceedings of 25th ACM Symposium On Applied Computing (SAC) 2010, NEW YORK, NY, ACM, 2010, pp. 826 - 830 (atti di: 25th ACM Symposium On Applied Computing (SAC) 2010, Web Technologies Technical Track, Sierre, Switzerland, March 22-26, 2010) [Contributo in Atti di convegno]

V. Ghini; G. Lodi; S. Cacciaguerra; F. Panzieri, Meeting Interactivity Requirements in Mobile E-witness: An Experimental Study, «WIRELESS PERSONAL COMMUNICATIONS», 2010, 52, pp. 569 - 591 [Articolo in rivista]

G. Marfia; C. E. Palazzi; G. Pau; M. Gerla; M. Roccetti, TCP Libra: Derivation, Analysis and Comparison with Other RTT-Fair TCPs, «COMPUTER NETWORKS», 2010, 54, pp. 2327 - 2344 [Articolo in rivista]

M.A. Boschetti; V. Maniezzo; M. Roffilli, Decomposition Techniques as Metaheuristic Frameworks, in: Matheuristics, Hybridizing Metaheuristics and Mathematical Programming, NEW YORK, Springer, 2010, pp. 135 - 158 (Annals of Information Systems) [Capitolo/Saggio in libro]