Publications

A. Lodi; M. Milano; P. Toth, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, HEIDELBERG, Springer Verlag, 2010, pp. 371 (Lecture Notes in Computer Science, Vol. 6140). [Editorship]

G. Slager; M Milano, Urban Traffic Control System Using Self-Organization, in: 13th International IEEE Conference on Intelligent Transportation Systems (ITSC), 2010, s.l, IEEE, 2010, pp. 255 - 260 (atti di: IEEE Conference on Intelligent Transportation Systems (ITSC), 2010, Madeira, Portugal, September 2010) [Contribution to conference proceedings]

V. Coda; E. Mollona, The Feedback Structure of the Strategy Process and Top Management’s Role in Shaping Emerging Strategic Behavior, in: Handbook of Research on Strategy Process, NORTHAMPTON, Edward Elgar, 2010, pp. 109 - 142 [Chapter or essay]

Blesa, M. J.; Blum, C.; Raidl, G.; Roli, Andrea; Sampels, M., Hybrid Metaheuristics - 7th International Workshop, HM 2010, HEIDELBERG, Springer, 2010, pp. 229 (Lecture Notes in Computer Science). [Editorship]

M.J.Blesa; C.Blum; G. Raidl; A.Roli; M.Sampels, Preface to Hybrid Metaheuristics - 7th International Workshop, HM 2010, in: Hybrid Metaheuristics - 7th International Workshop, HM 2010, HEIDELBERG, Springer, 2010, pp. IV - IV [Brief introduction]

E. Mollona, “Cooperazione e reciprocità nelle reti di competenze: Il ruolo dell’azienda nell’economia della conoscenza”, in: Economia Aziendale & Management: scritti in onore di Vittorio Coda, MILANO, Università Bocconi Editore, 2010, pp. 1 - 14 [Chapter or essay]

M. Musolesi; M. Piraccini; K. Fodor; A. Corradi; A. T. Campbell, Supporting Energy-Efficient Uploading Strategies for Continuous Sensing Applications on Mobile Phones Eighth International Conference on Pervasive Computing, 17-20 Maggio 2010, Helsinki, Finland, Lecture Notes in Computer, 6030 LNCS, pp. 355-372., in: Eighth International Conference on Pervasive Computing, BERLIN, Spriger Verlag, 2010, 6030 LNCS, pp. 355 - 372 (atti di: Eighth International Conference on Pervasive Computing, Helsinki, Finland, 17-20 Maggio 2010) [Contribution to conference proceedings]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in Impure Concurrent Languages, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6269, pp. 328 - 342 (atti di: CONCUR 2010 - 21th International Conference on Concurrency Theory, Paris, Francia, August 31-September 3, 2010.) [Contribution to conference proceedings]

I. Lanese; J. A. Perez; D. Sangiorgi; A. Schmitt, On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi, in: Automata, Languages and Programming : Proceedings, BERLIN, Springer, 2010, 6199, pp. 442 - 453 (atti di: 37th International Colloquium Automata, Languages and Programming (ICALP 2010), Bordeaux, France, July 6-10, 2010) [Contribution to conference proceedings]

F.Montesi; D. Sangiorgi, A Model of Evolvable Components, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6084, pp. 153 - 171 (atti di: 5th International Symposium on Trustworthly Global Computing - TGC 2010, Munich, Germany, February 24-26, 2010) [Contribution to conference proceedings]

M. Cimini; C. Sacerdoti Coen; D. Sangiorgi, Functions as Processes: Termination and the lambda mu mu~ - Calculus, in: Lecture Notes in Computer Science, BERLIN, Springer, 2010, 6084, pp. 73 - 86 (atti di: 5th International Symposium on Trustworthly Global Computing - TGC 2010, Munich, Germany, February 24-26, 2010) [Contribution to conference proceedings]

N. Kobayashi; D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2010, 32, pp. 1 - 49 [Scientific article]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Termination in higher-order concurrent calculi, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2010, 79, pp. 550 - 577 [Scientific article]

I. Lanese; D. Sangiorgi, An operational semantics for a calculus for wireless systems, «THEORETICAL COMPUTER SCIENCE», 2010, 411, pp. 1928 - 1948 [Scientific article]

G. Cardone; A. Corradi; L. Foschini, Translucent Middleware Approach to Facilitate WSN Access Management, in: Proceedings of the 2010 IEEE International Symposium on Computers and Communications, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2010, pp. 595 - 598 (atti di: IEEE International Symposium on Computers and Communications, Riccione, Italy, 22-25 Giugno 2010) [Contribution to conference proceedings]

A. Corradi; M. Fanelli; L. Foschini, Towards Adaptive and Scalable Context-Aware Middleware, «INTERNATIONAL JOURNAL OF ADAPTIVE, RESILIENT AND AUTONOMIC SYSTEMS», 2010, 1, no. 1, pp. 58 - 74 [Scientific article]

A. Corradi; M. Fanelli; L. Foschini, Adaptive Context Data Distribution with Guaranteed Quality for Mobile Environments, in: Proceedings of the 2010 IEEE International Symposium on Wireless Pervasive Computing, PISCATAWAY, NJ, IEEE Computer Society Press, 2010, pp. 373 - 380 (atti di: IEEE International Symposium on Wireless Pervasive Computing, Modena, Italy, 5-7 Maggio 2010) [Contribution to conference proceedings]

A. Corradi; L. Foschini; L. Nardelli, A DDS-Compliant Infrastructure for Fault-Tolerant and Scalable Data Dissemination, in: Proceedings of the 2010 IEEE International Symposium on Computers and Communications, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2010, pp. 489 - 495 (atti di: IEEE International Symposium on Computers and Communications, Riccione, Italy, 22-25 Giugno 2010) [Contribution to conference proceedings]

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Towards Efficient and Reliable Context Data Distribution in Disaster Area Scenarios, in: Proceedings of the 2010 IEEE Conference on Local Computer Networks, PISCATAWAY, NJ, IEEE Computer Society Press, 2010, pp. 1 - 4 (atti di: IEEE Conference on Local Computer Networks, Denver, Colorado, US, 11-14 Ottobre 2010) [Contribution to conference proceedings]

A. Boukerche; A. Corradi; M. Fanelli; L. Foschini, Self-Adaptive and Time-Constrained Data Distribution Paths for Emergency Response Scenarios, in: Proceedings of the 2010 ACM international workshop on Mobility management and wireless access, NEW YORK, NY, ACM Press, 2010, pp. 29 - 36 (atti di: ACM international workshop on Mobility management and wireless access, Bodrum, Turchia, 17-21 October 2010) [Contribution to conference proceedings]