Pubblicazioni

G. D'Angelo; S. Ferretti, LUNES: Agent-based Simulation of P2P Systems, in: Proceedings of the 2011 International Conference on High Performance Computing and Simulation (HPCS 2011), PISCATAWAY, IEEE, 2011, pp. 593 - 599 (atti di: Proceedings of the International Workshop on Modeling and Simulation of Peer-to-Peer Architectures and Systems (MOSPAS 2011) as part of the 2011 International Conference on High Performance Computing and Simulation (HPCS 2011), Istanbul (Turkey), July 2011) [Contributo in Atti di convegno]

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)]

G. D'Angelo; S. Ferretti, Proceedings of 2nd ICST/CREATE-NET Workshop on DIstributed SImulation and Online gaming (DISIO 2011), BRUSSELS, ICST, 2011, pp. 133 . [Curatela]

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]

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]