Pubblicazioni

Mirri, S.; Prandi, C.; Salomoni, P., A context-aware system for personalized and accessible pedestrian paths, in: High Performance Computing & Simulation (HPCS), 2014 International Conference on, IEEE, 2014, pp. 833 - 840 (atti di: High Performance Computing & Simulation (HPCS), 2014 International Conference on, Bologna (Italy), 21-25 July 2014) [Contributo in Atti di convegno]

Callegati, F.; Bonani, L.H.; Lezama, F.; Cerroni, W.; Campi, A.; Castanon, G., Trunk reservation for fair utilization in flexible optical networks, «IEEE COMMUNICATIONS LETTERS», 2014, 18, pp. 889 - 892 [Articolo in rivista]

Dal Lago, U.; Sangiorgi, D.; Alberti, M., On coinductive equivalences for higher-order probabilistic functional programs, in: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, 2014, pp. 297 - 308 (atti di: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, San Diego, California, USA, January 22-24, 2014) [Contributo in Atti di convegno]

Di Iorio, A.; Rossi, D.; Turrini, E., Exploiting semantic knowledge in KnowBest, in: WETICE Conference (WETICE), 2014 IEEE 23rd International, IEEE press, 2014, pp. 423 - 428 (atti di: WETICE Conference (WETICE), 2014 IEEE 23rd International, Parma, June, 23rd-25th, 2014) [Contributo in Atti di convegno]

Accattoli, B.; Sacerdoti Coen, C., On the value of variables, in: Logic, Language, Information and Computation, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8652 LNCS, pp. 36 - 50 (atti di: 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, Valparaiso, Chile, 01-04/09/2014) [Contributo in Atti di convegno]

Boender, J.; Sacerdoti Coen, C., On the correctness of a branch displacement algorithm, in: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8413 LNCS, pp. 605 - 619 (atti di: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 5-13/04/2014) [Contributo in Atti di convegno]

Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G., Aeolus: A component model for the cloud, «INFORMATION AND COMPUTATION», 2014, 239, pp. 100 - 121 [Articolo in rivista]

Montesi, F.; Guidi, C.; Zavattaro, G., Service-oriented programming with Jolie, in: Web Services Foundations, Berlin, Springer, 2014, pp. 81 - 107 [Capitolo/Saggio in libro]

Bravetti, M.; Zavattaro, G., Choreographies and behavioural contracts on the way to dynamic updates, in: Proceedings First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, 2014, 168, pp. 12 - 31 (atti di: First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014) [Contributo in Atti di convegno]

Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi, Fault Model Design Space for Cooperative Concurrency, in: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8803, pp. 22 - 36 (atti di: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - ISoLA 2014, Corfu, Greece, October 8-11, 2014) [Contributo in Atti di convegno]

de Boer, F.S.; Jaghoori, M.M.; Laneve, C.; Zavattaro, G., Decidability problems for actor systems, «LOGICAL METHODS IN COMPUTER SCIENCE», 2014, 10, pp. 1 - 28 [Articolo in rivista]

Mirri, Silvia; Prandi, Catia; Salomoni, Paola; Callegati, Franco; Campi, Aldo, On combining crowdsourcing, sensing and open data for an accessible smart city, in: Proceedings - 2014 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 294 - 299 (atti di: 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, St. Anthony's College of the University of Oxford, gbr, 2014) [Contributo in Atti di convegno]

Prandi, Catia; Mirri, Silvia; Salomoni, Paola, Trustworthiness Assessment in Mapping Urban Accessibility via Sensing and Crowdsourcing, in: Proceedings of the First International Conference on IoT in Urban Space (URB-IOT '14), ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, 2014, pp. 108 - 110 (atti di: First International Conference on IoT in Urban Space (URB-IOT '14), Rome (Italy), October 27-28, 2014) [Contributo in Atti di convegno]

Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide, Symmetries and dualities in name-passing process calculi, in: Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday, Berlino, Springer Verlag, 2014, pp. 307 - 322 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Sangiorgi, Davide, Higher-order languages: Bisimulation and coinductive equivalences (extended abstract), in: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Berlino, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8446, pp. 3 - 9 (atti di: 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, Grenoble, fra, 2014) [Contributo in Atti di convegno]

Sangiorgi, Davide; Xu, Xian, Trees from functions as processes, in: 25th International Conference on Concurrency Theory, (CONCUR'14), Berlino, Springer Verlag, 2014, 8704, pp. 78 - 92 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contributo in Atti di convegno]

Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide, Bisimulations up-to: Beyond first-order transition systems, in: 25th International Conference on Concurrency Theory (CONCUR 2014), Berlino, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8704, pp. 93 - 108 (atti di: 25th International Conference on Concurrency Theory, CONCUR 2014, Rome, ita, 2014) [Contributo in Atti di convegno]

Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria, On the discriminating power of passivation and higher-order interaction, in: Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014, Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, aut, 2014) [Contributo in Atti di convegno]

Patsakis, Constantinos; Venanzio, Riccardo; Bellavista, Paolo; Solanas, Agusti; Bouroche, Mélanie, Personalized medical services using smart cities' infrastructures, in: IEEE MeMeA 2014 - IEEE International Symposium on Medical Measurements and Applications, Proceedings, IEEE Computer Society, 2014, pp. 1 - 5 (atti di: 9th IEEE International Symposium on Medical Measurements and Applications, IEEE MeMeA 2014, Lisbon, prt, 2014) [Contributo in Atti di convegno]

Coluccio, Roberto; Ghidini, Giacomo; Reale, Andrea; Levine, David; Bellavista, Paolo; Emmons, Stephen P.; Smith, Jeffrey O., Online stream processing of machine-to-machine communications traffic: A platform comparison, in: Proceedings - International Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 1 - 7 (atti di: 19th IEEE Symposium on Computers and Communications, ISCC 2014, Island of Madeira, prt, 2014) [Contributo in Atti di convegno]