Pubblicazioni

  • Christian Bessiere; Zeynep Kiziltan; Andrea Rappini; Toby Walsh, A Framework for Combining Set Variable Representations, in: Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA, Palo Alto, California, AAAI PRESS, 2013, pp. 25 - 33 (atti di: Tenth Symposium on Abstraction, Reformulation, and Approximation, Leavenworth, Washington, USA, 11-12 July 2013) [Contributo in Atti di convegno]

  • Gioele Barabucci;Angelo Di Iorio;Silvio Peroni;Francesco Poggi;Fabio Vitali, Annotations with EARMARK in practice: a fairy tale, in: Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment metadata, vocabularies and techniques in the Digital Humanities - DH-CASE '13, New York, ACM, Association for Computing Machinery, 2013, pp. 1 - 8 (atti di: DH-CASE '13 Proceedings of the 1st International Workshop on Collaborative Annotations in Shared Environment: metadata, vocabularies and techniques in the Digital Humanities, Firenze, 10/09/2013) [Contributo in Atti di convegno]

  • Silvio Peroni;David Shotton;Fabio Vitali, Tools for the Automatic Generation of Ontology Documentation, «INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS», 2013, 9, pp. 21 - 44 [Articolo in rivista]

  • Yamine Aït Ameur; Witold Andrzejewski; Ladjel Bellatreche; Barbara Catania; Tania Cerquitelli; Silvia Chiusano; Matteo Golfarelli; Giovanna Guerrini; Krzysztof Kaczmarski; Mirko Kämpf; Alfons Kemper; Tobias Lauer; Boris Novikov; Themis Palpanas; Jaroslav Pokorný; Stefano Rizzi; Athena Vakali, New Trends in Databases and Information Systems: Contributions from ADBIS 2013, in: New Trends in Databases and Information Systems, Heidelberg, Springer, 2013, pp. 1 - 13 [Prefazione]

  • Bernhard Anzengruber; Danilo Pianini; Jussi Nieminen; Alois Ferscha, Predicting social density in mass events to prevent crowd disasters, in: Lecture Notes in Computer Science, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8238, pp. 206 - 215 (atti di: 5th International Conference on Social Informatics, SocInfo 2013, Kyoto, 2013) [Contributo in Atti di convegno]

  • Simone Gabbriellini; Paolo Torroni, NetArg: an agent-based social simulator with argumentative agents, in: AAMAS '13 Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, Richland, SC, IFAAMAS, 2013, pp. 1365 - 1366 (atti di: 12th International conference on Autonomous Agents and Multi-Agent Systems, St. Paul, Minnesota, US, May 6-10, 2013) [Riassunto (Abstract)]

  • Simone Gabbriellini; Paolo Torroni, Arguments in social networks, in: AAMAS '13 Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, Richland, SC, IFAAMAS, 2013, pp. 1119 - 1120 (atti di: 12th International conference on Autonomous Agents and Multi-Agent Systems, St. Paul, Minnesota, US, May 6-10, 2013) [Riassunto (Abstract)]

  • Daniela Loreti; Nguyen Hiep; Herbst Nikolas; Paiva João; Niemann Sebastian; Xu Zichen, ICAC ’13: 10th International Conference on Autonomic Computing, «;LOGIN:», 2013, 38, pp. 1 - 10 [Recensione in rivista]

  • Magnani, Matteo; Montesi, Danilo; Rossi, Luca, Factors Enabling Information Propagation in a Social Network Site, Berlin, Springer, 2013, pp. 16 . [Monografia/Trattato scientifico in forma di libro]

  • Streibel, Olga; Wißler, Lars; Tolksdorf, Robert; Montesi, Danilo, Trend template: mining trends with a semi-formal trend model, in: Ubiquitous Data Mining (UDM) International Joint Conference on Artificial Intelligence, 2013, pp. 100 - 104 (atti di: Ubiquitous Data Mining (UDM) International Joint Conference on Artificial Intelligence, Beijing, 3-5/08/2013) [Contributo in Atti di convegno]

  • Bracci, Fabio; Corradi, Antonio; Foschini, Luca, Cloud standards: Security and interoperability issues, in: Communication Infrastructures for Cloud Computing, Hershey, PA, IGI Global, 2013, pp. 465 - 495 [Capitolo/Saggio in libro]

  • Peroni, Silvio; Poggi, Francesco; Vitali, Fabio, Tracking changes through EARMARK: A theoretical perspective and an implementation, in: CEUR Workshop Proceedings, CEUR-WS, 2013, 1008, pp. 1 - 8 (atti di: 1st International Workshop on Document Changes: Modeling, Detection, Storage and Visualization, DChanges 2013, ita, 2013) [Contributo in Atti di convegno]

  • Bononi, Luciano; DI FELICE, Marco; Kaushik R., Chowdhury, Proceedings of the Second IEEE International Workshop on Emerging COgnitive Radio Applications andaLgorithms (CORAL 2013), New York, IEEE, 2013, pp. 1 . [Curatela]

  • L. Bioglio; M. Dezani; P. Giannini; A. Troina, Type Directed Semantics for the Calculus of Looping Sequences, «INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS», 2013, 7, pp. 501 - 526 [Articolo in rivista]

  • P. Ramón; A. Troina, Modelling Ecological Systems with the Calculus of Wrapped Compartments, in: International Conference on Membrane Computing - CMC 2012, HEIDELBERG, Springer-Verlag Berlin, 2013, pp. 358 - 377 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Merelli, Emanuela; Troina, Angelo, Preface, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2013, 299, pp. 1 - 3 [Articolo in rivista]

  • Pau, Giovanni, Quickly home please: How connected vehicles are revolutionizing road transportation, «IEEE INTERNET COMPUTING», 2013, 17, pp. 80 - 83 [Articolo in rivista]

  • Gerla, Mario; Weng, Jui-Ting; Pau, Giovanni, Pics-on-wheels: Photo surveillance in the vehicular cloud, in: Gerla, Mario, 2013 International Conference on Computing, Networking and Communications, ICNC 2013, 2013, pp. 1123 - 1127 (atti di: 2013 International Conference on Computing, Networking and Communications, ICNC 2013, San Diego, CA, usa, 2013) [Contributo in Atti di convegno]

  • Cloud, Jason; Du Pin Calmon, Flavio; Zeng, Weifei; Pau, Giovanni; Zeger, Linda M.; Mã©dard, Muriel, Multi-path TCP with network coding for mobile devices in heterogeneous networks, in: IEEE Vehicular Technology Conference, 2013, pp. 1 - 5 (atti di: 2013 IEEE 78th Vehicular Technology Conference, VTC Fall 2013, Las Vegas, NV, usa, 2013) [Contributo in Atti di convegno]

  • Angius, Fabio; Bhiday, Aditya; Gerla, Mario; Pau, Giovanni, MADN - Multipath Ad-hoc data network prototype and experiments, in: Angius, Fabio, 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, 2013, pp. 686 - 693 (atti di: 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Cagliari, Sardinia, ita, 2013) [Contributo in Atti di convegno]