Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2012 Elimina filtro

299 pubblicazioni

  • Damien Pous;Davide Sangiorgi, Enhancements of the bisimulation proof method, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 233 - 289 [Capitolo/Saggio in libro]

  • Davide Sangiorgi, Origins of bisimulation and coinduction, in: Advanced Topics in Bisimulation and Coinduction, Cambridge, CAMBRIDGE UNIVERSITY PRESS, 2012, pp. 1 - 37 [Capitolo/Saggio in libro]

  • Romain Demangeon;Daniel Hirschkoff;Davide Sangiorgi, Strong Normalisation in λ-Calculi with References, in: Fundamentals of Software Engineering: Revised Selected Papers, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7141, pp. 128 - 142 (atti di: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011) [Contributo in Atti di convegno]

  • B. Kantarci;L. Foschini;A. Corradi;H. Mouftah, Inter-and-intra data center VM-placement for energy-efficient large-Scale cloud systems, in: Proceedings of the IEEE Globcom Workshops (GC Wkshps 2012), IEEE Computer Society Press, 2012, PISCATAWAY, NJ, pp. 708 - 713 (atti di: IEEE International Workshop on Management and Security technologies for Cloud Computing 2012 (ManSec-CC'12), within IEEE Globecom Workshops (GC Wkshps), Disneyland Hotel, Anaheim, California, USA, 3-7 December, 2012) [Contributo in Atti di convegno]

  • Alberto Dennunzio; Pietro Di Lena; Luciano Margara, Strictly Temporally Periodic Points in Cellular Automata, in: Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 2012, 90, pp. 225 - 235 (atti di: 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012) [Contributo in Atti di convegno]

  • Michaël Lienhardt;Mario Bravetti;Davide Sangiorgi, An Object Group-Based Component Model, in: Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, Berlino, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7609, pp. 64 - 78 (atti di: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012) [Contributo in Atti di convegno]

  • Mario Bravetti;Gianluigi Zavattaro, Service Discovery and Composition Based on Contracts and Choreographic Descriptions, in: Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, Hershey, Pennsylvania, IGI Global, 2012, pp. 60 - 88 [Capitolo/Saggio in libro]

  • Sara Montagna;Mirko Viroli, A Computational Framework for Multilevel Morphologies, in: Morphogenetic Engineering, Berlin, Springer Berlin Heidelberg, 2012, pp. 383 - 405 (UNDERSTANDING COMPLEX SYSTEMS) [Capitolo/Saggio in libro]

  • M. Casadei;M. Viroli, Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems, in: Self-Adaptive and Self-Organizing Systems Workshops (SASOW), Los Alamitos, IEEE CS, 2012, pp. 199 - 204 (atti di: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Lyon, France, 10-14 September, 2012) [Contributo in Atti di convegno]

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