Pubblicazioni

Pietro Di Lena; Gang Wu; Pier Luigi Martelli; Rita Casadio; Christine Nardini, MIMO: an efficient tool for molecular interaction maps overlap, «BMC BIOINFORMATICS», 2013, 14, pp. . - . [Articolo in rivista]

V. Grassi; M. Marzolla; R. Mirandola, QoS-aware fully decentralized service assembly, in: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '13), Piscataway, NJ, IEEE PRESS, 2013, pp. 53 - 62 (atti di: 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, San Francisco, USA, may 18--23, 2013) [Contributo in Atti di convegno]

Ivan Lanese;Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani, Concurrent Flexible Reversibility, in: Programming Languages and Systems - Proceedings of 22nd European Symposium on Programming, ESOP 2013, Berlin Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7792, pp. 370 - 390 (atti di: 22nd European Symposium on Programming, Roma, 16-24/3/2013) [Contributo in Atti di convegno]

Ivan Lanese;Luca Bedogni;Marco Di Felice, Internet of Things: a process calculus approach, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, New York, ACM, 2013, pp. 1339 - 1346 (atti di: 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, 18-22/3/2013) [Contributo in Atti di convegno]

Ivan Lanese; Gianluigi Zavattaro, Decidability Results for Dynamic Installation of Compensation Handlers, in: Proc. of 15th International Conference, COORDINATION 2013 Models and Languages, 2013, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7890, pp. 136 - 150 (atti di: 15th International Conference, COORDINATION 2013, Firenze, 3-5/6/2013) [Contributo in Atti di convegno]

D. Rossi; S. Zacchiroli; A. Di Iorio, Editorial Message - Special Track on Web Technologies, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing, New York, ACM Press, 2013, pp. 693 - 694 [Breve introduzione]

Frank S. Boer;Mario Bravetti;Immo Grabe;Matias Lee;Martin Steffen;Gianluigi Zavattaro, A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, in: Proceedings of Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7684, pp. 110 - 127 (atti di: Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012) [Contributo in Atti di convegno]

Franco Callegati; Luiz H. Bonani; Walter Cerroni, Service Fairness in Flexible Optical Networks, in: Optical Fiber Communication Conference and Exposition and the National Fiber Optic Engineers Conference (OFC/NFOEC), 2013, 2013, pp. 1 - 3 (atti di: Optical Fiber Communication Conference and Exposition and the National Fiber Optic Engineers Conference (OFC/NFOEC), Anaheim, CA, 17-21 March 2013) [Contributo in Atti di convegno]

Giuseppe Cardone;Luca Foschini;Paolo Bellavista;Antonio Corradi;Cristian Borcea;Manoop Talasila;Reza Curtmola, Fostering participaction in smart cities: a geo-social crowdsensing platform, «IEEE COMMUNICATIONS MAGAZINE», 2013, 51, pp. 112 - 119 [Articolo in rivista]

Giuseppe Cardone;Andrea Cirri;Antonio Corradi;Luca Foschini;Dario Maio, MSF: An Efficient Mobile Phone Sensing Framework, «INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS», 2013, 2013, pp. 1 - 9 [Articolo in rivista]

Paolo Bellavista; Carlo Giannelli, Middleware for semantic multicast in spontaneous multi-hop networks, in: Mobile Wireless Middleware, Operating Systems, and Applications, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2013, 65LNICST, pp. 45 - 61 (atti di: 5th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2012, Berlno, Germania, Novembre 2012) [Contributo in Atti di convegno]

Paolo Bellavista; Antonio Corradi; Carlo Giannelli, Cooperative Video Provisioning in Mobile Wireless Environments, in: Ce Zhu, Yuenan Li, Advanced Video Communications over Wireless Networks, Londra, CRC PRESS TAYLOR & FRANCIS GROUP, 2013, pp. 247 - 279 [Capitolo/Saggio in libro]

S. Peroni; F. Tomasi; F. Vitali, The aggregation of heterogeneous metadata in Web-based cultural heritage collections. A case study, «INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY», 2013, 8, pp. 412 - 432 [Articolo in rivista]

P. Nintanavongsa; R. Doost-Mohammady; M. Di Felice; K. R.Chowdhury;, Device Characterization and Cross-layer Protocol Design for RF Energy Harvesting Sensors, «PERVASIVE AND MOBILE COMPUTING», 2013, 9, pp. 120 - 131 [Articolo in rivista]

K. Chowdhury; M. Di Felice; I. F. Akyildiz, TCP CRAHN: A Transport Control Protocol for Cognitive Radio Ad Hoc Networks, «IEEE TRANSACTIONS ON MOBILE COMPUTING», 2013, 12, pp. 790 - 803 [Articolo in rivista]

Alberto Dennunzio; Pietro Di Lena; Enrico Formenti; Luciano Margara, Periodic Orbits and Dynamical Complexity in Cellular Automata, «FUNDAMENTA INFORMATICAE», 2013, 126, pp. 183 - 199 [Articolo in rivista]

Reiner Hähnle;Michiel Helvensteijn;Einar Broch Johnsen;Michael Lienhardt;Davide Sangiorgi;Ina Schaefer;Peter Y. H. Wong, HATS Abstract Behavioral Specification: The Architectural View, in: Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011: Revised Selected Papers, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7542, pp. 109 - 132 (atti di: 10th International Symposium, FMCO 2011, Torino, October 3-5, 2012) [Contributo in Atti di convegno]

Moreno Marzolla; Raffaela Mirandola, Dynamic power management for QoS-aware applications, «SUSTAINABLE COMPUTING», 2013, 3, pp. 231 - 248 [Articolo in rivista]

P. Bellavista;A. Corradi;L. Foschini, Enhancing Intra-Domain Scalability of IMS-based Services, «IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS», 2013, 24, pp. 2386 - 2395 [Articolo in rivista]

A. Corradi;M. Fanelli;L. Foschini;M. Cinque, Context data distribution with quality guarantees for Android-based mobile systems, «SECURITY AND COMMUNICATION NETWORKS», 2013, 6, pp. 450 - 460 [Articolo in rivista]