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

Pubblicazioni

2013 Elimina filtro
Contributo in atti di convegno Elimina filtro

162 pubblicazioni

  • F. Piccinini; A Tesei; G. Paganelli; W. Zoli; A. Bevilacqua, GridMos: a fully-automatic mosaicing method for improving precision and repeatability of manual cell counting, in: Proceedings, 2013, pp. 74 - 74 (atti di: 4th International Symposium AICC-GISM, Brescia, Italy, November 20-22, 2013) [Poster]

  • LUCA FERRARI; LUIGI GUERRA; CATIA PRANDI; MATTEO RICCI; PAOLA SALOMONI, Integrazione del tool autore AContent con Moodle, in: Atti del MoodleMoot Italia 2013, 2013, pp. 43 - 48 (atti di: MoodleMoot Italia, Ancona, 9-20 settembre 2013) [Contributo in Atti di convegno]

  • V. Cozza;A. Messina;D. Montesi;L. Arietta;M. Magnani, Spatio-Temporal Keyword Queries in Social Networks, in: Advances in Databases and Information Systems, Berlino, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8133, pp. 70 - 83 (atti di: ADBIS 2013, Genova, 1/4 settembre 2013) [Contributo in Atti di convegno]

  • Stefano Mariani; Andrea Omicini, TuCSoN on Cloud: An Event-Driven Architecture for Embodied / Disembodied Coordination, in: Algorithms and Architectures for Parallel Processing, Berlin Heidelberg, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8286, pp. 285 - 294 (atti di: The 13th International Conference on Algorithms and Architectures for Parallel Processing, Vietri sul Mare, SA, Italy, 18/12/2013 – 20/12/2013) [Contributo in Atti di convegno]

  • Stefano Mariani; Andrea Omicini, Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine, in: Proceedings of the 6th International Spatial Computing Workshop (SCW 2013), 2013, pp. 29 - 34 (atti di: 6th International Spatial Computing Workshop (SCW 2013), AAMAS 2013, Saint Paul, Minnesota, USA, 6/5/2013) [Contributo in Atti di convegno]

  • Stefano Mariani; Andrea Omicini, Probabilistic Modular Embedding for Stochastic Coordinated Systems, in: Coordination Models and Languages, Berlin Heidelberg, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7890, pp. 151 - 165 (atti di: 15th International Conference on Coordination Models and Languages (COORDINATION 2013), Florence, Italy, 03/06/2013 – 06/06/2013) [Contributo in Atti di convegno]

  • Stefano Mariani; Andrea Omicini, Event-Driven Programming for Situated MAS with ReSpecT Tuple Centres, in: Multiagent System Technologies, Berlin Heidelberg, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8076, pp. 306 - 319 (atti di: 11th German Conference on Multi-Agent System Technologies, Koblenz, Germany, 16/09/2013 – 20/09/2013) [Contributo in Atti di convegno]

  • Andrea Omicini; Stefano Mariani, Coordination for Situated MAS: Towards an Event-driven Architecture, in: Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2013, 989, pp. 17 - 22 (atti di: International Workshop on Petri Nets and Software Engineering (PNSE'13), Milan, Italy, 24-25/6/2013) [Contributo in Atti di convegno]

  • Stefano Mariani; Andrea Omicini, Space-aware Coordination in ReSpecT, in: From Objects to Agents, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2013, 1099, pp. 1 - 7 (atti di: 14º Workshop Nazionale “Dagli Oggetti agli Agenti”, Turin, Italy, 02/12/2013 – 03/12/2013) [Contributo in Atti di convegno]

  • Stefano Mariani; Andrea Omicini, Tuple-based Coordination of Stochastic Systems with Uniform Primitives, in: From Objects to Agents, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2013, 1099, pp. 8 - 15 (atti di: 14º Workshop Nazionale “Dagli Oggetti agli Agenti”, Turin, Italy, 02/12/2013 – 03/12/2013) [Contributo in Atti di convegno]

  • Andrea Omicini; Pierluigi Contucci, Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems, in: Computational Collective Intelligence. Technologies and Applications, Berlin Heidelberg, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8083, pp. 1 - 10 (atti di: 5th International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI 2013), Craiova, Romania, 11/09/2013 – 13/09/2013) [Contributo in Atti di convegno]

  • Cosimo Laneve; Luca Padovani, An Algebraic Theory for Web Service Contracts., in: Integrated Formal Methods, 10th International Conference, IFM 2013, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7940, pp. 301 - 315 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, TURKU, June 10-14, 2013) [Contributo in Atti di convegno]

  • Elvira Albert; Frank S. de Boer; Reiner Hahnle; Einar Broch Johnsen; Cosimo Laneve, Engineering virtualized services, in: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, «ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES», 2013, 826, pp. 59 - 63 (atti di: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, Oslo, September 1-3, 2013) [Contributo in Atti di convegno]

  • Elena Giachino; Cosimo Laneve, A Beginner's Guide to the DeadLock Analysis Model, in: Trustworthy Global Computing - 7th International Symposium, TGC 2012, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8191LNCS, pp. 49 - 63 (atti di: Trustworthy Global Computing - 7th International Symposium, Newcastle upon Tyne, UK, September 7-8, 2012) [Contributo in Atti di convegno]

  • Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice, in: Integrated Formal Methods, 10th International Conference, IFM 2013, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7940, pp. 394 - 411 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, June 10-14, 2013) [Contributo in Atti di convegno]

  • Franco Callegati;Aldo Campi;Walter Cerroni;Matteo Marano;Claudio Rossi;Giovanni Pau, All electrical vehicles connected to the Internet: Implementation and experiments, in: 2013 Sustainable Internet and ICT for Sustainability (SustainIT), IEEE, 2013, pp. 1 - 8 (atti di: 2013 Sustainable Internet and ICT for Sustainability (SustainIT), Palermo, 30-31 October) [Contributo in Atti di convegno]

  • Franco Callegati;Walter Cerroni, Live Migration of Virtualized Edge Networks: Analytical Modeling and Performance Evaluation, in: 2013 IEEE SDN for Future Networks and Services (SDN4FNS), IEEE, 2013, pp. 1 - 6 (atti di: 2013 IEEE SDN for Future Networks and Services (SDN4FNS), Trento, 11-13 November) [Contributo in Atti di convegno]

  • Andrea Borghesi; Michela Milano; Marco Gavanelli; Tony Woods, imulation Of Incentive Mechanisms For Renewable Energy Policies, in: Proceedings of the 27th European Conference on Modelling and Simulation, ECMS 2013, Ålesund, Norway, May 27-30, 2013. European Council for Modeling and Simulation, 2013, pp. 32 - 38 (atti di: European Conference on Modelling and Simulation, ECMS 2013, Ålesund, Norway, May 27-30) [Contributo in Atti di convegno]

  • Michela Milano, Optimization for Policy Making: The Cornerstone for an Integrated ApproachPrinciples and Practice of Constraint Programming, in: Lecture Notes in Computer SciencePrinciples and Practice of Constraint Programming, 2013, 8124, pp. 1 - 2 (atti di: Principles and Practice of Constraint Programming, Uppsala Sweden, September 2013) [Contributo in Atti di convegno]

  • Michele Lombardi; Michela Milano, A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling, in: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, AAAI, 2013, pp. 476 - 477 (atti di: Twenty-Third International Conference on Automated Planning and Scheduling, Roma, 2013) [Contributo in Atti di convegno]