Pubblicazioni

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]

ALINA SIRBU;VITTORIO LORETO;VITO D. P. SERVEDIO;FRANCESCA TRIA, COHESION, CONSENSUS AND EXTREME INFORMATION IN OPINION DYNAMICS, «ADVANCES IN COMPLEX SYSTEM», 2013, 16, pp. 1350035 - 1350035 [Articolo in rivista]

Martin, Becker; Saverio, Caminiti; Donato, Fiorella; Louise, Francis; Gravino, Pietro; Mordechai, Haklay; Andreas, Hotho; Vittorio, Loreto; Juergen, Mueller; Ferdinando, Ricchiuti; Vito D. P., Servedio; Sirbu, Alina; Francesca, Tria, Awareness and Learning in Participatory Noise Sensing, «PLOS ONE», 2013, 8, pp. e81638 - e81638 [Articolo in rivista]

Marco Montali; Fabrizio M. Maggi; Federico Chesani; Paola Mello; Wil M. P. van der Aalst, Monitoring business constraints with the event calculus, «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY», 2013, 5, pp. 1 - 30 [Articolo in rivista]

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]

Alessio Bonfietti;Michele Lombardi;Michela Milano;Luca Benini, Maximum-throughput mapping of SDFGs on multi-core SoC platforms, «JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING», 2013, 73, pp. 1337 - 1350 [Articolo in rivista]

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]

Alessio Bonfietti; Michele Lombardi; Michela Milano, De-Cycling Cyclic Scheduling Problems, in: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013, pp. 283 - 287 (atti di: Twenty-Third International Conference on Automated Planning and Scheduling, Roma, 2013) [Contributo in Atti di convegno]

Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing, «INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE», 2013, 2, pp. 67 - 75 [Articolo in rivista]

Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence, in: Advances in Intelligent Systems and ComputingDistributed Computing and Artificial Intelligence, 2013, 217, pp. 219 - 226 (atti di: Distributed Computing and Artificial Intelligence, Spain, 2013) [Contributo in Atti di convegno]

Andrea Roli;Marco Villani;Roberto Serra;Lorenzo Garattoni;Carlo Pinciroli;Mauro Birattari, Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled RobotsAI*IA 2013: Advances in Artificial Intelligence, in: Lecture Notes in Computer ScienceAI*IA 2013: Advances in Artificial Intelligence, Springer, 2013, 8249, pp. 324 - 335 (atti di: XIIIth International Conference of the Italian Association for Artificial Intelligence, Torino, December 4-6, 2013) [Contributo in Atti di convegno]

M. Villani;A. Filisetti;S. Benedettini;A. Roli;D. Lane;R. Serra, The detection of intermediate-level emergent structures and patterns, in: Advances in Artificial Life, ECAL 2013, The MIT Press, 2013, pp. 372 - 378 (atti di: ECAL 2013 - Twelfth European Conference on the Synthesis and Simulation of Living Systems, Taormina, 2-6 September, 2013) [Contributo in Atti di convegno]

Lorenzo Garattoni; Andrea Roli; Matteo Amaducci; Carlo Pinciroli; Mauro Birattari, Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control, in: Advances in Artificial Life, ECAL 2013, The MIT Press, 2013, pp. 783 - 790 (atti di: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems, Taromina (Italia), September 2-6, 2013) [Contributo in Atti di convegno]