Pubblicazioni

Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean Bernard, Reversibility in the higher-order π-calculus, «THEORETICAL COMPUTER SCIENCE», 2016, 625, pp. 25 - 84 [Articolo in rivista] Open Access

Bernadet, Alexis; Lanese, Ivan, A modular formalization of reversibility for concurrent models and languages, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2016, 223, pp. 98 - 112 (atti di: 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Grecia, 8-9 Giugno 2016) [Contributo in Atti di convegno]

Hüttel, Hans; Lanese, Ivan; Vasconcelos, Vasco T.; Caires, Lúis; Carbone, Marco; Deniélou, Pierre Malo; Mostrous, Dimitris; Padovani, Luca; Ravara, António; Tuosto, Emilio; Vieira, Hugo Torres; Zavattaro, Gianluigi, Foundations of session types and behavioural contracts, «ACM COMPUTING SURVEYS», 2016, 49, pp. 1 - 36 [Articolo in rivista] Open Access

Bedogni, Luca; Bononi, Luciano; DI FELICE, Marco; D'Elia, Alfredo; SALMON CINOTTI, Tullio, A Route Planner Service with Recharging Reservation: Electric Itinerary with a Click, «IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE», 2016, 8, pp. 75 - 84 [Articolo in rivista]

Caiati, Valeria; Bedogni, Luca; Bononi, Luciano; Ferrero, Francesco; Fiore, Marco; Vesco, Andrea, Estimating urban mobility with open data: A case study in Bologna, in: IEEE 2nd International Smart Cities Conference: Improving the Citizens Quality of Life, ISC2 2016 - Proceedings, New York, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 1 - 8 (atti di: IEEE 2nd International Smart Cities Conference: Improving the Citizens Quality of Life, ISC2 2016, Trento, Italy, September 12-15, 2016) [Contributo in Atti di convegno]

Trotta, Angelo; Bedogni, Luca; Di Felice, Marco; Bononi, Luciano; Natalizio, Enrico, Enhancing TV White-Spaces database with Unmanned Aerial Scanning Vehicles (UASVs), in: DroNet 2016 - Proceedings of the 2nd Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use, co-located with MobiSys 2016, New York, Association for Computing Machinery, Inc, 2016, pp. 23 - 28 (atti di: 2nd Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use, DroNet 2016, Singapore, SIngapore, 2016) [Contributo in Atti di convegno]

DI FELICE, Marco; Bedogni, Luca; Bononi, Luciano, The Emergency Direct Mobile App: Safety Message Dissemination over a Multi-Group Network of Smartphones using Wi-Fi Direct, in: Proceedings of the 14th ACM International Symposium on Mobility Management and Wireless Access (ACM MobiWac 2016), New York, ACM, 2016, pp. 99 - 106 (atti di: 14th ACM International Symposium on Mobility Management and Wireless Access (ACM MobiWac 2016), Malta, Malta, November 13 - 17, 2016) [Contributo in Atti di convegno]

D'Elia, Alfredo; Di Felice, Marco; Bedogni, Luca; Duckheim, Mathias; Mock, Randolf; Salmon Cinotti, Tullio, From brown coal to a rural energy landscape — Orchestration of storage and electric mobility to foster decentralized energy management, in: 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI), 2016, pp. 1 - 4 (atti di: Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI), Bologna, 7/9/2016 - 9/9/2016) [Contributo in Atti di convegno]

Montori, Federico; Bedogni, Luca; Bononi, Luciano, On the integration of heterogeneous data sources for the collaborative Internet of Things, in: Proceddings of the 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI), New York, IEEE, 2016, pp. 1 - 6 (atti di: 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI), Bologna, Italy, 7-9 September 2016) [Contributo in Atti di convegno]

Martini, Simone, Several types of types in programming languages, in: IFIP Advances in Information and Communication Technology, New York, Springer New York LLC, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2016, 487, pp. 216 - 227 (atti di: 3rd International Conference on History and Philosophy of Computing, HaPoC 2015, Pisa, 2015) [Contributo in Atti di convegno]

Papi, Serena; Ferrara, Matteo; Maltoni, Davide; Anthonioz, Alexandre, On the Generation of Synthetic Fingerprint Alterations, in: Biometrics Special Interest Group (BIOSIG), 2016 International Conference of the, IEEE, 2016, pp. 1 - 6 (atti di: 2016 International Conference of the Biometrics Special Interest Group (BIOSIG), Darmstadt, 21-23 sept. 2016) [Contributo in Atti di convegno]

Croatti, Angelo; Ricci, Alessandro, An extension of AgentSpeak(L) and Jason tailored to programming and software development, in: Proceeding AGERE 2016 Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, New York, ACM, 2016, pp. 1 - 10 (atti di: International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE 2016), Amsterdam, NL, 30/10/2016) [Contributo in Atti di convegno]

Montori, Federico; SALMON CINOTTI, Tullio; Brunelli, Davide, Smart energy services integrated within the arrowhead communication framework, in: 2016 International Symposium on Power Electronics, Electrical Drives, Automation and Motion, SPEEDAM 2016, Piscataway, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 558 - 563 (atti di: 2016 International Symposium on Power Electronics, Electrical Drives, Automation and Motion, SPEEDAM 2016, Capri (Italia), 22-24 June 2016) [Contributo in Atti di convegno]

Peroni, Silvio; Shotton, David; Vitali, Fabio, Jailbreaking your Reference Lists: OpenCitations Strike Again, in: Proceedings of ISWC 2016 Posters & Demonstrations Track, 2016(atti di: 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016) [Poster]

DI IORIO, Angelo; Gonzalez Beltran, Alejandra; Osborne, Francesco; Peroni, Silvio; Poggi, Francesco; Vitali, Fabio, It ROCS! The RASH Online Conversion Service, in: Companion Volume of the Proceedings of the 25th International World Wide Web Conference, 2016(atti di: 25th International World Wide Web Conference, Montreal, Canada, April 11-15, 2016) [Poster]

Peroni, Silvio; Shotton, David; Vitali, Fabio, Freedom for bibliographic references: OpenCitations arise, in: Proceedings of the Fourth International Workshop on Linked Data for Information Extraction, 2016, pp. 32 - 43 (atti di: Fourth International Workshop on Linked Data for Information Extraction, Kobe, Japan, October 18, 2016) [Contributo in Atti di convegno]

Foschini, Luca; Montanari, Rebecca; Boukerche, Azzedine; Corradi, Antonio, Scalable and mobile context data retrieval and distribution for community response heterogeneous wireless networks, «IEEE COMMUNICATIONS MAGAZINE», 2016, 54, pp. 101 - 107 [Articolo in rivista]

De Rolt, Carlos Roberto; Montanari, Rebecca; Foschini, Luca; Brocardo, Marcelo; Dias, Julio da Silva, COLLEGA Middleware for the Management of Participatory Mobile Health Communities, in: Proceedings-2016 IEEE Symposium on Computers and Communication, STATI UNITI D'AMERICA, Institute of Electrical and Electronics Engineers Inc., 2016, pp. 999 - 1005 (atti di: 2016 IEEE Symposium on Computers and Communication (ISCC) (2016), Messina (Italy), 27/06/2016-30/06/2016) [Contributo in Atti di convegno]

Dimou, Anastasia; DI IORIO, Angelo; Lange, Christoph; Vahdati, Sahar, Semantic publishing challenge – Assessing the quality of scientific output in its ecosystem, in: Communications in Computer and Information Science, Berlin, Springer Verlag, 2016, pp. 243 - 254 [Capitolo/Saggio in libro]

DI IORIO, Angelo; Mateos, Cristian; Rossi, Davide, Special track on web technologies, in: Proceedings of the ACM Symposium on Applied Computing, New York, Association for Computing Machinery, 2016, pp. 748 - 749 [Breve introduzione]