Pubblicazioni

Milano, Michela; Lombardi, Michele, Strategic decision making on complex systems, «CONSTRAINTS», 2014, 19, pp. 174 - 185 [Articolo in rivista]

Milano, Michela; Van Hentenryck, Pascal, Looking into the crystal-ball: A bright future for CP, «CONSTRAINTS», 2014, 19, pp. 121 - 125 [Articolo in rivista]

Milano, Michela; O'Sullivan, Barry; Gavanelli, Marco, Sustainable policy making: A strategic challenge for artificial intelligence, «AI MAGAZINE», 2014, 35, pp. 22 - 35 [Articolo in rivista]

Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo, Portfolio approaches for constraint optimization problems, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, 8426, pp. 21 - 35 (atti di: 8th International Conference on Learning and Intelligent OptimizatioN, LION 2014, Gainesville, FL, usa, 2014) [Contributo in Atti di convegno]

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; Rossi, Davide; Zacchiroli, Stefano, Web Technologies: Selected & extended papers from WT ACM SAC 2012, in: Web Technologies: Selected & extended papers from WT ACM SAC 2012, Amsterdam, Elsevier, 2014, pp. 1 - 2 [Breve introduzione]

Barabucci, Gioele; Di Iorio, Angelo; Borghoff, Uwe M.; Maier, Sonja; Munson, Ethan, Document changes: Modeling, detection, storage and visualization (Dchanges 2014), in: DocEng 2014 - Proceedings of the 2014 ACM Symposium on Document Engineering, Association for Computing Machinery, Inc, 2014, pp. 207 - 208 (atti di: 2014 ACM Symposium on Document Engineering, DocEng 2014, USA, 2014) [Riassunto (Abstract)]

Lange, Christoph; Di Iorio, Angelo, Semantic Publishing Challenge – Assessing the Quality of Scientific Output, in: Communications in Computer and Information Science, Heidelberg, Springer Verlag, 2014, pp. 61 - 76 [Capitolo/Saggio in libro]

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]