Pubblicazioni

A. Bacchelli; P. Ciancarini; D. Rossi;, On the Effectiveness of Manual and Automatic Unit Test Generation, in: ICSEA 2008 - The Third International Conference on Software Engineering Advances, PISCATAWAY, IEEE press, 2008, pp. 258 - 263 (atti di: ICSEA 2008 - The Third International Conference on Software Engineering Advances, Sliema, Malta, 26-31 Ottobre 2008) [Contributo in Atti di convegno]

S. Cacciaguerra; G. D'Angelo, The Playing Session: Enhanced Playability for Mobile Gamers in Massive Metaverses, «INTERNATIONAL JOURNAL OF COMPUTER GAMES TECHNOLOGY», 2008, 2008, pp. 44 - 52 [Articolo in rivista]

SACERDOTI COEN, Claudio; Tassi, Enrico, Working with Mathematical Structures in Type Theory, in: ., 2008, 4941, pp. 157 - 172 (atti di: TYPES 2007: Conference of the Types Project, Cividale del Friuli (Udine), Italy, 2-5 May 2007) [Contributo in Atti di convegno]

Penzo, Wilma, Efficiently Answering Personalized Queries on XML Data, «INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS», 2008, 4, pp. 323 - 351 [Articolo in rivista]

Mandreoli, F.; Martoglia, R.; Penzo, Wilma; Sassatelli, S.; Villani, G., Paving the Way to an Effective and Efficient Retrieval of Data over Semantic Overlay Networks, in: The Semantic Web for Knowledge and Data Management: Technologies and Practices, HERSHEY - NEW YORK, Information Science Reference (IGI Global), 2008, pp. 151 - 175 [Capitolo/Saggio in libro]

Mandreoli, F.; Martoglia, R.; Penzo, Wilma; Sassatelli, S.; Villani, G., Efficient and Effective Query Answering in a PDMS with SUNRISE, in: Proceedings of the 16th Italian Symposium on Advanced Database Systems (SEBD), PALERMO, s.n, 2008, pp. 446 - 451 (atti di: 16th Italian Symposium on Advanced Database Systems (SEBD), Mondello (PA), Italy, 22-25 Giugno) [Contributo in Atti di convegno]

G. Rossi; G. D'Angelo, Adaptive Coalition Structure Generation in Cooperative Multiagent Systems, in: Proceedings of 4th International Conference on Self-organization and Adaptation of Computing and Communications (SACC 2008), 2008, 4, pp. 116 - 122 (atti di: 4th International Conference on Self-organization and Adaptation of Computing and Communications (SACC 2008), Glasgow, UK, 22-24 July 2008) [Contributo in Atti di convegno]

G. D'Angelo; G. Rossi, Parallel and Distributed Simulation of Coalition Structure Generation in Cooperative Multi-agent Systems, in: 22nd Workshop on Principles of Advanced and Distributed Simulation, 2008. PADS '08., IEEE COMPUTER SOCIETY, IEEE Computer Society, 2008, pp. 148 - 148 (atti di: 22nd Workshop on Principles of Advanced and Distributed Simulation, 2008. PADS '08., Roma, June 3-6, 2008) [Riassunto (Abstract)]

F. Tombari; S. Mattoccia; L. Di Stefano; E. Addimanda, Classification and evaluation of cost aggregation methods for stereo correspondence, in: LINDA SHAPIRO, NARENDRA AHUJA KIM BOYER, MUBARAK SHAH, TANVEER SYEDA-MAHMOOD, Proceedings IEEE Conference on Computer Vision and Pattern Recognition, 2008 (CVPR 2008), PISCATAWAY, NJ, IEEE Computer Society, 2008, 1, pp. 1 - 8 (atti di: IEEE Conference on Computer Vision and Pattern Recognition, 2008 (CVPR 2008), Anchorage, AK, USA, 23-28 June 2008) [Contributo in Atti di convegno]

E. Bartolini; V. Maniezzo; A. Mingozzi, An Adaptive Memory-Based Approach Based on Partial Enumeration, in: V. MANIEZZO, R. BATTITI AND J.-P. WATSON, Learning and Intelligent Optimization, BERLIN, Springer-Verlag, 2008, pp. 12 - 24 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Kaminski; S. Martini (a cura di): AA.VV., Computer Science Logic 2008, LNCS 5213, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 512 (Lecture Notes in Computer Science). [Curatela]

U. Dal Lago; S. Martini, Proofs as efficient programs, in: Deduction, Computation, Experiment, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 141 - 157 [Capitolo/Saggio in libro]

R. Gorrieri, Ugo Montanari and Concurrency Theory, in: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, HEIDELBERG, Springer-Verlag, 2008, pp. 403 - 408 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

C. Versari; R.Gorrieri, pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi, in: Formal Methods for Computational Systems Biology, HEIDELBERG, Springer-Verlag, 2008, pp. 449 - 506 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

P. Azzari; L. Di Stefano; F. Tombari; S. Mattoccia, Markerless augmented reality using image mosaics, in: A. ELMOATAZ ET AL., Lecture Notes in Computer Science - Volume 5099/2008Proccedings of International Conference on Image and Signal Processing (ICISP 2008), BERLIN, Springer, 2008, - Volume 5099/2008, pp. 413 - 420 (atti di: International Conference on Image and Signal Processing (ICISP 2008), Cherbourg-Octeville, Normandy, France, July 1-3, 2008) [Contributo in Atti di convegno]

P. Azzari; L. Di Stefano; S. Mattoccia, An Evaluation Methodology for Image Mosaicing Algorithms, in: J. BLANC-TALON ET AL., Advanced Concepts for Intelligent Vision Systems, Lecture Notes on Computer Science, LNCS 5259, BERLINO, Springer-Verlag, 2008, pp. 89 - 100 (atti di: Advanced Concepts for Intelligent Vision Systems, Juan les Pins, Francia, 20-24 Ottobre 2008) [Contributo in Atti di convegno]

F. Tombari; L. Di Stefano; S. Mattoccia; A. Zanetti, Graffiti Detection Using a Time-Of-Flight Camera, in: J. BLANC-TALON ET AL., Advanced Concepts for Intelligent Vision Systems, Lecture Notes on Computer Science, LNCS 5259, BERLINO, Springer Verlag, 2008, pp. 645 - 654 (atti di: Advanced Concepts for Intelligent Vision Systems, Juan les Pins, Francia, 20-24 Ottobre 2008) [Contributo in Atti di convegno]

S. Mattoccia; F. Tombari; L. Di Stefano, Reliable rejection of mismatching candidates for efficient ZNCC template matching, in: RAMA CHELLAPPA, B.S. MANJUNATH, BERND GIROD, ANTONIO ORTEGA, Proceedings of the 2008 IEEE International Conferenceon Image Processing (ICIP 2008), PISCATAWAY, NJ, IEEE, 2008, 1, pp. 849 - 852 (atti di: 2008 IEEE International Conferenceon Image Processing (ICIP 2008), San Diego, California, U.S.A., October 12–15, 2008) [Contributo in Atti di convegno]

L. Di Stefano; F. Tombari; S. Mattoccia; M. Balasso, Multi-view access monitoring and singularization in interlocks, in: MOHAN TRIVEDI, BIR BHANU, IOANNIS PAVLIDIS, Proceedings of the IEEE Fifth International Conference on Advanced Video and Signal Based Surveillance (AVSS 2008), LOS ALAMITOS, IEEE Computer Society, 2008, pp. 143 - 150 (atti di: IEEE Fifth International Conference on Advanced Video and Signal Based Surveillance, Santa Fe, 1-3 Settembre 2008) [Contributo in Atti di convegno]

F. Tombari; L. Di Stefano; S. Mattoccia, Robust visual correspondence: theory and applications, in: ASIM BHATTI, Stereo Vision, VIENNA, I-Tech Education and Publishing Kirchengasse 43/3,, 2008, pp. 317 - 334 (Stereo Vision) [Capitolo/Saggio in libro]