Publications

Mellouk A.; Sherif M.H.; Li J.; Bellavista P., Ad Hoc Networks: 5th International ICST Conference ADHOCNETS 2013 Barcelona, Spain, October 2013 revised selected papers, Berlin, Springer, 2014, pp. 3 (LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING). [Editorship]

Vitali F.; Amoroso A.; Roccetti M.; Marfia G., RESTful services for an innovative e-Health infrastructure: A real case study, in: Proceedings 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, 2014, pp. 188 - 193 (atti di: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Natal, Brasil, 2014) [Contribution to conference proceedings]

Jocelyne Elias, Optimal design of energy-efficient and cost-effective wireless body area networks, «AD HOC NETWORKS», 2014, 13, pp. 560 - 574 [Scientific article]

Svetlana, Jakšić; Padovani, Luca, Exception Handling for Copyless Messaging, «SCIENCE OF COMPUTER PROGRAMMING», 2014, 84, pp. 22 - 51 [Scientific article]

Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira, Typing Liveness in Multiparty Communicating Systems, in: Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), DEU, Springer, 2014, 8459, pp. 147 - 162 (atti di: 16th International Conference on Coordination Models and Languages, Berlino, Germania, June 3-5, 2014) [Contribution to conference proceedings]

Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Serguei; Padovani, Luca, Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation, in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), 2014, 49, pp. 5 - 17 (atti di: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA, January 22-24, 2014) [Contribution to conference proceedings]

Dezani, Mariangiola; Padovani, Luca; J., Pantovic, Session Type Isomorphisms, in: Proceedings of the workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’14), Waterloo, Open Publishing Association, 2014, pp. 61 - 71 (atti di: PLACES'14, Grenoble, 2014) [Contribution to conference proceedings]

Padovani, Luca, Deadlock and Lock Freedom in the Linear π-Calculus, in: Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), USA, ACM - Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science, Vienna, Austria, July 14–18, 2014) [Contribution to conference proceedings]

Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, in: Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), DEU, Springer, 2014, 8412, pp. 88 - 102 (atti di: 17th International Conference on Foundations of Software Science and Computation Structures, Grenoble, Francia, 5-13 April 2014) [Contribution to conference proceedings]

L., Nanni; Lumini, Alessandra; F., Dominio; M., Donadeo; P., Zanuttigh, Ensemble to improve gesture recognition, «INTERNATIONAL JOURNAL OF AUTOMATED IDENTIFICATION TECHNOLOGY», 2013, 5, pp. 47 - 56 [Scientific article]

Cristiana Casanova;Annalisa Franco;Alessandra Lumini;Dario Maio, SmartVisionApp: A framework for computer vision applications on mobile devices, «EXPERT SYSTEMS WITH APPLICATIONS», 2013, 40, pp. 5884 - 5894 [Scientific article]

A. Amoroso; M. Roccetti; G. Marfia, Like Vehicles Like Pedestrians, in an Interconnected World, in: Proceedings of 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), Piscataway, NJ, IEEE Communications Society, 2013, pp. 1 - 5 (atti di: 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), San Jose, CA (USA), July 2013) [Contribution to conference proceedings]

M. BARANOVIC; M. GOLFARELLI; B. VRDOLIJAK; R. SANDRI, Proceedings of the 36th INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE SYSTEMS (miproBIS), New York, IEEE, 2013, pp. 127 . [Editorship]

Paolo Burgio;Giuseppe Tagliavini;Andrea Marongiu;Luca Benini, Enabling Fine-Grained OpenMP Tasking on Tightly-Coupled Shared Memory Clusters, in: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013 IEEE Conference Proceedings, 2013, pp. 1504 - 1509 (atti di: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, Grenoble, France, 18-22 March 2013) [Contribution to conference proceedings]

Lombardi, Michele; Milano, Michela; Benini, Luca, Robust Scheduling of Task Graphs under Execution Time Uncertainty, «IEEE TRANSACTIONS ON COMPUTERS», 2013, 62, pp. 98 - 111 [Scientific article]

G. Marfia; M. Roccetti; A. Amoroso, A New Traffic Congestion Prediction Model for Advanced Traveler Information and Management Systems, «WIRELESS COMMUNICATIONS AND MOBILE COMPUTING», 2013, 13, pp. 266 - 276 [Scientific article] Open Access

S. Ferretti, Gossiping for Resource Discovering: an Analysis based on Complex Network Theory, «FUTURE GENERATION COMPUTER SYSTEMS», 2013, 29, pp. 1631 - 1644 [Scientific article]

A. Carbonaro, Discovery and Learning in a Semantic Framework, in: Information Systems, E-learning and Knowledge Management Research for the Knowledge Society: The era of Social Networks, BERLIN HEIDELBERG, Springer Verlag, 2013, pp. 473 - 478 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Chapter or essay]

Bellavista P.; Corradi A.; Foschini L., Self-organizing Seamless Multimedia Streaming in Dense MANETs, «IEEE PERVASIVE COMPUTING», 2013, 12, pp. 68 - 78 [Scientific article]

S. Benedettini; M. Villani; A. Roli; R. Serra; M. Manfroni; A. Gagliardi; C. Pinciroli; M. Birattari, Dynamical regimes and learning properties of evolved Boolean networks, «NEUROCOMPUTING», 2013, 99, pp. 111 - 123 [Scientific article]