Pubblicazioni

Graeme Stevenson;Juan Ye;Simon Dobson; Mirko Viroli;Sara Montagna, Self-Organising Semantic Resource Discovery for Pervasive Systems, in: Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Los Alamitos, IEEE CS, 2012, pp. 181 - 186 (atti di: 012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Lyon, France, 10-14 September, 2012) [Contributo in Atti di convegno]

Sara Montagna;Mirko Viroli;Danilo Pianini;Jose Louis Fernandez-Marquez, Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems, in: 13th Workshop on Objects and Agents, WOA 2012, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2012, 892, pp. 1 - 9 (atti di: 13th Workshop on Objects and Agents, WOA 2012, Milano, Italy, 17-19 September, 2012) [Contributo in Atti di convegno]

F. De Paoli; E. Pimentel; G. Zavattaro, Proceedings of European Conference on Service-Oriented, ESOCC 2012, Berlin, Springer, 2012, pp. 2 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

M. Casadei;M. Viroli, A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems, in: Proceedings of the 13th Workshop on Objects and Agents, Aachen, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2012, 892, pp. 1 - 10 (atti di: 13th Workshop on Objects and Agents, WOA 2012, Milano, Italy, 17-19 September, 2012) [Contributo in Atti di convegno]

Bhumip Khasnabish;Dijiang Huang;Xiaoying Bai;Paolo Bellavista;Gregorio Martinez;Nick Antonopoulos, Cloud Computing, Networking, and Services, «JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT», 2012, 20, pp. 463 - 467 [Articolo in rivista]

José Luis Fernandez-Marquez; Sara Montagna; Andrea Omicini; Franco Zambonelli, ASENSIS 2012 - First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions, in: Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Los Alamitos, CA, IEEE CS, 2012, pp. xxii - xxiii [Breve introduzione]

Stefano Mariani; Andrea Omicini, Self-Organising News Management: The Molecules of Knowledge Approach, in: Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Los Alamitos, CA, IEEE CS, 2012, pp. 235 - 240 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, 10-14 September) [Contributo in Atti di convegno]

Marco Alberti; Andrea Omicini, Towards the Analysis & Prediction of Complex System Behaviour in SAPERE, in: Proceedings - 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Los Alamitos, CA, IEEE CS, 2012, pp. 193 - 198 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, 10-14 September) [Contributo in Atti di convegno]

Matteo Magnani; Danilo Montesi; Luca Rossi, Conversation retrieval for microblogging sites, «INFORMATION RETRIEVAL», 2012, 15, pp. 354 - 372 [Articolo in rivista]

A. Roli; S. Benedettini; M. Birattari; C. Pinciroli; R. Serra; M. Villani, A preliminary study on BN-robots' dynamics, in: Proceedings of wivace 2012. Italian workshop on artificial life and evolutionary computation, Università degli Studi di Modena e Reggio Emilia, 2012, pp. 1 - 4 (atti di: WIVACE 2012, Parma, 20-21 February 2012) [Contributo in Atti di convegno]

S. Benedettini; A. Roli; R. Serra; M. Villani, Automatic Design of Boolean Networks for Modelling Cell Differentiation, in: Proceedings of wivace 2012. Italian workshop on artificial life and evolutionary computation, Università degli Studi di Modena e Reggio Emilia, 2012, pp. 1 - 12 (atti di: WIVACE 2012, Parma, 20-21 February 2012) [Contributo in Atti di convegno]

Dominic P. Mulligan;Claudio Sacerdoti Coen, On the Correctness of an Optimising Assembler for the Intel MCS-51 MicroprocessorCertified Programs and Proofs, in: Lecture Notes in Computer ScienceCertified Programs and Proofs, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2012, 7679, pp. 43 - 59 (atti di: Certified Programs and Proofs, Kyoto, 13-15 Dicembre 2012) [Contributo in Atti di convegno]

C. ROSSI; A. PILATI; M. RAMILLI; F. CALLEGATI, WEB MANAGEMENT OF ELECTRIC VEHICLE FLEETS, in: 26th Electric Vehicle Symposium 2012, Red Hook, NY 12571, Curran Associates, Inc., 2012, pp. 515 - 524 (atti di: 26th Electric Vehicle Symposium, Los Angeles, California, USA, 6-9 May 2012) [Contributo in Atti di convegno]

Michela Milano (a cura di): Michela Milano, Principles and Practice of Constraint Programming, Berlin, Springer, 2012, pp. 1016 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

Marco Gavanelli; Michela Milano; Alan Holland; Barry O'Sullivan, What-if analysis through simulation-optimization hybrids, in: Proceedings - 26th European Conference on Modelling and Simulation, Koblenz, ECMS, 2012, pp. 1 - 6 (atti di: 26th European Conference on Modelling and Simulation, ECMS 2012, Koblenz, May 2012) [Contributo in Atti di convegno]

S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A Rule-Based Calculus and Processing of Complex Events, in: Rules on the Web: Research and Applications, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7438, pp. 151 - 166 (atti di: 6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, Montpellier, France, 27-29 August 2012) [Contributo in Atti di convegno]

D. Aspinall; C. Sacerdoti Coen, Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10), Amsterdam, Academic Press (Elsevier), 2012, pp. 120 . [Curatela]

G. Vitali; E. Magnanini; N.Mennucci; E. Denti, VPN-Client-Server Object-Oriented Virtual Plant Modeling Tool, in: Plant Growth Modeling, Simulation, Visualization and Applications, Beijing, IEEE-Press, 2012, pp. 409 - 412 (atti di: 2012 IEEE 4th Int.Symp. on Plant Growth Modeling, Simulation, Visualization and Applications, Shanghai, 31 ottobre-3 novembre 2012) [Contributo in Atti di convegno]

A. Bevilacqua; W. Zoli; F. Piccinini; A. Tesei, Extension of the microscope's depth of focus, in: Proceedings, 2012(atti di: The 2nd International conference on "Translational research in oncology: a new Approach to personalized medicine", Meldola (FC), Italy, May 8-11, 2012) [Poster]

A. Bevilacqua; D. Barone; L. Carozza; G. Gavelli, Detecting early errors in DCE-CT imaging, in: Proceedings, 2012, pp. 1 - 1 (atti di: The 2nd International conference on "Translational research in oncology: a new Approach to personalized medicine", Meldola (FC), Italy, May 8-11, 2012) [Poster]