Pubblicazioni

Ana García-Fornes; Jomi F. Hübner; Andrea Omicini; Juan A. Rodríguez-Aguilar; Vicent Botti, Special Issue "Infrastructures and Tools for Multiagent Systems", AMSTERDAM, Elsevier, 2011, pp. 67 . [Curatela]

Ana García-Fornes; Jomi F. Hübner; Andrea Omicini; Juan A. Rodríguez-Aguilar; Vicent Botti, Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems, «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE», 2011, 24, pp. 1095 - 1097 [Articolo in rivista]

A. Asperti; J.Avigad, Zen and the art of formalisation., «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2011, 21(4), pp. 679 - 682 [Articolo in rivista]

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]

D. Gavalas; P. Bellavista; J. Cao; V. Issarny, Mobile Applications: Status and Trends (guest editorial), «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2011, 84, pp. 1823 - 1826 [Articolo in rivista]

A. Asperti; E.Tassi, Superposition as a logical glue, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2011, 53, pp. 1 - 15 [Articolo in rivista]

M. Golfarelli; F. Mandreoli; W. Penzo; S. Rizzi; E. Turricchia, BIN: Business Intelligence Networks, in: Business Intelligence Applications and the Web: Models, Systems, and Technologies, HERSHEY, IGI Global, 2011, pp. 244 - 265 [Capitolo/Saggio in libro]

M. Marzolla, Fast training of support vector machines on the Cell processor, «NEUROCOMPUTING», 2011, 74, pp. 3700 - 3707 [Articolo in rivista]

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]

P. Bellavista; A. Corradi; C. Giannelli, Differentiated Management Strategies for Multi-Hop Multi-Path Heterogeneous Connectivity in Mobile Environments, «IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT», 2011, 8, No. 3, pp. 190 - 204 [Articolo in rivista]

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]

G.S. Banavar; P. Bellavista; R. Kothari; N. Venkatasubramanian, Communications Middleware for Mobile Devices and Applications (Guest Editorial), New York, IEEE, 2011, pp. 42 . [Curatela]

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]

A. Lanza; Salti S.; Di Stefano L., Background Subtraction by Non-parametric Probabilistic Clustering, in: Proceedings of the 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS), PISCATAWAY, NJ, IEEE Computer Society, 2011, pp. 243 - 248 (atti di: 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS), Klagenfurt University, Austria, 30/08/2011-02/09/2011) [Contributo in Atti di convegno]