Pubblicazioni

Zhijing Qin; Grit Denker; Carlo Giannelli; Paolo Bellavista; Nalini Venkatasubramanian, Software Defined Networking Architecture for the Internet-of-Things, in: Proceedings of the IEEE/IFIP Network Operations and Management Symposium, New York, IEEE, 2014, pp. 1 - 9 (atti di: IEEE/IFIP Network Operations and Management Symposium (NOMS 2014), Krakow, Poland, 5-9 Maggio 2014) [Contributo in Atti di convegno]

Zhijing Qin; Luca Iannario; Carlo Giannelli; Paolo Bellavista; Grit Denker; Nalini Venkatasubramanian, MINA: A Reflective Middleware for Managing Dynamic Multinetwork Environments, in: Proceedings of the IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium, New York, IEEE, 2014, pp. 1 - 4 (atti di: IEEE/IFIP Network Operations and Management Symposium (NOMS 2014), Krakow, Poland, 5-9 Maggio 2014) [Contributo in Atti di convegno]

Paolo Bellavista; Carlo Giannelli; Luca Iannario; Laurent-Walter Goix; Claudio Venezia, Peer-to-peer Content Sharing Based on Social Identities and Relationships, «IEEE INTERNET COMPUTING», 2014, 18, pp. 55 - 63 [Articolo in rivista]

Daniela Loreti;Anna Ciampolini, A distributed self-balancing policy for virtual machine management in cloud datacenters2014 International Conference on High Performance Computing & Simulation (HPCS), in: 2014 International Conference on High Performance Computing & Simulation (HPCS), 2014, pp. 391 - 398 (atti di: 2014 International Conference on High Performance Computing & Simulation (HPCS), Bologna, Italy, 21-25 Luglio 2014) [Contributo in Atti di convegno]

Antonella Carbonaro, Recommender Systems for Technology-Supported Learning, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2014, 10, pp. 2 - 4 [Articolo in rivista]

Alessandro Amoroso, Le Prove Informatiche, in: Diritto dell'Informatica, Torino, Utet - Giuridica, 2014, pp. 1177 - 1222 [Capitolo/Saggio in libro]

Luca Foschini;Alessandro Pernafini;Antonio Corradi;Mario Rosati;Alessandro Federico;Giuseppe Fiameni, A performance evaluation of TopHat RNA sequences alignment tool on openstack-based cloud environments2014 International Conference on High Performance Computing & Simulation (HPCS), in: 2014 International Conference on High Performance Computing & Simulation (HPCS), 2014, pp. 358 - 365 (atti di: 2014 International Conference on High Performance Computing & Simulation (HPCS), Bologna, Italy, 21-25 July 2014) [Contributo in Atti di convegno]

Enrico Denti; Roberta Calegari; Marco Prandini, Extending a Smart Home Multi-Agent System with Role-Based Access Control, in: Proceedings of the 5th International Conference on Internet Technologies & Society 2014 (ITS 2014), New Taipei City, Taiwan, 10-12 December 2014, IADIS Press, 2014, pp. 23 - 30 (atti di: 5th International Conference on Internet Technologies & Society 2014 (ITS 2014), New Taipei City, Taiwan, 10-12 December 2014) [Contributo in Atti di convegno]

Daniela Loreti; Anna Ciampolini, A Decentralized Approach for Virtual Infrastructure Management in Cloud Datacenters, «INTERNATIONAL JOURNAL ON ADVANCES IN INTELLIGENT SYSTEMS», 2014, 7, pp. 507 - 518 [Articolo in rivista]

Danilo Pianini; Stefano Sebastio; Andrea Vandin, Distributed statistical analysis of complex systems modeled through a chemical metaphor, in: Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 416 - 423 (atti di: 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Bologna, 2014) [Contributo in Atti di convegno]

Danilo Pianini; Mirko Viroli; Franco Zambonelli; Alois Ferscha, HPC from a self-organisation perspective: The case of crowd steering at the urban scale, in: Proceedings of the 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 460 - 467 (atti di: 2014 International Conference on High Performance Computing and Simulation, HPCS 2014, Bologna, 2014) [Contributo in Atti di convegno]

A. Bevan;B. Golob;T. Mannel;S. Prell;B. Yabsley;H. Aihara;F. Anulli;N. Arnaud;T. Aushev;M. Beneke;J. Beringer;F. Bianchi;I. Bigi;M. Bona;N. Brambilla;J. Brodzicka;P. Chang;M. Charles;C. Cheng;H. Cheng;R. Chistov;P. Colangelo;J. Coleman;A. Drutskoy;V. Druzhinin;S. Eidelman;G. Eigen;A. Eisner;R. Faccini;K. Flood;P. Gambino;A. Gaz;W. Gradl;H. Hayashii;T. Higuchi;W. Hulsbergen;T. Hurth;T. Iijima;R. Itoh;P. Jackson;R. Kass;Y. Kolomensky;E. Kou;P. Križan;A. Kronfeld;S. Kumano;Y. Kwon;T. Latham;D. Leith;V. Lüth;F. Martinez-Vidal;B. Meadows;R. Mussa;M. Nakao;S. Nishida;J. Ocariz;S. Olsen;P. Pakhlov;G. Pakhlova;A. Palano;A. Pich;S. Playfer;A. Poluektov;F. Porter;S. Robertson;J. Roney;A. Roodman;Y. Sakai;C. Schwanda;A. Schwartz;R. Seidl;S. Sekula;M. Steinhauser;K. Sumisawa;E. Swanson;F. Tackmann;K. Trabelsi;S. Uehara;S. Uno;R. v. de;G. Vasseur;W. Verkerke;R. Waldi;M. Wang;F. Wilson;J. Zupan;A. Zupanc;I. Adachi;J. Albert;S. Banerjee;M. Bellis;E. Ben-Haim;P. Biassoni;R. Cahn;C. Cartaro;J. Chauv, The Physics of the B Factories, «THE EUROPEAN PHYSICAL JOURNAL. C, PARTICLES AND FIELDS», 2014, 74, pp. 1 - 928 [Articolo in rivista]

S. Mattoccia; I. Marchio; M. Casadio, A Compact 3D Camera Suited for Mobile and Embedded Vision Applications, in: 2014 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, Piscataway, IEEE Computer Society, 2014, 1, pp. 195 - 196 (atti di: The Fourth IEEE Workshop on Mobile Vision, Columbus, OH, USA, 23/06/2014) [Contributo in Atti di convegno]

Elena Giachino;Cosimo Laneve, Deadlock Detection in Linear Recursive Programs, in: Formal Methods for Executable Software Models, Berlin, Springer, 2014, pp. 26 - 64 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

E. Giachino;C. Laneve, Towards the Typing of Resource Deployment, in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8803, pp. 88 - 103 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu; Greece, OCT 08-11, 2014) [Contributo in Atti di convegno]

Elena Giachino;Naoki Kobayashi;Cosimo Laneve, Deadlock Analysis of Unbounded Process Networks, in: CONCUR 2014, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8704, pp. 63 - 77 (atti di: CONCUR 2014, Rome, Italy, September 2-5, 2014) [Contributo in Atti di convegno]

Catia Prandi, Accessibility and Smart Data: the Case Study of mPASS, in: Proceedings of the 11th Web for All Conference on - W4A '14, ACM, Association for Computing Machinery, 2014, pp. 1 - 2 (atti di: 11th Web for All Conference, Seoul, Korea, 7-9 April 2014) [Contributo in Atti di convegno]

F. Vitali; A. Amoroso; M. Roccetti; G. Marfia, RESTful services for an innovative e-Health infrastructure: A real case study, in: Proceedings of 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), Piscataway, NJ, IEEE Communications Society, 2014, pp. 188 - 193 (atti di: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), Natal, Brazil, October 2014) [Contributo in Atti di convegno]

Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen, Matita Tutorial, «JOURNAL OF FORMALIZED REASONING», 2014, 7, pp. 91 - 199 [Articolo in rivista]

Roccetti, Marco; Marfia, Gustavo; ROVERSI MONACO, FABIO ALBERTO; Varni, Angelo; Zanichelli, Marco, Telling the Story: An Interactive Multimedia Exhibit Narrating the 900 Years of the Alma Mater, in: Proceedings of 20th European Concurrent Engineering Conference 2014, ECEC 2014 - 10th Future Business Technology Conference, FUBUTEC 2014, Ghent, EUROSIS, 2014, pp. 5 - 9 (atti di: 20th European Concurrent Engineering Conference 2014, ECEC 2014 - 10th Future Business Technology Conference, FUBUTEC 2014, Bruges, Belgio, 28-30 April 2014) [Contributo in Atti di convegno]