Pubblicazioni

E. Loli Piccolomini; G. landi, Quasi-Newton projection methods and the discrepancy principle in image restoration, «APPLIED MATHEMATICS AND COMPUTATION», 2011, 218, pp. 2091 - 2107 [Articolo in rivista]

E. Loli Piccolomini; F. Zama, An iterative algorithm for large size least-squares constrained regularization problems, «APPLIED MATHEMATICS AND COMPUTATION», 2011, 217, pp. 10343 - 10354 [Articolo in rivista]

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]

Luca Cernuzzi; Ambra Molesini; Andrea Omicini; Franco Zambonelli, Adaptable Multi-Agent Systems: The Case of the Gaia Methodology, «INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING», 2011, 21, pp. 491 - 521 [Articolo in rivista]

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]