Pubblicazioni

G. D'Angelo; S. Ferretti; V. Ghini; F. Panzieri, Mobile Computing in Digital Ecosystems: Design Issues and Challenges, in: Proceedings of the 2011 International Wireless Communications and Mobile Computing Conference (IWCMC 2011), PISCATAWAY, IEEE, 2011, pp. 2127 - 2132 (atti di: Emergency Management (EMCCP Workshop)as part of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011), Istanbul (Turkey), July 2011) [Contributo in Atti di convegno]

G. D'Angelo, Tutorial II: Parallel and Distributed Simulation from Many Cores to the Public Cloud, in: Proceedings of the 2011 International Conference on High Performance Computing and Simulation (HPCS 2011), PISCATAWAY, IEEE, 2011, pp. xlvii - xlviii (atti di: International Conference on High Performance Computing and Simulation (HPCS 2011), Istanbul (Turkey), July 2011) [Riassunto (Abstract)]

L. Carozza; A. Bevilacqua; F. Piccinini, An Incremental Method for Mosaicing of Optical Microscope Imagery, in: Proceedings, s.l, s.n, 2011, pp. 55 - 60 (atti di: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, Paris, April, 11-15) [Contributo in Atti di convegno]

A. Bevilacqua; F. Piccinini; A. Gherardi, Vignetting correction by exploiting an optical microscopy image sequence, in: Proceedings, s.l, s.n, 2011, pp. 6166 - 6169 (atti di: 33rd Annual international conference of the IEEE Engineering inMedicine and Biology Society (EMBS 2011), Boston, MA, USA, August 30 - September 3, 2011) [Contributo in Atti di convegno]

L. Carozza; A. Bevilacqua; F. Piccinini, Mosaicing of Optical Microscope Imagery Based on Visual Information, in: Proceedings, s.l, s.n, 2011, pp. 6162 - 6165 (atti di: 33rd Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBS 2011), Boston, USA, August 30 - September 3, 2011) [Contributo in Atti di convegno]

Kim W.; Kassler A.J.; Di Felice M.; Gerla M.; Bononi L., Urban-X: A Self-organizing Cognitive Wireless Mesh Network for Dense City Environments, in: LNCS 6649 - Wired/Wireless Internet Communications, BERLIN, Springer Verlag Berlin / Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, LNCS 6649, pp. 398 - 409 (atti di: 9th IFIP TC 6 International Conference on Wired/Wireless Internet Communications, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011) [Contributo in Atti di convegno]

Johnsen E. B.; Lanese I.; Zavattaro G., Fault in the Future, in: Proceedings of COORDINATION 2011, 13th International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6721, pp. 1 - 15 (atti di: COORDINATION 2011, 13th International Conference on Coordination Models and Languages, Reykjavik, Iceland, 6-9/6/2011) [Contributo in Atti di convegno]

A. Battaglia; M. Golfarelli; S. Rizzi, QBX: A CASE Tool for Data Mart Design, in: Proceedings 30th International Conference on Conceptual Modeling, HEIDELBERG, Springer, 2011, pp. 358 - 363 (atti di: 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011) [Contributo in Atti di convegno]

I. Lanese; C. A. Mezzina; A. Schmitt; J. Stefani, Controlling Reversibility in Higher-Order Pi, in: Proceedings of CONCUR 2011, 22nd International Conference on Concurrency Theory, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6901, pp. 297 - 311 (atti di: CONCUR 2011, 22nd International Conference on Concurrency Theory, Aachen, Germany, 5-10/9/2011) [Contributo in Atti di convegno]

M. Golfarelli; S. Rizzi; E. Turricchia, Modern Software Engineering Methodologies Meet Data Warehouse Design: 4WD, in: Proceedings Data Warehousing and Knowledge Discovery13th International Conference, DaWaK 2011, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6862, pp. 66 - 79 (atti di: 13th International Conference, DaWaK 2011, Toulouse, France, August 29-September 2) [Contributo in Atti di convegno]

Asperti, Andrea; Maietti, M. E.; SACERDOTI COEN, Claudio; Sambin, G.; Valentini, S., Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita., in: Lecture Notes in Computer Science, Springer-Verlag, 2011, 6824, pp. 278 - 280 (atti di: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011., Bertinoro, Italy,, 18-23 Luglio 2011) [Contributo in Atti di convegno]

Asperti, Andrea; Ricciotti, Wilmer; SACERDOTI COEN, Claudio; Tassi, E., The Matita Interactive Theorem Prover, in: Lecture Notes in Computer Science, Springer-Verlag, 2011, 6803, pp. 64 - 69 (atti di: 23rd International Conference on Automated Deduction - CADE 23, Wroclaw, Poland, July 31 - August 5, 2011.) [Contributo in Atti di convegno]

Z. Brahmia; R. Bouaziz; F. Grandi; B. Oliboni, Schema versioning in tauXSchema-based multitemporal XML repositories, in: PROCEEDINGS OF 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS 2011), LOS ALAMITOS, IEEE Computer Society Press, 2011, pp. 1 - 12 (atti di: Fifth IEEE International Conference on Research Challenges in Information Science, Gosier (Guadalupa Francese), Maggio 2011) [Contributo in Atti di convegno]

G. Marfia; M. Roccetti; A. Amoroso; M. Gerla; G. Pau; J. H. Lim, Cognitive Cars: Constructing a Cognitive Playground for VANET Research Testbeds, in: Proceedings of 4th International Conference on Cognitive Radio and Advanced Spectrum Management, New York, ACM New York, 2011, pp. 1 - 5 (atti di: International Conference on Cognitive Radio and Advanced Spectrum Management (CogART 2011), Barcelona, October 2011) [Contributo in Atti di convegno]

F. Grandi, Light-weight Ontology Versioning with Multi-temporal RDF Schema, in: Proceedings - Fifth International Conference on Advances in Semantic Processing - SEMAPRO 2011, WILMINGTON, IARIA, 2011, pp. 42 - 48 (atti di: Fifth International Conference on Advances in Semantic Processing (SEMAPRO 2011), Lisbona (Portogallo), Novembre 2011) [Contributo in Atti di convegno]

M. Prandini; M. Ramilli, Security Considerations about the Adoption of Web 2.0 Technologies in Sensitive e-Government Processes, in: Proceedings of The 5th International Conference on Theory and Practice of Electronic Governance, NEW YORK (NY), ACM Press, 2011, pp. 285 - 288 (atti di: 5th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2011, Tallinn, Estonia, 26/09/2011 - 28/09/2011) [Contributo in Atti di convegno]

J. Aligon; M. Golfarelli; P. Marcel; S. Rizzi; E. Turricchia, Mining Preferences from OLAP Query Logs for Proactive Personalization, in: Advances in Databases and Information Systems, HEIDELBERG, Springer, 2011, pp. 84 - 97 (atti di: 15th International Conference on Advances in Databases and Information Systems, Vienna, Austria, September 20-23, 2011) [Contributo in Atti di convegno]

A. Franceschelli ; P. Burgio; G. Tagliavini; A. Marongiu; M. Ruggiero; M. Lombardi; A. Bonfietti; M. Milano; L. Benini, MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor, in: CF '11 Proceedings of the 8th ACM International Conference on Computing Frontiers, NEW YORK, ACM, 2011, pp. 1 - 2 (atti di: CF '11 The 8th ACM International Conference on Computing Frontiers, Ischia, Italy, May 3-5, 2011) [Riassunto (Abstract)]

S. Salti; F. Tombari; L. Di Stefano, A Performance Evaluation of 3D Keypoint Detectors, in: Proceedings of the first International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission., LOS ALAMITOS, CA, IEEE Computer Society, 2011, pp. 236 - 243 (atti di: International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission, Hangzhou, China, 16-19/05/2011) [Contributo in Atti di convegno]

F. Tombari; S. Salti; L. Di Stefano, A combined texture-shape descriptor for enhanced 3D feature matching, in: Proceedings of the 18th IEEE International Conference on Image Processing, PISCATAWAY, NJ, IEEE Signal Processing Society, 2011, pp. 809 - 812 (atti di: IEEE International Conference on Image Processing, Brussels, Belgium, 11-14/09/2011) [Contributo in Atti di convegno]