Pubblicazioni

M. Prandini; M. Ramilli, A sensitivity analysis of common operating systems to ROP attacks, in: Security in Information Systems, s.l, SciTePress, 2012, pp. 85 - 92 (atti di: 9th International Workshop on Security in Information Systems, WOSIS 2012, Wroclaw; Poland, 28/06/2012 - 01/07/2012) [Contributo in Atti di convegno]

A. Bonfietti; M. Lombardi; L. Benini; M. Milano, Global Cyclic Cumulative Constraint, in: Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7298, pp. 81 - 96 (atti di: Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, Nantes, May 2012) [Contributo in Atti di convegno]

M. Lienhardt; I. Lanese; M. Bravetti; D. Sangiorgi; G. Zavattaro; Y. Welsch; J. Schäfer; A. Poetzsch-Heffter, A Component Model for the ABS Language, in: Proceedings of Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 6957, pp. 165 - 183 (atti di: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010) [Contributo in Atti di convegno]

G. Delzanno; A. Sangnier; G. Zavattaro, Verification of Ad Hoc Networks with Node and Communication Failures, in: Proceedings of Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, LNCS 7273, pp. 235 - 250 (atti di: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012) [Contributo in Atti di convegno]

M. Bravetti; C. Di Giusto; J. A. Perez; G. Zavattaro, Steps on the Road to Component Evolvability, in: Proceedings of Formal Aspects of Component Software - 7th International Workshop, FACS 2010, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 6921, pp. 295 - 299 (atti di: Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010) [Contributo in Atti di convegno]

M. Golfarelli; S. Rizzi; E. Turricchia, Sprint Planning Optimization in Agile Data Warehouse Design, in: Proceedings of the 14th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2012), BERLINO, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7448, pp. 30 - 41 (atti di: 14th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2012), Vienna, Austria) [Contributo in Atti di convegno]

Mirko Viroli; Danilo Pianini; Sara Montagna; Graeme Stevenson, Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry, in: Proceedings of the 27th ACM Symposium On Applied Computing (SAC 2012), NEW YORK, ACM Press, 2012, 2, pp. 295 - 302 (atti di: 27th ACM Symposium On Applied Computing (SAC 2012), Riva del Garda, TN, Italy, 26-20 March 2012) [Contributo in Atti di convegno]

Sara Montagna; Danilo Pianini; Mirko Viroli, A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation, in: Proceedings of the 27th ACM Symposium On Applied Computing (SAC 2012), NEW YORK, ACM Press, 2012, 2, pp. 1406 - 1412 (atti di: 27th ACM Symposium On Applied Computing (SAC 2012), Riva del Garda, TN, Italy, 26-20 March 2012) [Contributo in Atti di convegno]

Mirko Viroli; Danilo Pianini; Jacob Beal, Linda in space-time: an adaptive coordination model for mobile ad-hoc environments, in: Coordination Models and Languages, Berln, Springer Berlin Heidelbergi, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7274, pp. 212 - 229 (atti di: COORDINATION 2012, Stockholm, Sweden, 14-15 June) [Contributo in Atti di convegno]

O. Al-Hassani; Q. Mahesar; C. Sacerdoti Coen; V. Sorge, A Term Rewriting System for Kuratowski's Closure-Complement Problem, in: Leibniz International Proceedings in Informatics (LIPIcs), DAGSTUHL, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2012, 15, pp. 38 - 52 (atti di: 23rd International Conference on Rewriting Techniques and Applications (RTA'12), Nagoya (Japan), May 30-June 1, 2012) [Contributo in Atti di convegno]

I. Bartolini; P. Ciaccia; M. Patella, Getting the Best from Uncertain Data: the Correlated Case, in: Proceedings of the 20th Italian Symposium on Advanced Data Base Systems (SEBD 2012), PADOVA, Edizioni Libreria Progetto, 2012, pp. 43 - 50 (atti di: 20th Italian Symposium on Advanced Data Base Systems (SEBD 2012), Venice, June 24-27) [Contributo in Atti di convegno]

I. Bartolini; C. Luzzi; M. Patella; A. Pompilio; C. Ruini, MIMESIS : A Semantic-based Approach for Poetry in Music Digital Libraries, in: Proceedings of the International Conference on Information Technologies for Performing Arts, Media Access and Entertainment (ECLAP 2012), FIRENZE, Firenze University Press, 2012, pp. 46 - 51 (atti di: International Conference on Information Technologies for Performing Arts, Media Access and Entertainment (ECLAP 2012), Florence, May 7-9) [Contributo in Atti di convegno]

F. Malaguti; D. Pau; L. Di Stefano, Low Complexity SIFT Compression Techniques, in: Proceedings of the 2th IEEE International Conference on Consumer Electronics, NEW YORK, IEEE, 2012, pp. 250 - 253 (atti di: 2th IEEE International Conference on Consumer Electronics, Berlino, 3-5 Settembre 2012) [Contributo in Atti di convegno]

Di Iorio A.; Peroni S.; Poggi F.; Vitali F., A first approach to the automatic recognition of structural patterns in XML documents, in: Proceedings of DocEng 2012, NEW YORK, ACM Press, 2012, pp. 85 - 94 (atti di: ACM symposium on Document Engineering (DocEng 2012)., Paris, September 4-7, 2012) [Contributo in Atti di convegno]

Peroni S.; Shotton D.; Vitali F., Scholarly publishing and Linked Data: describing roles, statuses, temporal and contextual extents, in: Proceedings of i-Semantics 2012, NEW YORK, ACM Press, 2012, pp. 9 - 16 (atti di: 8th International Conference on Semantic Systems (i-Semantics 2012)., Graz (Austria), September 5-7, 2012) [Contributo in Atti di convegno]

Huitfeldt C.; Vitali F.; Peroni S., Documents as timed abstract objects, in: Proceedings of Balisage 2012, ROCKVILLE (MD), Balisage Series on markup TechnologiesU, 2012, pp. 1 - 10 (atti di: Balisage: The Markup Conference 2012, Montreal (CA), August 7-10, 2012) [Contributo in Atti di convegno]

Peroni S.; Shotton D.; Vitali F., The Live OWL Documentation Environment: a tool for the automatic generation of ontology documentation, in: Proceedings of EKAW 2012, BERLIN, Springer Verlag, 2012, pp. 398 - 412 (atti di: 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012), Galway (IR), October 8-12, 2012) [Contributo in Atti di convegno]

Peroni S.; Shotton D.; Vitali F., Faceted documents: describing document characteristics using semantic lenses, in: Proceedings of ACM DocEng 2012, NEW YORK, ACM Press, 2012, pp. 191 - 194 (atti di: 2012 ACM symposium on Document Engineering (DocEng 2012)., Paris, September 4-7, 2012) [Contributo in Atti di convegno]

Silvia Mirri; Paola Salomoni; Ludovico Antonio Muratori; Matteo Battistelli, Getting one voice: tuning up experts' assessment in measuring accessibility, in: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility - W4A '12, NEW YORK, ACM, 2012, pp. 1 - 4 (atti di: International Cross-Disciplinary Conference on Web Accessibility - W4A '12, Lyon, France, 16 e 17 Aprile 2012) [Contributo in Atti di convegno]

S. Mirri; M. Casadei; L. Muratori; M. Battistelli; P. Salomoni, AMAri: a reporting interface for accessibility evaluations, in: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility - W4A '12, NEW YORK, ACM, 2012, pp. 1 - 2 (atti di: International Cross-Disciplinary Conference on Web Accessibility - W4A '12, Lyon, France, 16/17 Aprile 2012) [Contributo in Atti di convegno]