Pubblicazioni

Gabbrielli, Maurizio; Giallorenzo, Saverio; Montesi, Fabrizio, Service-Oriented Architectures: From design to production exploiting workflow patterns, in: Distributed Computing and Artificial Intelligence, 11th International Conference, Springer Verlag, «ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING», 2014, 290, pp. 131 - 139 (atti di: 11th International Symposium on Distributed Computing and Artificial Intelligence 2014, DCAI 2014, Salamanca, esp, 2014) [Contributo in Atti di convegno]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, An enhanced features extractor for a portfolio of constraint solvers, in: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, 2014, pp. 1357 - 1359 (atti di: 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, kor, 2014) [Contributo in Atti di convegno]

Ciancarini, Paolo; Di Iorio, Angelo; Nuzzolese, Andrea Giovanni; Peroni, Silvio; Vitali, Fabio, Evaluating Citation Functions in CiTO: Cognitive Issues., in: The Semantic Web: Trends and Challenges - 11th Extended Semantic Web Conference, ESWC 2014, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8465, pp. 580 - 594 (atti di: The Semantic Web: Trends and Challenges - 11th International Conference, ESWC 2014, Creta, Grecia, 2014) [Contributo in Atti di convegno]

Di Iorio, Angelo; Peroni, Silvio; Poggi, Francesco; Vitali, Fabio, Dealing with structural patterns of XML documents, «JOURNAL OF THE ASSOCIATION FOR INFORMATION SCIENCE AND TECHNOLOGY», 2014, 65, pp. 1884 - 1900 [Articolo in rivista]

Di Iorio, Angelo; Nuzzolese, Andrea Giovanni; Peroni, Silvio; Shotton, David; Vitali, Fabio, Describing bibliographic references in RDF, in: SePublica 2014 Proceedings, CEUR-WS, 2014, 1155, pp. 49 - 60 (atti di: 4th Workshop on Semantic Publishing, SePublica 2014, Co-located with the 11th Extended Semantic Web Conference, ESWC 2014, Anissaras, Greece, 2014) [Contributo in Atti di convegno]

Di Iorio, Angelo; Peroni, Silvio; Vitali, Fabio; Zingoni, Jacopo, Semantic lenses to bring digital and semantic publishing together, in: Proceedings of the 4th Workshop on Linked Science 2014 - Making Sense Out of Data (LISC2014), CEUR-WS, 2014, 1282, pp. 12 - 23 (atti di: 4th Workshop on Linked Science: Making Sense Out of Data, LISC 2014, Collocated with the 13th International Semantic Web Conference, ISWC 2014, Riva del Garda, Italy, 2014) [Contributo in Atti di convegno]

Barabucci, Gioele; Ciancarini, Paolo; Di Iorio, Angelo; Vitali, Fabio, Measuring the domain-oriented quality of diff algorithms, in: 20th IMEKO TC4 Symposium on Measurements of Electrical Quantities: Research on Electrical and Electronic Measurement for the Economic Upturn, Together with 18th TC4 International Workshop on ADC and DCA Modeling and Testing, IWADC 2014, IMEKO-International Measurement Federation Secretariat, 2014, pp. 743 - 748 (atti di: 20th IMEKO TC4 Symposium on Measurements of Electrical Quantities: Research on Electrical and Electronic Measurement for the Economic Upturn, Together with 18th TC4 International Workshop on ADC and DCA Modeling and Testing, IWADC 2014, Benevento, Italy, 2014) [Contributo in Atti di convegno]

Bravetti, Mario, Formalizing RESTful Services and Web-OS Middleware, in: Web Services and Formal Methods - 10th International Workshop, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8379, pp. 48 - 68 (atti di: 10th International workshop on Web Services and Formal Methods, WS-FM 2013, Beijing, China, August 2013) [Contributo in Atti di convegno]

Bedogni, Luca; Bononi, Luciano; D'Elia, Alfredo; Di Felice, Marco; Rondelli, Simone; Salmon Cinotti, Tullio, A mobile application to assist electric vehicles' drivers with charging services, in: Proceedings - 2014 8th International Conference on Next Generation Mobile Applications, Services and Technologies, NGMAST 2014, New York, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 78 - 83 (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]

Bartolini, Andrea; Borghesi, Andrea; Bridi, Thomas; Lombardi, Michele; Milano, Michela, Proactive workload dispatching on the EURORA supercomputer, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, 8656, pp. 765 - 780 (atti di: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Lyon, fra, 2014) [Contributo in Atti di convegno]

Lombardi, Michele; Schaus, Pierre, Cost impact guided LNS, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, 8451, pp. 293 - 300 (atti di: 11th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, Cork, irl, 2014) [Contributo in Atti di convegno]

Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria, On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems, in: Proc. 11th Int. Conference on Quantitative Evaluation of Systems, Berlino, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8657, pp. 281 - 296 (atti di: 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, Florence, ita, 2014) [Contributo in Atti di convegno]

Baeten, Jos C.M.; Sangiorgi, Davide, Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, in: Computational Logic, Amsterdam, Elsevier, 2014, pp. 399 - 442 [Capitolo/Saggio in libro]

Guidi, Claudio; Giallorenzo, Saverio; Gabbrielli, Maurizio, Towards a Composition-based APIaaS Layer, in: CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science, 2014, pp. 425 - 432 (atti di: 4th International Conference on Cloud Computing and Services Science, Barcelona, Spain, April 3-5 2014) [Contributo in Atti di convegno]

Fanelli, Mario; Foschini, Luca; Corradi, Antonio; Boukerche, Azzedine, Self-adaptive context data management in large-scale mobile systems, «IEEE TRANSACTIONS ON COMPUTERS», 2014, 63, pp. 2549 - 2562 [Articolo in rivista]

Cardone, Giuseppe; Cirri, Andrea; Corradi, Antonio; Foschini, Luca; Ianniello, Raffaele; Montanari, Rebecca, Crowdsensing in Urban areas for city-scale mass gathering management: Geofencing and activity recognition, «IEEE SENSORS JOURNAL», 2014, 14, pp. 4185 - 4195 [Articolo in rivista]

Cardone, Giuseppe; Cirri, Andrea; Corradi, Antonio; Foschini, Luca, The participact mobile crowd sensing living lab: The testbed for smart cities, «IEEE COMMUNICATIONS MAGAZINE», 2014, 52, pp. 78 - 85 [Articolo in rivista]

Cardone, Giuseppe; Cirri, Andrea; Corradi, Antonio; Foschini, Luca; Montanari, Rebecca, Activity recognition for Smart City scenarios: Google Play Services vs. MoST facilities, in: Proceedings - International Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 1 - 6 (atti di: 19th IEEE Symposium on Computers and Communications, ISCC 2014, Island of Madeira, prt, 2014) [Contributo in Atti di convegno]

Corradi, Antonio; Foschini, Luca; Ianniello, Raffaele, Linked data for Open Government: The case of Bologna, 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]

Bellavista, Paolo; Foschini, Luca; Zamagni, Enrico, V2X Protocols for low-penetration-rate and cooperative traffic estimations, in: IEEE Vehicular Technology Conference, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 1 - 6 (atti di: 80th IEEE Vehicular Technology Conference, VTC 2014-Fall, Vancouver, BC, CANADA, 2014) [Contributo in Atti di convegno]