Pubblicazioni

W. Ouyang; F. Tombari; S. Mattoccia; L. Di Stefano; Wai-Kuen Cham, Performance Evaluation of Full Search Equivalent Pattern Matching Algorithms, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 2012, 34, pp. 127 - 143 [Articolo in rivista]

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]

F. Tombari; L. Di Stefano, Hough voting for 3D object recognition under occlusion and clutter, «IPSJ TRANSACTIONS ON COMPUTER VISION AND APPLICATIONS», 2012, 4, pp. 20 - 29 [Articolo in rivista]

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]

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]