Pubblicazioni

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]

A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi, A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8, pp. 1 - 49 [Articolo in rivista]

A. Asperti; W. Ricciotti; C. Sacerdoti Coen; E. Tassi, Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover, «JOURNAL OF AUTOMATED REASONING», 2012, 49(3), pp. 427 - 451 [Articolo in rivista]

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]

C. Dal Mutto; F. Dominio; P. Zanuttigh; S. Mattoccia, Stereo Vision and Scene Segmentation, in: ASIM BHATTI, Current Advancements in Stereo Vision, VIENNA, I-Tech Education and Publishing Kirchengasse 43/3, 2012, pp. 23 - 40 [Capitolo/Saggio in libro]

G. Landi; E. Loli Piccolomini, An improved Newton projection method for nonnegative deblurring of Poisson-corrupted images with Tikhonov regularization, «NUMERICAL ALGORITHMS», 2012, 60(1), pp. 169 - 188 [Articolo in rivista]

S. Salti; A. Cavallaro; L. Di Stefano, Adaptive Appearance Modeling for Video Tracking: Survey and Evaluation, «IEEE TRANSACTIONS ON IMAGE PROCESSING», 2012, 21, pp. 4334 - 4348 [Articolo in rivista]

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]

A. Di Iorio; F. Draicchio; F. Vitali; S. Zacchiroli, Constrained Wiki: The WikiWay to Validating Content, «ADVANCES IN HUMAN-COMPUTER INTERACTION», 2012, 2012, pp. 1 - 19 [Articolo in rivista]

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]

Palmirani M; Vitali F, Legislative Drafting Systems, in: Usability in Government Systems, NEW YORK, Morgan Kaufmann, 2012, pp. 133 - 151 [Capitolo/Saggio in libro]