Pubblicazioni

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]

M. Golfarelli; S. Rizzi, Data Warehouse Testing: A Prototype-Based Methodology, «INFORMATION AND SOFTWARE TECHNOLOGY», 2011, 53, pp. 1183 - 1198 [Articolo in rivista]

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]

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]