Pubblicazioni

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]

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]

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]

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]

Renzo Davoli, Internet of Threads, in: Proc. of ICIW 2013 : The Eighth International Conference on Internet and Web Applications and Services, IARIA (International Academy, Research and Industry Association), 2013, pp. 100 - 105 (atti di: ICIW 2013 : The Eighth International Conference on Internet and Web Applications and Services, Roma, June 23-27 2013) [Contributo in Atti di convegno]

Weishan Zhang; Klaus Marius Hansen; Paolo Bellavista, A Research Roadmap for Context-Awareness-Based Self-managed Systems, in: Lecture Notes in Computer Science, Heidelberg, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2013, 7759, pp. 275 - 283 (atti di: 2012 International Conference on Service-Oriented Computing, ICSOC 2012, Shanghai, China, 12-15 Nov. 2012) [Contributo in Atti di convegno]

L. Nanni; A. Lumini; S. Brahnam, A secure multimatcher system for fingerprint verification, in: Proceedings of the NEDSI, 2013, pp. 511 - 522 (atti di: Annual Meeting of the Northeast Decision Sciences Institute, New York, April 5-7, 2013) [Contributo in Atti di convegno]

L. Nanni; A. Lumini; S. Brahnam ;M. Migliardi, Ensemble Of Patterns Of Oriented Edge Magnitudes Descriptors For Face Recognition, in: Proceedings of the The 17th International Conference on Image Processing, Computer Vision, and Pattern Recognition, 2013, pp. 675 - 680 (atti di: The 17th International Conference on Image Processing, Computer Vision, and Pattern Recognition, Las Vegas, July 22-25, 2013) [Contributo in Atti di convegno]

Ivan Lanese;Claudio Antares Mezzina;Jean-Bernard Stefani, Controlled Reversibility and Compensations, in: Reversible Computation, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7581, pp. 233 - 240 (atti di: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012) [Contributo in Atti di convegno]

Roberto Amadini;Maurizio Gabbrielli;Jacopo Mauro, An Empirical Evaluation of Portfolios Approaches for Solving CSPsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, in: Lecture Notes in Computer ScienceIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2013, 7874, pp. 316 - 324 (atti di: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 2013) [Contributo in Atti di convegno]

M. Montali; F. Chesani; P. Mello; F. M. Maggi, Towards data-aware constraints in declare, in: SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, New York, ACM, 2013, pp. 1391 - 1396 (atti di: 28th Annual ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, 18-22 March 2013) [Contributo in Atti di convegno]

M. Ferrara; A. Franco; D. Maltoni; Y. Sun, On the Impact of Alterations on Face Photo Recognition Accuracy, in: Proceedings of Image Analysis and Processing - ICIAP 2013 - 17th International Conference, Naples, Italy, September 9-13, 2013 - part I., Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8156, pp. 743 - 751 (atti di: International Conference on Image Analysis and Processing, Napoli, 09-13/09/13) [Contributo in Atti di convegno]

Francesca Tomasi; Fabio Ciotti; Maurizio Lana; Fabio Vitali; Silvio Peroni; Diego Magro, Dialogue and linking between TEI and other semantic models, in: The linked TEI: Text Encoding in the Web, Roma, DIGILAB Sapienza University & TEI Consortium, 2013, pp. 145 - 158 (atti di: TEI Conference 2013. The linked TEI: Text Encoding in the Web, Roma, October 2-5, 2013) [Riassunto (Abstract)]

A. Sentinelli; L. Celetto; G. Marfia; M. Roccetti, Embedded Key Frame Extraction in UGC Scenarios, in: Proceedings of 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), Piscataway, NJ, IEEE Communication Society, 2013, pp. 1 - 5 (atti di: 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), San Jose, CA (USA), July 2013) [Contributo in Atti di convegno]

M. Roccetti; A. Amoroso; C. Bertuccioli; A. Marcomini; G. Marfia; G. Matteucci, Listening to Unanimated Objects' Stories for Treatment and Repair: A Computer Vision Approach, in: Proceedings of 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), Piscataway NJ, IEEE Communication Society, 2013, pp. 1 - 5 (atti di: 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), San Jose, CA (USA), July 2013) [Contributo in Atti di convegno]

M. Roccetti; G. Marfia; C. Bertuccioli; A. Marcomini; M. Zanichelli; A. Varni;, Supporting cultural emotional browsing for museums: The versoverdi APP, in: Proceedings of 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), Piscataway, NJ, IEEE Communication Society, 2013, pp. 1 - 5 (atti di: 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), San Jose, CA (USA), July 2013) [Contributo in Atti di convegno]

M. Marzolla; G. D'Angelo; M. Mandrioli, A Parallel Data Distribution Management Algorithm, in: Proceedings 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2013, IEEE Computer Society, 2013, pp. 145 - 152 (atti di: The 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2013), Delft, Netherlands, October 30 - November 1, 2013) [Contributo in Atti di convegno]

M. Marzolla; S. Ferretti; G. D'Angelo, Auction-Based Resource Allocation in Digital Ecosystems, in: Proceedings International Conference on MOBILe Wireless MiddleWARE, Operating Systems and Applications (Mobilware), 2013, Los Alamitos, CA, IEEE, 2013, pp. 20 - 27 (atti di: 2013 International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, Bologna, Italy, november 11–12, 2013) [Contributo in Atti di convegno]

Francesca Tomasi; Fabio Vitali, Collaborative annotations in shared environments, in: Proceedings of the 2013 ACM symposium on Document engineering - DocEng '13, New York, ACM New York, 2013, pp. 283 - 284 (atti di: DocEng '13 ACM Symposium on Document Engineering 2013, Florence, September 10 - 13, 2013) [Contributo in Atti di convegno]