Publications

The bibliographic records are extracted on-line by the PUMA Repository of Central Library in the CNR Research Area of Pisa.

Library photo

List of ISTI publications:

2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017

On-line statistics of the main scientific results, starting from 2002, can be found on this table.

List of publications (CNUCE and IEI):

1999 2000 2001

 
PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.


Journal articles

   2005
1Achim A., Kuruoglu E. E. Image Denoising Using Bivariate alpha-Stable Distributions in the Complex Wavelet Domain. In: Ieee Signal Processing Letters, vol. 12 (1) pp. 17 - 20. IEEE, 2005.  
2Amato G., Chessa S., Conforti F., Macerata A., Marchesi C. Health care monitoring of mobile patients. In: Ercim News, vol. 60 pp. 66 - 67. ERCIM, 2005.  
3Anselmo L. Cassini-Huygens: l'ora della verità. In: Le Stelle, vol. 4 (25) pp. 30 - 45. Gruppo B Editore, 2005.  
4Anselmo L., Pardini C. Computational methods for reentry trajectories and risk assessment. In: Advances in Space Research, vol. 35 (7) pp. 1343 - 1352. Elsevier, 2005.  
5Anselmo L., Pardini C. The Lifetime of Space Tether Systems in Orbit around the Earth. In: Acta Astronautica, vol. 56 (3) pp. 391 - 396. Pergamon Press, 2005.  
6Anselmo L., Pardini C. The long-term interaction of the Italian satellites abandoned in GEO with the orbital debris environment. In: Acta Astronautica, vol. 57 (1) pp. 37 - 47. Pergamon (Elsevier), 2005.     
7Ardizzoni E., Bertossi A. A., Pinotti M. C., Ramaprasad S., Rizzi R., Madhusudana V. S. Optimal skewed data allocation on multiple channels with flat broadcast per channel. In: Ieee Transactions on Computers, vol. 54 (5) pp. 558 - 572. IEEE Computer Society Washington, DC, USA, 2005.  
8Atzori M., Bonchi F., Giannotti F., Pedreschi D. Anonymity and data mining. In: Computer Systems Science and Engineering, vol. Vol. 20 (n. 5) pp. 369 - 376. CRL Publishing Ltd, 2005.     
9Avancini H., Straccia U. User Recommendation for Collaborative and Personalized Digital Archives. In: International Journal of Web Based Communities (IJWBC), vol. 1 (2) pp. 163 - 175. Inderscience enterprices Ltd, 2005.  
10Baraglia R., Ferrini R., Ritrovato P. A static mapping heuristics to map parallel applications to heterogeneous computing systems. In: Concurrency and Computation-Practice & Experience, vol. 17 (13) pp. 1579 - 1605. John Wiley & Sons, Ltd, 2005.     
11Baraglia R., Laforenza D., Silvestri F. SIGIR workshop report: the SIGIR heterogeneous and distributed information retrieval workshop. In: SIGIR Forum, vol. 39 (2) pp. 19 - 24. ACM, 2005.     
12Barcaro U., Cavallero C., Navona C. A method for recognizing and describing the links among dream sources. In: Dreaming, vol. 21 (4) p. 17. American Psychological Association, 2005.  
13Barsocchi P., Celandroni N., Ferro E., Gotta A., Davoli F., Giambene G., González Castaño F. J., Moreno J. I., Todorova P. Radio resource management across multiple protocol layers in satellite networks: a tutorial overview. In: International Journal of Satellite Communications and Networking, vol. 23 (5) pp. 265 - 305. Wiley & Sons, 2005.     
14Becucci M., Fantechi A., Giromini M., Spinicci E. A comparison between handwritten and automatic generation of C code from SDL using static analysis. In: Software-Practice & Experience, vol. 35 (14) pp. 1317 - 1347. John Wiley & Sons, 2005.  
15Bedini L., Herranz D., Salerno E., Baccigalupi C., Kuruoglu E. E., Tonazzini A. Separation of correlated astrophysical sources using multiple-lag data covariance matrices. In: Eurasip Journal on Applied Signal Processing, vol. 2005 (15) pp. 2400 - 2412. Hindawi Publishing Corporation, 2005.  
16Beltrame R. Ancora su individuazione e descrizione del mentale. In: Methodologia Online, vol. WP 183 article n. 1. Società di Cultura Metodologica-Operativa, 2005.     
17Beltrame R. Sul consecutivo. In: Methodologia Online, vol. WP 178 article n. 1. Società di Cultura Metodologica-Operativa, 2005.     
18Beltrame R. Sull'apprendimento. In: Methodologia Online, vol. WP 177 article n. 1. Società di Cultura Metodologica-Operativa, 2005.     
19Beltrame R. Un appunto per la comunicazione linguistica. In: Methodologia Online, vol. WP 181 article n. 2. Società di Cultura Metodologica-Operativa, 2005.     
20Benvenuti M., Colantonio S., Di Bono M. G., Pieri G., Salvetti O. Tracking of Moving Targets in Video Sequences. In: WSEAS Transaction on Systems, vol. Vol. 4 (n. 4) pp. 359 - 364. WSEAS, 2005.  
21Bertini G., Magrini M. A prototype lab box with DSK'C6711/13 for rapid DSP algorithm development. In: TechOnLine, vol. Technical Papers section (Audio and Video/Imaging series (Texas Instruments)) pp. 12 - 12. TecOnLine web site, Bedford, MA, US, 2005.     
22Bertolino A., Marchetti E., Muccini H. Introducing a reasonably complete and coherent approach for model-based testing. In: Electronic Notes in Theoretical Computer Science, vol. 116 pp. 85 - 97. Elsevier, 2005.  
23Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. Efficient breadth-first mining of frequent pattern with monotone constraints. In: Knowledge and Information Systems, vol. 8 (2) pp. 131 - 153. Springer, 2005.  
24Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. ExAnte: a preprocessing method for frequent pattern mining. In: Ieee Intelligent Systems, vol. 20 (3) pp. 2 - 8. IEEE, 2005.  
25Bonuccelli M., Lonetti F., Martelli F. Video transcoding architectures for multimedia real time services. In: Ercim News, vol. 62 pp. 39 - 40. ERCIM, 2005.  
26Bozzi E., Cavaccini G., Chimenti M., Di Bono M. G., Salvetti O. A two-dimensional wavelet-based approach. In: Pattern Recognition and Image Analysis, vol. Vol. 15 (n. 2) pp. 516 - 519. Mank-Hayka/Interperiodica, 2005.  
27Bracciali A., Brogi A., Turini F. A framework for specifying and verifying the behaviour of open systems. In: Journal of Logic and Algebraic Programming, vol. 63 (2) pp. 215 - 240. Special Issue: Process Algebra and System Architecture. Elsevier, 2005.        
28Callieri M., Silvano F. Virtual reconstruction of an egyptian beaker. In: Ercim News, vol. 60 pp. 79 - 80. ERCIM, 2005.  
29Carrez C., Fantechi A., Najm E. Assembling components with behavioural contracts = Assemblage de composants selon des contrats comportementaux. In: Annales des Telecommunications = Annals of Telecommunications, vol. 60 (7-8) pp. 989 - 1022. GET - Lavoisier - Paris, 2005.  
30Chessa S., Maestrini P. Fault Recovery Mechanism in Single-Hop Sensor Networks. In: Computer Communications, vol. 28 (17) pp. 1877 - 1886. Elsevier, 2005.  
31Cignoni P., Scopigno R., Tarini M. A simple normal enhancement technique for interactive non-photorealistic renderings. In: Computers & Graphics-Uk, vol. 29 (1) pp. 125 - 133. Elsevier, 2005.  
32Colantonio S., Salvetti O., Sartucci F. Automatic recognition and classification of cerebral microemboli in ultrasound images. In: Pattern Recognition and Image Analysis, vol. 15 (2) pp. 532 - 535. Mank-Hayka/Interperiodica, 2005.  
33Colantonio S., Di Bono M. G., Pieri G. Processing multimedia biomedical information for disease evolution monitoring. In: Ercim News, vol. 60 pp. 28 - 29. ERCIM, 2005.  
34Colantonio S., Di Bono M. G., Martinelli M., Pieri G., Salvetti O. Representation and communication of multimedia data and metadata. In: Ercim News, vol. 62 pp. 27 - 30. ERCIM, 2005.  
35Debole F., Sebastiani F. An Analysis of the Relative Hardness of Reuters-21578 Subsets. In: Journal of the American Society for Information Science and Technology, vol. 56 (6) pp. 584 - 596. Wiley Periodicals, 2005.     
36Di Bona S., Gurevich I. B., Koryabkina I., Nefyodov A., Salvetti O. Integration of two approaches to medical image analysis for diagnostic purposes. In: Pattern Recognition and Image Analysis: Advances in Mathematical Theory and Applications, vol. 15 (2) pp. 539 - 542. MAIK Nauka/Interperiodica, 2005.  
37Evans B., Werner M., Lutz E., Bousquet M., Corazza G. E., Sheriff R., Maral G., Rumeau R., Ferro E. Integration of satellite and terrestrial systems in future multimedia communications. In: Ieee Wireless Communications, vol. 12 (No. 5) pp. 72 - 80. IEEE Communications Society, 2005.  
38Ferro E., Potortì F. Bluetooth and Wi-Fi wireless protocols: a survey and a comparison. In: Ieee Wireless Communications, vol. 12 (1) pp. 12 - 26. IEEE, 2005.     
39Franken T., Dellepiane M., Ganovelli F., Cignoni P., Montani C., Scopigno R. Minimizing user intervention in registering 2D images to 3D models. In: Visual Computer, vol. 21 (8-10) pp. 619 - 628. Springer Verlag, 2005.  
40Gey F. C., Kando N., Peters C. Cross-language information retrieval: the way ahead. In: Information Processing & Management, vol. 41 (3) pp. 415 - 431. Elsevier, 2005.  
41Impoco G., Cignoni P., Scopigno R. A six-degrees-of-freedom planning algorithm for the acquisition of complex surfaces. In: International Journal of Shape Modeling, vol. 11 (1) pp. 1 - 23. World Scientific, 2005.  
42Ioannidis Y., Maier D., Abiteboul S., Buneman P., Davidson S., Fox E., Halevy A., Knoblock C., Rabitti F., Schek H., Weikum G. Digital Library Information - Technology Infrastructure. In: International Journal on Digital Library, vol. 5 (4) pp. 266 - 274. Springer-Verlag, 2005.        
43Karetsos G. T., Kyriazakos S. A., Groustiotis E., Di Giandomenico F., Mura I. A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. In: Ieee Wireless Communications, vol. 12 (6) pp. 11 - 17. IEEE Communications Society, 2005.  
44Lami G., Gnesi S., Trentanni G., Fabbrini F., Fusani M. An Automatic Tool for the Analysis of Natural Language Requirements. In: Computer Systems Science and Engineering, vol. 20 (Vol.20, N. 1) pp. 53 - 62. CRL Publishing, 2005.  
45Lollini P., Bondavalli A., Di Giandomenico F. A modeling methodology for hierarchical control systems and its application. In: Journal of the Brazilian Computer Society, vol. 10 (3) pp. 57 - 69. SBC - The Brazilian Computer Society, 2005.  
46Loyer Y., Straccia U. Any-World Assumptions in Logic Programming. In: Theoretical Computer Science, vol. 342 (2-3) pp. 351 - 381. Elsevier Science Publishers Ltd, 2005.  
47Lucchesi D. M. The impact of the even zonal harmonics secular variations on the lense- thirring effect measurement with the two lageos satellites. In: International Journal of Modern Physics D, vol. 14 (12) pp. 1989 - 2023. World Scientific Publishing Company, 2005.  
48Lucchesi M., Pagni A. Longitudinal oscillations of bimodular rods. In: International Journal of Structural Stability and Dynamics, vol. 5 (1) pp. 1 - 18. World Scientific Publishing Company, 2005.  
49Marchetti E. Automatic XML-schema generation UML application profile. In: Elektrotechnik und informationstechnik, vol. 12 pp. 485 - 487. Springer, 2005.     
50Milani A., Rossi A., Villani D. A timewise kinematic method for satellite gradiometry: GOCE simulations. In: Earth Moon and Planets, vol. 97 pp. 37 - 68. Springer, 2005.  
51Miori V. La casa intelligente : ricerca scientifica e futuri scenari. In: ScienzaOnline, vol. 21 (2) ScienzaOnline, 2005.  
52Pardini C., Anselmo L. Dynamical Evolution of Debris Clouds in Geosynchronous Orbit. In: Advances in Space Research, vol. 35 (7) pp. 1303 - 1312. Elsevier, 2005.  
53Pardini C. Survey of past on-orbit fragmentation events. In: Acta Astronautica, vol. 56 (3) pp. 379 - 389. Elsevier, 2005.  
54Paternò F. Model-based tools for pervasive usability. In: Interacting With Computers, vol. Vol.17, (Issue 3,) pp. 291 - 315. Elsevier, 2005.  
55Pieri G., Benvenuti M., Carnier E., Salvetti O. Object Detection and Tracking in an Open and Free Environment with a Moving Camera. In: Pattern Recognition and Image Analysis, vol. 15 (2) pp. 283 - 286. Nauka/Interperiodica, 2005.  
56Pingi P., Fasano A., Cignoni P., Montani C., Scopigno R. Exploiting the scanning sequence for automatic registration of large sets of range maps. In: Computer Graphics Forum, vol. 24 (3) pp. 517 - 526. Blackwell Publishing, 2005.  
57Polini A. Interoperability testing of Web services for e-Learning. In: Elektrotechnik und informationstechnik, vol. 12 pp. 495 - 497. Springer, 2005.  
58Renda M. E., Straccia U. A personalized collaborative digital library environment: a model and an application. In: Information Processing & Management, vol. Vol 41 (1) pp. 5 - 21. Elsevier, 2005.  
59Rossi A. The Earth orbiting space debris. In: Serbian Astronomical Journal, vol. 170 pp. 1 - 12. Astronomical Observatory of Belgrade, 2005.     
60Saba L., Di Martino M., Delbo M., Cellino A., Zappala V., Montebugnoli S., Righini S., Zoni L., Orosei R., Tosi F., Valsecchi G. B., Gardini A., Grassi D., Rossi A., Milani A., Lazzarin M. The sardinian radio telescope as radar for the study of near-earth objects and space debris. In: Memorie S.A.It., vol. 6 (104) pp. 104 - 109. Societa' Astronomica Italiana, 2005.  
61Scheeres D. J., Benner L., Ostro S. J., Rossi A., Marzari F., Washabaugh P. Abrupt alteration of asteroid 2004 MN4's spin state during its 2029 earth flyby. In: Icarus, vol. 178 (1) pp. 281 - 283. ELSEVIER, 2005.  
62Signore O., Missikoff O., Moscati P. La gestione della conoscenza in archeologia: modelli, linguaggi e strumenti di modellazione concettuale dall' XML al Semantic Web. In: Archeologia e CAlcolatori, vol. 16 pp. 291 - 319. All'Insegna del Giglio, 2005.  
63Tarini M., Lensch H. P., Gösele M., Seidel H. P. 3D acquisition of mirroring objects using striped patterns. In: Graphical Models, vol. 67 (4) pp. 233 - 259. Elsevier, 2005.        
64Tarini M., Cignoni P. Pinchmaps: textures with customizable discontinuities. In: Computer Graphics Forum, vol. 24 (3) pp. 557 - 568. Blackwell Publishing, 2005.  
65Tarrini L., Miori V. LIGHT: XML-innovative generation for home networking technologies. In: Ercim News, vol. 62 pp. 48 - 50. ERCIM, 2005.  
66Ter Beek M. H., Lenzini G., Petrocchi M. Contributions of team automata in security. In: Ercim news, vol. 63 pp. 38 - 39. ERCIM, 2005.  
67Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Model checking publish/subscribe notification for thinkteam. In: Electronic Notes in Theoretical Computer Science, vol. 133 pp. 275 - 294. J. Bicarregui; A. Butterfield; A. Arenas (ed.). Elsevier, 2005.     
68Ter Beek M. H., Kleijn J. Modularity for teams of I/O automata. In: Information Processing Letters, vol. 95 (5) pp. 487 - 495. Elsevier Science Publishers, Amsterdam, 2005.     
69Ter Beek M. H., Martin-Vide C., Mitrana V. Synchronized Shuffles. In: Theoretical Computer Science, vol. 341 (1-3) pp. 263 - 275. Elsevier Science Publishers, Amsterdam, 2005.     

Books/Monographs

   2005
1Santoro C. A task model-based approach for the design and evaluation of innovative user interfaces. 210 p. Louvain-la-Neuve, Belgium: Presses universitaires de Louvain, 2005.
2Scateni R., Cignoni P., Montani C., Scopigno R. Fondamenti di grafica tridimensionale interattiva. Prima ed. Milano: Mc Graw Hill, 2005.

Contribution to Book/Monograph

   2005
1Aldinucci M., Campa S., Coppola M., Danelutto M., Laforenza D., Puppin D., Scarponi L., Vanneschi M., Zoccolo C. Components for high-performance grid programming in Grid.IT. In: Component Models and Systems for Grid Applications. vol. 1 pp. 19 - 38. Getov, Kielmann (eds.). Springer, 2005.     
2Amato G., Chessa S., Conforti F., Macerata A., Marchesi C. Networking and data management for health care monitoring of mobile patients. In: Personalised Health Management Systems. C.D. Nugent, P.J. McCullagh, E.T. McAdams and A. Lymberis (eds.). ((Studies in Health Technology and Informatics), vol. 117). Amsterdam: IOS Press, 2005.     
3Batko M., Gennaro C., Zezula P. A scalable nearest neighbor search in P2P systems. In: Databases, Information Systems, and Peer-to-Peer Computing. pp. 78 - 92. Wee Siong Ng, Beng Chin Ooi, Aris Ouksel, Claudio Sartori (eds.). (Lecture Notes in Computer Science, vol. 3367). Heidelberg: Springer-Verlag, 2005.     
4Batko M., Gennaro C., Zezula P. Similarity Grid for searching in metric spaces. In: Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures. pp. 25 - 44. Can Türker, Maristella Agosti, Hans-Jörg Schek (eds.). (Lecture Notes in Computer Science, vol. 3664). Berlin / Heidelberg: Springer, 2005.        
5Bertolino A., Marchetti E. A brief essay on software testing. In: Software Engineering: The Development Process. 3rd edition ed. vol. 1 pp. 393 - 411. Richard Thayer, Mark Christensen and Merlin Dorfman (eds.). ..: Wiley-IEEE Computer Society, 2005.  
6Bonchi F., Giannotti F., Pedreschi D. A relational query primitive for constraint-based pattern mining. In: Constraint-Based Mining and Inductive Databases: European Workshop. pp. 14 - 37. Boulicaut, Jean-Francois and De Raedt, Luc and Mannila, Heikki. (Lecture Notes in Computer Science, vol. 3848). Springer, 2005.  
7Bonchi F., Giannotti F. Pushing constraints to detect local patterns. In: Local Pattern Detection: International Seminar (Dagstuhl Castle,. pp. 1 - 19. Morik, Katharina and Boulicaut Jean-Francois and Siebes, Arno (eds.). (Lecture Notes in Computer Science, vol. 3539). Berlin / Heidelberg: Springer, 2005.  
8Bondavalli A., Chiaradonna S., Di Giandomenico F. Model-based evaluation as a support to the design of dependable systems. In: Dependable Computing Systems - Paradigms, Performance Issues, and. pp. 57 - 86. Hassan B. Diab, Albert Y. Zomaya (eds.). United States of America: John Wiley & Sons, 2005.  
9Candela L., Castelli D., Pagano P., Simi M. Moving digital library service systems to the grid. In: Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures. pp. 236 - 259. Can Türker, Maristella Agosti, Hans-Jörg Schek (eds.). (Lecture Notes in Computer Science, vol. 3664). Berlin: Springer Verlag, 2005.        
10Cignoni P., Rocchini C. Generating random points in a tetrahedron. In: Graphics Tools - The JGT Editors' Choice. First ed. pp. 287 - 290. Ronen Barzel (ed.). Wellesley, MA: A. K. Peters Ltd., 2005.  
11Cignoni P., Montani C., Scopigno R. Triangulating convex polygons having T-vertices. In: Graphics Tools - The JGT Editors' Choice. First ed. pp. 89 - 92. Ronen Barzel (ed.). Wellesley, MA: A. K. Peters Ltd., 2005.  
12Coltelli P., Barsanti L., Evangelista V., Frassanito A. M., Gualtieri P. Time as the fifth dimension in microscopy. In: Imaging Nature Across Dimension. pp. 335 - 348. Valtere Evangelista, Laura Barsanti, Vincenzo Passarelli, Paolo Gualtieri (eds.). Amsterdam: Springer, 2005.  
13Floater M., Hormann K. Surface parameterization: a tutorial and survey. In: Advances in multiresolution for geometric modelling. pp. 157 - 186. Dodgson Neil A., Floater Michael S., Sabin Malcolm A (eds.). (Mathematics and Visualization). Berlin, Germany: Springer, 2005.  
14Latella D., Massink M., Baumeister H., Wirsing M. Mobile UML statecharts with localities. In: Global Computing 2004. pp. 34 - 58. Corrado Priamo and Paola Quaglia (eds.). (Lecture Notes in Computer Science, vol. 3267). Berlin: Springer-Verlag, 2005.  
15Locuratolo E. Model transformations in designing the ASSO methodology. In: Transformation of Knowledge, Information and Data: Theory and Application. 1 ed. vol. 1 pp. 283 - 302. Patrick van Bommel (ed.). Hershey, PA 17033: Information Science Publishing (Idea Group Inc), 2005.     
16Peters C. Comparative evaluation of cross-language information retrieval systems. In: From Integrated Publication and Information Systems to Virtual. pp. 152 - 161. Matthias Hemmje, Claudia Niederée, Thomas Risse. (Lecture Notes in Computer Science, vol. 3779). Germany: Springer, 2005.  
17Porcarelli S., Di Giandomenico F., Lollini P., Bondavalli A. A modular approach for model-based dependability evaluation of a class of systems. In: Service Availability. vol. 3335 pp. 160 - 174. (Lecture Notes in Computer Science, vol. 3335). Berlin Heidelberg: Springer Verlag, 2005.     
18Scopigno R. Gestione efficiente dei dati prodotti dai sistemi di scansione tridimensionale. In: Laser Scanner e GPS: Paesaggi Archeologici e Tecnologie Digitali. pp. 41 - 68. S. Campana, R. Francovich (eds.). Firenze: Edizioni All'Insegna del Giglio, 2005.     
19Sebastiani F. Text Categorization. In: Text Mining and its Applications to Intelligence, CRM and Knowledge. First ed. pp. 109 - -129. Zanasi, Alessandro (eds.). Southampton, UK: WIT Press, 2005.     
20Sebastiani F. Text categorization. In: The Encyclopedia of Database Technologies and Applications. 1st ed. pp. 683 - 687. Laura C. Rivero, Jorge H. Doorn and Viviana E. Ferraggine (eds.). Hershey, US: Idea Group Publishing, 2005.     
21Signore O. Verso l'interoperabilità semantica. In: Progetto Minerva - Manuale per la qualità dei siti Web pubblici. F. Filippi (ed.). Roma: Ministero per i beni e le attività culturali, 2005.     

Proceedings

   2005
1Ablameyko S., Di Bona S., Gurevich I. B., Koryabkina I., Murashov D., Nefyodov A., Salvetti O., Trykova A., Vorobjev I. Towards automated analysis of cytological and histological specimen images. In: International Conference on Advanced Information and Telemedicine (Minsk, Belarus, November 8-10, 2005). Proceedings, vol. I pp. 27 - 31. Sergey Ablameyco, Yevgenii Beloenko, Uladzimir Anishchanka (eds.). 2005.  
2Achim A., Kuruoglu E. E., Zerubia J. SAR image filtering based on the heavy-tailed rayleigh model. In: European Signal Processing conference (Antalya, Turkey, 4-8 september 2005). Proceedings, Suvisoft, 2005.  
3Afsharian S., Bertolino A., De Angelis G., Iovanna P., Mirandola R. A Model Based Approach to Design Applications for Network Processor. In: RISE 2004 - Workshop on Rapid Integration of Software Engineering (Luxembourg, November 26, 2004). Proceedings, pp. 93 - 101. (Lecture Notes in Computer Science, vol. 3475). Springer, 2005.     
4Aldinucci M., Petrocelli A., Pistoletti E., Torquati M., Vanneschi M., Veraldi L., Zoccolo C. Dynamic reconfiguration of grid-aware applications in ASSIST. In: Euro-Par 2005: Parallel and Distributed Computing (Lisboa, Portugal, 30-August 2-September 2005). Proceedings, pp. 771 - 781. J. C. Cuhna and P. D. Medeiros (ed.). (Lecture Notes in Computer Science IF:0,402, vol. 3648). Springer, 2005.     
5Aliberti M. Framework for smart surveillance in konnex environments. In: 2005 Konnex Scientific Conference (Pisa, CNR-ISTI, September 15-1). Proceedings, Konnex Association, 2005.  
6Amato G., Debole F. A native XML database supporting approximate match search. In: ECDL 2005 - Research and Advanced Technology for Digital Libraries. 9th European Conference (Vienna, Austria, 18-23 September 2005). Proceedings, pp. 69 - 80. (Lecture Notes in Computer Science, vol. 3652). Springer, 2005.        
7Amato G., Gennaro C., Savino P., Rabitti F. MILOS: a multimedia content management system for multimedia digital library applications. In: Italian Research Conference on Digital Library Management Systems (Padova, Italy, January 28). Atti, pp. 29 - 32. Thanos, Costantino and Agosti, Maristella (eds.). 2005.     
8Amato G., Baronti P., Chessa S. MaD-WiSe: programming and accessing data in a wireless sensor networks. In: International Conference on Computer as a Tool. EUROCON 2005 (Belgrado - Serbia Montenegro, 21-24 Novembre 2005). (Belgrado - Serbia Montenegro, 21-24-11 2005). Proceedings, vol. 2 pp. 1846 - 1849. IEEE, 2005.  
9Amato G., Coppola M., Gnesi S., Scozzari F., Semini L. Modeling web applications by the multiple levels of integrity policy. In: 1st International Workshop on Automated Specification and (Valencia, Spain, Mar.14--15 2005). Proceedings, pp. 161 - 176. M. Alpuente, S. Escobar, M. Falaschi (eds.). Elsevier Science, 2005.  
10Andronico P., Buzzi M., Leporini B. Increasing usability of search engine interfaces for the blind. In: International Conference on Universal Access in Human-Computer (Las Vegas, Nevada, U.S.A, 22-27 July 2005). Proceedings, Lawrence Erlbaum Associates, Inc (LEA), 2005.  
11Annese A., Barsocchi P., Celandroni N., Ferro E. Performance evaluation of UDP multimedia traffic flows in satellite - WLAN integrated paths. In: 11th Ka and Broadband Communications Conference (Rome, 25-28 September 2005). Proceedings, vol. Vol. I pp. 267 - 275. Istituto Internazionale delle Telecomunicazioni (ed.). IIC, 2005.  
12Anselmo L., Pardini C. Orbital evolution of geosynchronous objects with high area-to-mass ratios. In: Fourth European Conference on Space Debris (ESA/ESOC, Darmstadt , Germany, 18-20 April 2005). Proceedings, vol. ESA SP-587 pp. 279 - 284. D. Danesy (ed.). European Space Agency (ESA) Publications Division, 2005.  
13Asirelli P., Di Bono M. G., Martinelli M., Salvetti O., Signore O., Catasta M., Morbidoni C., Piazza F., Tummarello G. Toward a scalable multimedia metadata infrastructure using distributed computing and semantic web technologies. In: European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (London, 30 November 30 - 1 December 2005). Proceedings, pp. 153 - 156. IEE, 2005.  
14Atzori M., Bonchi F., Giannotti F., Pedreschi D. Blocking anonymity threats raised by frequent itemset mining. In: IEEE International Conference on Data Mining (Houston, Texas, USA, 27 - 30 November 2005). Proceedings, pp. 561 - 564. 2005.     
15Atzori M., Bonchi F., Giannotti F., Pedreschi D. k-anonymous patterns. In: European Conference on Principles and Practice of Knowledge (Porto, Portugal, October 3-7, 2005). Proceedings, vol. Vol. 3721 pp. 10 - 21. Alípio M. Jorge, Luís Torgo, Pavel B. Brazdil, Rui Camacho, João Gama (eds.). (Lecture Notes in Control and Information Sciences). Springer-Verlag GmbH, 2005.     
16Baglioni M., Furletti B., Turini F. DrC4.5: Improving C4.5 by means of prior knowledge. In: SAC'05 - The 2005 ACM Symposium on Applied Computing (Santa Fe, NM, USA, 13-17 March 2005). Proceedings, pp. 474 - 481. ACM, 2005.        
17Bagnoli P. E., Bartoli C., Pasquinelli G., Stefani F. DJOSER : verifica teorica e sperimentale dell'accuratezza del simulatore termico stazionario per l'elettronica di potenza. In: XXIII Congresso Nazionale UIT sulla Trasmissione del Calore (Parma, 20-22 Giugno 2005). Atti, Edizioni ETS pisa, 2005.  
18Balzerani L., Di Ruscio D., Pierantonio A., De Angelis G. A Product Line Architecture for Web Applications. In: SAC'05 - Symposium on Applied Computing (Santa Fe, New Mexico , USA, 13-17 March 2005). Proceedings, vol. 1­-58113-­964­-0/05/0003 pp. 1689 - 1693. ACM (ed.). 2005.     
19Banci M., Fantechi A. Geographical vs. functional modelling by statecharts of interlocking systems. In: International Workshop on Formal Methods for Industrial Critical Systems. FMICS 2004 (Linz, Austria, 20-21 September 2004). Proceedings, pp. 3 - 19. (Electronic Notes in Theoretical Computer Science). Elsevier, 2005.  
20Banci M., Fantechi A. Instantiating Generic Charts for Railway Interlocking Systems. In: FMICS05 international workshop on Formal methods for industrial (Lisbon, Portugal, September 2005). Proceedings, pp. 134 - 143. ACM Press New York, NY, USA, 2005.  
21Banci M., Becucci M., Fantechi A., Spinicci E. Validation Coverage for a Component-based SDL model of a Railway Signaling System. In: International Workshop on Test and Analysis of Component Based (Barcelona, Spain, 27-28 March 2004). Proceedings, vol. 116 pp. 99 - 111. M. Pezzè (Ed.) (ed.). ENTCS, Elsevier, 2005.     
22Bandelloni R., Berti S., Paternò F. Analysing trans-modal interface migration. In: Human-Computer Interaction - INTERACT 2005: IFIP TC13 International (Rome, Italy, September 12-16, 2005). Proceedings, p. 4. Maria Francesca Costabile, Fabio Paternò (eds.). (Lecture Notes in Computer Science, vol. 3585). Springer-Verlag, 2005.     
23Bandelloni R., Mori G., Paternò F. Dynamic generation of migratory interfaces. In: Mobile HCI 2005 (Salzburg (Austria), 19 - 22 September 2005). Proceedings, vol. Vol. 111 pp. 83 - 90. ACM Press, 2005.     
24Bandelloni R., Berti S., Paternò F. Support for migration through graphical and vocal interfaces in multi-device environments. In: Human-Computer Interaction - INTERACT 2005, IFIP TC13 International (Rome, Italy, September 12-16, 2005). Proceedings, pp. 17 - 20. Maria Francesca Costabile, Fabio Paterno' (eds.). Edizioni Laterza, 2005.     
25Baraglia R., Demi M., Di Bona S., Fontanelli R., Guerri D., Salvetti O. Medical imaging demonstrator on a distributed virtual organisation. In: International Conference on Computational Intelligence in Medicine and Healthcare (CIMED2005) (Lisbon (Portugal), 29 june - 1 july 2005). Proceedings, pp. 410 - 417. CIMED, 2005.  
26Barsocchi P., Tzaras C. Application of Erasure Codes on Channels from HAPs to Vehicular and Pedestrian Users. In: 2005 2th International Symposium on Wireless Communications Systems (Siena, September 5-9, 2005). Proceedings, vol. 2th pp. 693 - 697. IEEE, 2005.  
27Barsocchi P., Gotta A., Potortì F., González-Castaño F. J., Gil-Castiñeira F., Moreno J. I., Cuevas A. Experimental results with forward erasure correction and real video streaming in hybrid wireless networks. In: International Symposium on Wireless Communication Systems (ISWCS) (Siena (IT), sept 5-9 2005). Proceedings, pp. 662 - 666. IEEE, 2005.     
28Bartolini C., Lipari G., Di Natale M. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. In: Real-Time and Embedded Technology and Applications - RTAS 2005 (San Francisco, California, 7-10 March 2005). Proceedings, pp. 458 - 467. IEEE, Computer Society, 2005.     
29Belotserkovsky A., Nedzved A., Ablameyko S., Gurevich I. B., Salvetti O. Automation of preliminary histological diagnostics of oncological diseases. In: International Conference on Advanced Information and Telemedicine (Minsk, Belarus, November 8-10, 2005). Proceedings, vol. I pp. 70 - 75. Sergey Ablameyco, Yevgenii Beloenko, Uladzimir Anishchanka (eds.). 2005.  
30Berioli M., Giambene G., Alocci I., Mohorcic M., Ferro E., Perez Fontan F., Fotini-Niovi P. Hybrid HAP-Satellite Architecture for Reliable Multicast Transmissions. In: 23th AIAAA International Communications Satellite Systems Conference (Rome, 25-28 september 2005). Proceedings, vol. Vol. I pp. 1 - 12. Istituto Internazionale delle Telecomunicazioni (ed.). IIC, 2005.  
31Bernardeschi K., Cecati F., Padovani C., Pasquinelli G. Un metodo numerico per l'analisi strutturale di cupole in muratura: la chiesa di S. Maria Maddalena a Morano Calabro. In: Congresso AIMETA (Firenze, 11-15 settembre 2005). Atti, 2005.  
32Berti S., Paternò F. Development of multiModal interfaces in multi-device environments. In: 10th Human-Computer Interaction INTERACT 2005 (Roma, 12-16 September 2005). Proceedings, pp. 1067 - 1070. (Lecture Notes in Computer Science, vol. 3585). Springer Verlag, 2005.  
33Berti S., Paternò F. Multimodal interfaces in multidevice environments. In: International Conference on Multimodal Interfaces (Trento, 4-6 October 2005). Proceedings, pp. 92 - 99. ACM Press, 2005.  
34Berti S., Mori G., Paternò F., Santoro C. TERESA: an environment for designing multi-device interactive services. (September 19-22 2005). Proceedings, 2005.  
35Bertini G., Magrini M., Gonzales D., Grassi L., Fontana F. Uso di tools per 'Rapid Prototyping' nello sviluppo di algoritmi DSP complessi. In: DSP Application Day (Milano, 19 settembre 2005). Atti, DICo Università di Milano (ed.). Mario Malcangi, 2005.  
36Bertini G., Fontana F., Gonzalez D., Grassi L., Magrini M. Voice transformation algorithms with real time DSP rapid prototyping tools. In: EUSIPCO European Signal Processing Conference (Antalya (Turkey), 4-8 September 2005). Proceedings, CD Editon by SuviSoft Oy Ltd Tampere (Finland) ISBN 975-00188-O-X (ed.). 2005.  
37Bertolino A., Herrmann H., Marchetti E., Polini A. Addressing testing objectives for e-learning. In: First International Conference on Methods and Technologies for (Palermo - Italy, March 08-1). Proceedings, vol. Vol. XXXIV pp. 401 - 409. G. Chiazzese, M. Allegra. A. Chifari & S. Ottaviano (eds.). WITPress, 2005.     
38Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An architecture-centric approach for producing quality systems. In: First International Conference on the Quality of Software (Erfurt, Germany, 20-22 September 2005). Proceedings, pp. 21 - 37. R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J (eds.). (Lecture Notes in Computer Science, vol. 3712). Springer, 2005.     
39Bertolino A., Polini A. The audition framework for testing web services interoperability. In: 31st Euromicro Conference on Software Engineering and Advanced (Porto, Portugal, 30 August- 3 September 2005). Proceedings, pp. 134 - 142. IEEE/CS, 2005.  
40Bertolino A., De Angelis G., Mirandola R. UML-based design of network processor applications. In: Euromicro 2005 (Porto, Portugal, Aug. 30- Sept 3. 2005). Proceedings, pp. 424 - 431. Bob Werner (ed.). IEEE Computer Society, 2005.     
41Biagioni S., Carlesi C., Giannini S., Pellegrini T., Romano G. A. Un'attività in corso: il recupero informatico della 'Bibliografia Italiana di Storia Militare'. In: Militarizzazione e nazionalizzazione nella storia d'Italia. Aspetti e problemi (Firenze, Università degli Studi di Firenze, 25-27 novembre 2004). Atti, pp. 384 - 387. Piero Del Negro, Nicola Labanca, Alessandra Staderini (eds.). (Centro Interuniversitario di Storia e Studi Militari). Milano, Unicopli, 2005.  
42Bistarelli S., Bonchi F. Interestingness is not a dichotomy: introducing softness in constrained pattern mining. In: Ninth European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'05) (Porto, Portugal, 3-7 October 2005). Proceedings, (Lecture Notes in Computer Science, vol. 3721). Springer, 2005.     
43Bolognesi T. Process algebra under the light of Wolfram's NKS. In: Algebraic Process Calculi: The First Twenty Five Years and Beyond, (Bertinoro (Forli'), Italy, August 1-5, 2005). Proceedings, vol. NS-05-3 pp. 56 - 59. Luca Aceto, Andrew Gordon (eds.). BRICS Notes Series, 2005.     
44Bonchi F., Lucchese C. Pushing tougher constraints in frequent pattern mining. In: Advances in Knowledge Discovery and Data Mining, Pacific-Asia (Hanoi, Vietnam, May 18-20, 2005). Proceedings, pp. 114 - 124. Ho, Tu Bao and Cheung, David (eds.). (Lecture Notes in Computer Science, vol. 3518). Springer, 2005.  
45Bonuccelli M., Lonetti F., Martelli F. A fast skipping policy for H.263 video transcoder. In: International Workshop on Systems, Signals & Image Processing (Chalkida, Greece, 22-2 September 2005). Proceedings, vol. 7 pp. 355 - 360. Dimitrios A. Karras, Stamatios Voliotis, Maria Rangoussi, Apostolos (eds.). 2005.  
46Bonuccelli M., Lonetti F., Martelli F. Temporal transcoding for mobile video communication. In: International Conference on Mobile and Ubiquitous Systems: (San Diego, California, 17-2, July 2005). Proceedings, pp. 502 - 506. Ramesh Rao, Chiara Petrioli, Krishna Sivalingam (eds.). IEEE Computer Society, 2005.  
47Bousquet M., Castanet L., Corazza G. E., Donner A., Evans B., Ferro E., Giambene G., Lutz E., Maral G., Rumeau R., Sheriff R., Werner M. SatNEx, the european satellite communications network of excellence: air interface activities. In: Final Workshop of COST 280 Action (Prague, Czech Republic, June 2005). Proceedings, European Commission (ed.). 2005.  
48Bozzi E., Chimenti M., Genovesi S., Salerno E., Zucchelli A. Equipment and procedures for microwave nondestructive evaluation of lapideous materials. In: Conference on Microwave Techniques (Czech Technical University, Prague, Czech Republic, 26-28 September 2005). Proceedings, pp. 68 - 71. Pavel Hazdra, Milos Mazanek (eds.). IEEE Czechoslovakia section, 2005.  
49Bruno A., Paternò F., Santoro C. Supporting interactive workflow systems through graphical Web interfaces and interactive simulators. In: TAMODIA 2005 (Gdansk, Poland, 26-27 September 2005). Proceedings, 2005.  
50Bucchiarone A., Gnesi S., Pierini P. Quality analysis of NL requirements: an industrial case study. In: IEEE International Requirements Engineering Conference (RE05) (Paris, France, August 29 - September 2 2005). Proceedings, pp. 390 - 394. 2005.  
51Callieri M., Debevec P., Pair J., Scopigno R. Realistic realtime illumination of complex environment for immersive systems a case study: the Parthenon. In: SPIE International Symposium on Optical Metrology (Munich, Germany, 13-17 June 2005). Proceedings, vol. 5857 SPIE--The International Society for Optical Engineering, 2005.  
52Callieri M., Cignoni P., Ganovelli F., Pingi P., Ponchio F., Montani C., Scopigno R. Tools for inverse mapping and visualization of multi-spectral image data on 3D scanned representations of drawings. In: SPIE International Symposium on Optical Metrology (Munich, Germany, 13-17 June 2005). Proceedings, vol. 5857 SPIE--The International Society for Optical Engineering, 2005.  
53Candela L., Castelli D., Pagano P., Simi M. From heterogeneous information spaces to virtual documents. In: Digital Libraries: Implementing Strategies and Sharing Experiences: 8th International Conference on Asian Digital Libraries, ICADL 2005 (Bangkok, Thailand, 12-1 December 2005). Proceedings, pp. 11 - 22. Edward A. Fox, Erich J. Neuhold, Pimrumpai Premsmit, Vilas Wuwongse (eds.). (Lecture Notes in Computer Science, vol. 3815). Springer-Verlag GmbH, 2005.     
54Candela L., Castelli D., Pagano P., Simi M. Reusing and creating new knowledge for scholarly communication. In: Open Culture: Accessing and Sharing Knowledge (Milan, 27-29 June). Proceedings, 2005.  
55Candela L., Castelli D., Pagano P., Simi M. The Evolution of Digital Library Systems: from OpenDLib to DILIGENT. In: 1st Italian Research Conference on Digital Library Management (Padova, 28 January 2005). Atti, 2005.  
56Caruso A., Chessa S., De S., Urpi A. GPS Free Coordinate Assignment and Routing in Wireless Sensor Networks. In: Infocom 2005 (Miami USA, 13-17 March 2005). Proceedings, vol. 1 pp. 150 - 160. IEEE, 2005.  
57Castelli D., Candela L., Pagano P., Simi M. DILIGENT: A DL Infrastructure for Supporting Joint Research. In: IEEE-CS International Symposium Global Data Interoperability- (Sardinia, Italy, 20-24 June). Proceedings, pp. 56 - 59. IEEE Computer Society, 2005.  
58Castelli D., Ioannidis Y. Digital Libraries over the Grid: Heaven or Hell?. In: ECDL 2005 - 9th European Conference on Digital Libraries (Vienna, Austria, 18-23 September 2005). Proceedings, vol. Research and Advanced Technology for Digital Libraries pp. 477 - 478. Andreas Rauber, Stavros Chistodoulakis, A Min Tjoa (eds). (Lecture Notes in Computer Science, vol. 3652). Springer, 2005.  
59Celandroni N., Davoli F., Ferro E., Gotta A. Adaptative Optimal Bandwidth Partitioning Among TCP Elephant Connections Over Multiple Rain-Faded Satellite Channels. In: International Workshop on QoS in Multiservice IP Networks QoS - IP (Catania, Italy, Feb 2-4, 2005). Proceedings, pp. 559 - 573. Springer-Verlag (ed.). (Lecture Notes in Computer Science, vol. 3375). Ajmone Marsan, M., Bianchi, G., Listanti, M., Meo, M, 2005.     
60Celandroni N., Davoli F., Ferro E., Gotta A. An overview of some techniques for cross-layer bandwidth management in multi-service IP networks. In: GLOBECOM 2005 (Saint Luis, MO, USA, November 28-December 2, 2005). Proceedings, pp. WO4:4.1 - WO4:4.6. IEEE Communications Society (ed.). 2005.  
61Chesi F., Signore O., Pallotti M. A working e-government experience: the CiTel project. In: First CMG Poland Conference (Warsaw - Poland, 9-10 May 2005). Proceedings, 2005.     
62Chesi F., Pallotti M., Signore O. E-government challenges and the CiTel experience. In: Digital Cities: the Augmented Public Space - Workshop in conjunction with: The Second International Conference on Communities and Technologies (Milan, Italy, 17-18 June 2005). Proceedings, pp. 65 - 70. 2005.     
63Chesi F., Signore O., Pallotti M. E-government: challenges and opportunities. In: CMG Italy - XIX Convegno Annuale (Fienze, 7-9 giugno 2005). Atti, 2005.     
64Cignoni P., Ganovelli F., Gobbetti E., Marton F., Ponchio F., Scopigno R. Batched multi triangulation. In: IEEE Visualization (Minneapolis, MI, USA, Oct., 23-2 2005). Proceedings, pp. 207 - 214. IEEE Computer Society Press, 2005.  
65Colantonio S., Moroni D., Salvetti O. A methodological approach to the study of periodically deforming anatomical structures. In: Advanced Information and Telemedicine Technologies for Health (Minsk, Belarus, November 8-10, 2005). Proceedings, vol. 1 pp. 32 - 36. Sergey Ablameyko, Yevgenii Beloenko, Uladzimir Anishchanka (eds.). 2005.  
66Colantonio S., Di Bono M. G., Salvetti O. Disease evolution prognosis based on multi-source signals and image analysis. In: Advanced Information and Telemedicine Technologies for Health (Minsk, Belarus, November 8-10, 2005). Proceedings, vol. 1 pp. 66 - 69. Sergey Ablameyko, Yevgenii Beloenko, Uladzimir Anishchanka (eds.). 2005.  
67Colantonio S., Moroni D., Salvetti O. MRI left ventricle segmentation and reconstruction for the study of the heart dynamics. In: IEEE Symposium on Signal Processing and Information Technology - (Athens, Greece, December 18-21, 2005). Proceedings, pp. 213 - 218. IEEE, 2005.  
68Colantonio S., Di Bono M. G., Pieri G., Salvetti O., Benvenuti M. Object tracking in a stereo and infrared vision system. In: Advanced Infrared Technologies and Applications- AITA (Rome, Italy, September 7-9,). Proceedings, p. 113. 2005.  
69Colantonio S., Di Bono M. G., Pieri G., Salvetti O., Cavaccini G. System Health Monitoring using Multilevel Artificial Neural Networks. In: IEEE International Conference on Computational Intelligence for (Giardini Naxos - Taormina, SICILY, ITALY, 20-22 July 2005). Proceedings, vol. 1 pp. 50 - 55. IEEE (ed.). IEEE, 2005.  
70Coppola M., Pasquali M., Presti L., Vanneschi M. An experiment with high performance components for grid applications. In: HIPS-HPGC 2005 - Parallel and Distributed Processing Symposium, 2005. 19th IEEE International Joint Workshop on High-Perfor mance Grid Computing and High-Level Parallel Programming Models (Denver,US, 04-08/04 2005). Proceedings, pp. 1 - 8. IEEE, 2005.     
71Corin R., Di Caprio G., Etalle S., Gnesi S., Lenzini G., Moiso C. A Formal Security Analysis of an OSA/Parlay Authentication Interface. In: IFIP Conference on Formal Methods for Open Object-based Distributed (Athens, Greece, June 15-17, 2005). Proceedings, vol. LNCS 3535 pp. 131 - 146. M. Steffen and G. Zavattaro (Eds.) (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
72Correani F., Mori G., Paternò F. Supporting Flexible Development of Multi-Device Interfaces. In: EHCI-DSVIS'2004 (Hamburg, Germany, 11-13 July 2004). Proceedings, pp. 346 - 362. Rémi Bastide, Philippe, Palanque & Jorg Roth (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 3425). Springer Verlag, 2005.  
73Cresci G., Fortunati L. Telefonia mobile e GIS: potenzialità, aspettative e disponibilità di servizi. In: ASITA2005 - 9 Conferenza nazionale ASITA (CATANIA, 15-18 novembre 2005). Atti, vol. 1 pp. 811 - 816. ASITA, 2005.  
74De Nicola R., Latella D., Massink M. Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Annual ACM Symposium on Applied Computing (SAC'2005) (Santa Fe, New Mexico, USA, March 13 -17, 2005). Proceedings, pp. pages 428 - 435. H. Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M (eds.). Association for Computing Machinery, 2005.  
75Della Maggiore R., Nuvolone D., Fresco R., Perotto E. Costruzione di mappe di rischio da dati sanitari. In: Conferenza Nazionale ASITA (Catania, 15-18 Novembre 2005). Atti, vol. I pp. 897 - 902. ASITA (ed.). ASITA, 2005.     
76Della Maggiore R., Nuvolone D. La salute e la sicurezza nel settore ippico: risultati di uno studio svolto nel territorio pisano. - La mappatura con il sistema GIS applicata allo studio del settore. In: La salute e la sicurezza nel settore ippico: risultati di uno studio (Pisa, 12 Aprile 2005). Atti, pp. 38 - 48. Cinzia Di Pede. 2005.  
77Di Bono M. G., Pieri G., Salvetti O. Multimedia Target Tracking through Feature Detection and Database Retrieval. In: International Conference on Machine Learning - Workshop on Machine Learning Techniques for Processing Multimedia Content (Bonn - Germany, 11 August 2005). Proceedings, pp. 19 - 22. Luc De Raedt, Stefan Wrobel. ACM, 2005.  
78Di Cesare R., Ruggieri R., Giannini S., Biagioni S. Trend evaluation and comparison of the use and value of GL in core demography and computer science journals. In: Work on Grey in Progress. Sixth International Conference on Grey Literature (New York, 6-7 December 2004). Proceedings, vol. GL6 pp. 41 - 49. GL6, 2005.  
79Di Pede C., Vivaldi L., Nuvolone D., Borbotti M., Sabatini M., Di Pede F., Baldacci S., Della Maggiore R., Angino A., Viegi G. Respiratory symptoms and diseases in a group of grooms in Pisa. In: ERS Annual Congress (Copenhagen, September 17-21, 2005). Proceedings, vol. 26 supplement 49 p. 599. ERS, 2005.     
80Di Pietro R., Chessa S., Maestrini P. Computationally, memory and bandwidth efficient distillation codes to mitigate DoS in multicast. In: Securecomm (Atene, Grecia, 5-9 Settembre 2005). Proceedings, pp. 20 - 30. IEEE, 2005.  
81Esuli A., Sebastiani F. Determining the semantic orientation of terms through gloss classification. In: CIKM'05. Proceedings of the 14th ACM Conference on Information (Bremen, DE, October 31 - November 5, 2005). Proceedings, pp. 617 - 624. Abdur Chowdhury, Norbert Fuhr, Marc Ronthaler, Hans-Jörg Shek, & (eds.). ACM press, 2005.  
82Falai L., Bondavalli A. Experimental evaluation of the QoS of failure detectors on wide area network. In: International Conference on Dependable Systems and Networks -DSN 2005 (Yokohama, japan, 28 June - 1July 2005). Proceedings, pp. 624 - 633. IEEE Computer Society, 2005.  
83Falai L., Bondavalli A., Di Giandomenico F. NekoStat extension for Neko: quantitative evaluation of distributed algorithms. In: QEST 2005 (Torino, Italy, 19-22 September 2005). Proceedings, pp. 241 - 242. IEEE Computer Society, 2005.  
84Falai L., Bondavalli A., Di Giandomenico F. Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension. In: LADC 2005 (Salvador - Bahia, Brasil, 25-28 October 2005). Proceedings, vol. LNCS 3747 pp. 35 - 51. C.A. Maziero et al. (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
85Fantechi A., Gnesi S., Maggiore A. Enhancing test coverage by back-tracing model-checker counterexamples. In: TACoS, International Workshop onTest and Analysis of Component Based (Barcelona, Spain, March 27-28, 2004). Proceedings, vol. Electronic Notes in Computer Science Series 116 pp. Pages 199 - 211. M. Pezzé (ed.). Elsevier, 2005.  
86Furfari F., Perri A., Sommaruga L. DomoML-env: an ontology for Human Home Interaction. In: Semantic Web Applications and Perspectives 2005 (SWAP): CEUR Workshop (Trento, 14-16 December 2005). Atti, vol. 166 p. Articolo 19. P. Bouquet & G. Tummarello (eds.). CEUR-WS.org, 2005.        
87Gao J., Marchetti E., Polini A. Applying Advanced UML based testing methodology to e-Learning. In: IADIS International Conference Applied Computing 2005 (Algarve, Portugal, 22-25 February 2005). Proceedings, vol. Vol 2 pp. 74 - 79. Nuno Guimarães and Pedro Isaías. IADIS Press, 2005.  
88Gencaga D., Kuruoglu E. E., Ertuzun A. Bayesian separation of non-stationary mixtures of dependent gaussian sources. In: International Workshop on Bayesian Inference and Maximum Entropy (San José CA USA, August 7-12, 2005). Proceedings, vol. 803 pp. 257 - 265. 2005.     
89Gencaga D., Kuruoglu E. E., Ertuzun A. Estimation of time-varying autoregressive symmetric alpha-stable processes using particle filters. In: European Signal Processing Conference (Antalya, Turkey, 4-8 September 2005). Proceedings, Suvisoft, 2005.  
90Gencaga D., Kuruoglu E. E., Ertuzun A. Time-Varying autoregressive parameter estimation of cauchy processes by particle filters. In: IEEE Signal Processing and Communication Applications Conference (Kayseri, Turchia, 16-18 Maggio 2005). Atti, vol. 1 Erciyes University, 2005.  
91Gennai F., Martusciello L., Buzzi M. A certified email system for the public administration in Italy. In: IADIS International Conference WWW/Internet 2005 (Portogallo, Lisbona, 19-22 October 2005). (Lisbona, Potogallo, 19-22-10 2005). Proceedings, vol. 2 pp. 143 - 147. Pedro Isaías and Miguel Baptista Nunes. 2005.  
92Genovesi S., Salerno E., Monorchio A., Manara G. A Permittivity Range Profile Reconstruction Technique for Multilayered Structures by a Line Process-Augmented Genetic Algorithm. In: 2005 IEEE AP-S International Symposium (Washington DC, 3-8 July 2005). Proceedings, Amir I. Zaghloul (ed.). IEEE, 2005.  
93Giannotti F., Mazzoni A., Puntoni S., Renso C. Synthetic generation of cellular network positioning data. In: 13th Annual ACM International symposium on GIS (Bremen, germany, 4-5 novembre 2005). Proceedings, pp. 12 - 20. ACM, 2005.  
94Gnesi S., Mazzanti F. A model checking verification environment for UML statecharts. In: AICA 2005 (Udine, 5-7 Ottobre 2005). Atti, 2005.     
95Gnesi S., Lenzini G., Martinelli F. Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. In: International Workshop on Software Verification and Validation (SVV (Mumbai (India), December 14 2003). Proceedings, vol. 118 pp. 57 - 70. S. Etalle, S. Mukhopadhyay, A. Roychoudhury (eds.). ENTCS - Elsevier, 2005.     
96Gonzalo J., Peters C. The impact of evaluation on multilingual text retrieval. In: ACM SIGIR Conference on Research and Development in Information (Salvador, Bahia, Brazil, August 2005). Proceedings, pp. 603 - 604. Ricardo A. Baeza-Yates, Nivio Ziviani, Gary Marchionini, Alistair (eds.). ACM press, NY, USA, 2005.  
97Gotta A. Resource Partitioning and Call Admission Control in a Rain Faded Satellite Channel with Real-Time Connections. In: 2005 2nd International Symposium on Wireless Communication Systems (Siena, 5th-9th september 2005). Proceedings, vol. 1 pp. 865 - 869. IEEE (ed.). 2005.  
98Lami G. Learning metrics for natural language requirements in an under-graduate course. In: Methods for Learning Metrics International workshop (Como, Italy, 2005). Proceedings, p. 5. 2005.  
99Lami G., Ferguson R. W., Goldenson D., Fabbrini F., Fusani M., Gnesi S. QuARS: automated natural language analysis of requirements and specifications. In: INCOSE International Symposium (Rochester, NY, 10-15 July 2005). Proceedings, p. 10. INCOSE (ed.). 2005.  
100Lami G. Teaching requirements engineering in the small: an under-graduate course experience. In: Requirements Engineering Education and Training (Paris, France, 2005). Proceedings, p. 5. 2005.  
101Lollini P., Bondavalli A., Di Giandomenico F. Evaluation of the impact of congestion on service availability of GPRS infrastructures. In: ISAS 2005 (Berlin, Germany, 25-26 April 2005). Proceedings, vol. LNCS 3694 pp. 180 - 195. M. Malek, E. Nett and N. Suri (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
102Lollini P., Bondavalli A., Di Giandomenico F. QoS analysis of a UMTS cell with different service classes. In: 4th IASTED International Conference Communication Systems and Networks (Benidorm, Spain, 12-14 September 2005). Proceedings, pp. 55 - 60. 2005.  
103Lopez-Caniego M., Sanz J. L., Herranz D., Gonzalez-Nuevo J., Barreiro B., Kuruoglu E. E. Non-linear fusion of images and the detection of point sources. In: International Workshop on Nonlinear Signal and Image Processing (Sapporo, Japan, May 18-20, 2005). Proceedings, vol. 1 IEEE, 2005.     
104Maio S., Baldacci S., Della Maggiore R., Nuvolone D., Martini F., Borbotti M., Angino A., Viegi G. Applicazione della tecnologia GIS ai dati epidemiologici di un campione di popolazione generale residente a Pisa. In: Convegno Annuale dell'Associazione Italiana di Epidemiologia (Pisa, 7-9 Settembre 2005). Atti, pp. 497 - 498. Associazione Italiana di Epidemiologia, 2005.     
105Maio S., Nuvolone D., Della Maggiore R., Fresco R., Baldacci S., Martini F., Borbotti M., Angino A., Viegi G. GIS for epidemiological studies. In: AGILE 2005 Conference on Geographic Information Science (Estoril, Portugal, May 26-28, 2005). Proceedings, pp. 623 - 628. ISEGI-UNL (ed.). Instituto Superior de Estatistica e Gestao de Informaçao -, 2005.     
106Maio S., Nuvolone D., Della Maggiore R., Fresco R., Baldacci S., Martini F., Borbotti M., Angino A., Viegi G. Use of GIS Technology for epidemiological studies. In: GISPLANET 2005 International Conference & Exhibition on Geographic (Estoril, Portugal, May 30-June 2, 2005). Proceedings, GISPLANET 2005 (ed.). GISPLANET 2005, 2005.     
107Miori V., Tarrini L., Manca M., Tolomei G. An innovative, open-standards solution for Konnex interoperability with other domotic middlewares. In: Konnex scientific conference 2005 (Pisa, September 15-16, 2005). Proceedings, p. 5. Konnex Association (ed.). Konnex Association, 2005.     
108Monorchio A., Genovesi S., Serra U., Brizzi A., Manara G. A Technique to Optimize Nonuniformly Spaced Arrays with Low Sidelobe Level by Using a Genetic Algorithm. In: 2005 IEEE AP-S International Symposium (Washington DC, 3-8 July 2005). Proceedings, Amir I. Zaghloul (ed.). IEEE, 2005.  
109Mori G., Paternò F. Automatic semantic platform-dependent redesign. In: sOc-EUSAI'2005 (Grenoble, (FRANCE), October 12th - 14th 2005). Proceedings, pp. 177 - 182. Gerard Bailly, James L. Crowley and Gilles Privat (eds.). 2005.     
110Musso I., Cardillo A., Ibba R. Genetic algorithm: trajectory optimization for stratospheric balloons. In: 17th ESA Rockets and Balloons Research Symposium (Sandefjord, Norway, 29 May - 4 June 2005). Proceedings, pp. 457 - 460. ESA Publications Division (ed.). SP-590, 2005.  
111Nanni M., Raffaetá A., Renso C., Turini F. Deductive and inductive reasoning on spatio-temporal data. In: International Conference on Applications of Prolog (INAP 2004) (Berlin, Germany, 4-6 March 2004). Proceedings, pp. 98 - 115. Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.). (Lecture Notes in Computer Science, vol. 3392). Springer-Verlag GmbH, 2005.     
112Nanni M. Speeding-up hierarchical agglomerative clustering in presence of expensive metrics. In: Pacific-Asia Conference on Knowledge Discovery and Data Mining (Hanoi, Vietnam, May 2005). Proceedings, vol. 3518 pp. 378 - 387. Tu Bao Ho, David Cheung, Huan Liu (eds.). (Lecture Notes in Computer Science). Springer-Verlag GmbH, 2005.     
113Nottelmann H., Straccia U. A probabilistic approach to schema matching. In: Proceedings of the 27th European Conference on Information Retrieval (Santiago de Compostela, Spain, March 2005). Proceedings, vol. Lecture Notes in Computer Science 3408 pp. 81 - 95. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
114Nottelmann H., Straccia U. Information retrieval and machine learning for probabilistic schema matching. In: ACM 14th Conference on Information and Knowledge Management (CIKM-05) (Bremen, Germany, November 2005). Proceedings, pp. 295 - 296. ACM, 2005.  
115Nuvolone D., Fresco R., Maio S., Baldacci S., Angino A., Martini F., Borbotti M., Viegi G., Della Maggiore R. Application of geostatistical method for public health risk mapping. In: AGILE 2005 Conference on Geographic Information Science (Estoril, Portugal, 26-28 May 2005). Proceedings, pp. 539 - 548. ISEGI-UNL (ed.). Instituto Superior de Estatistica e Gestao de Informaçao -, 2005.     
116Nuvolone D., Maio S., Fresco R., Baldacci S., Angino A., Martini F., Borbotti M., Viegi G., Della Maggiore R. Mapping Public Health Risks from Epidemiological Data. In: GISPLANET 2005 International Conference & Exhibition on Geographic (Estoril, Portugal, May 30 - June 2, 2005). Proceedings, GISPLANET (ed.). GISPLANET, 2005.     
117Nuvolone D., Della Maggiore R., Maio S., Baldacci S., Angino A., Martini F., Borbotti M., Carrozzi L., Viegi G. Valutazione con approccio GIS degli effetti del traffico sulla salute respiratoria. In: Convegno Annuale dell'Associazione Italiana di Epidemiologia (Pisa, 7-9 Settembre 2005). Atti, vol. unico pp. 15 - 16. Associazione Italiana di Epidemiologia (ed.). Associazione Italiana di Epidemiologia, 2005.     
118Pardini C., Hanada T., Krisko P. H., Anselmo L., Hirayama H. Are de-orbiting missions possible using electrodynamic tethers? Task review from the space debris perspective. In: International Astronautical Congress (Fukuoka, Japan, 17-21 October 2005). Proceedings, Proceedings published on CD-ROM. 2005.  
119Pardini C., Anselmo L., Hanada T., Hirayama H. Assessing the vulnerability to debris impacts of electrodynamic tethers during typical de-orbiting missions. In: Fourth European Conference on Space Debris (ESA/ESOC, Darmstadt , Germany, 18-20 April 2005). Proceedings, vol. ESA SP-587 pp. 353 - 360. D. Danesy (ed.). European Space Agency (ESA) Publications Division, 2005.  
120Paterno F., Piruzza A., Santoro C. Remote usability analysis of multimodal information regarding user behaviour. In: International COST294 Workshop on User Interface Quality Models (Roma, 12-13 September 2005). Proceedings, pp. 15 - 22. Jean Vanderdonckt, Effie Lai-Chong Law, Ebba Thora Hvannberg (eds.). COST Action Mause, 2005.  
121Paternò F., Santoro C., Touzet D. Adapting interface representations for mobile support in interactive safety critical contexts. In: Complexity in Design and Engineering (Glasgow (UK), 1-12 March 2005). Proceedings, 2005.  
122Pelliccione P., Muccini H., Bucchiarone A., Facchini F. TeStor: deriving test sequences from model-based specifications. In: Component-Based Software Engineering - CBSE 2005 (St. Louis, MO, USA, May 14-1 2005). Proceedings, vol. 3489 pp. 267 - 282. George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, et al. (eds.). (Lecture Notes in Computer Science). LNCS, 2005.     
123Peretti I., Baldacci S., Della Maggiore R., Martini F., Nuvolone D., Stortini A. M., Viegi G. Effetti dell'aerosol marino sulla salute umana: indagine epidemiologica su un campione georefernziato della popolazione adulta di Livorno. In: Convegno Annuale dell'Associazione Italiana di Epidemiologia (Pisa, 7-9 Settembre 2005). Atti, pp. 99 - 100. Associazione Italiana di Epidemiologia (ed.). Associazione Italiana di Epidemiologia, 2005.     
124Peretti I., Baldacci S., Della Maggiore R., Martini F., Nuvolone D., Maio S., Stortini A. M., Viegi G. Health effects of exposure to marine aerosol: epidemiological survey on a population sample living in Livorno. In: Blue 2005 Human Behaviour and Limits in Underwater Environment (Pisa, December, 1-4, 2005). Proceedings, vol. unico pp. 131 - 132. 2005.     
125Peterzen S., Romeo G., Masi S., Musso I., Cardillo A. Pegaso: long duration balloons from north pole. In: XVIII Congresso Nazionale AIDAA (Volterra, Italy, 19-22 September 2005). Atti, 2005.  
126Petrzen S., Ibba R., Boen K., Dragoy P., Masi S., Cardillo A., Musso I., Spoto D. Ultralight to heavy long duration balloon development from svalbard, Norway. In: 17th ESA Symposium on European Rocket and Balloon Programmes and (Sandefjord, Norway, 29 May - 4 June 2005). Proceedings, vol. SP-590 pp. 403 - 406. ESA Publications Division (ed.). ESA, 2005.  
127Pietroni N., Giachetti A., Ganovelli F. Robust segmentation of anatomical structures with deformable surfaces and marching cubes. In: Workshop On Virtual Reality Interaction and Physical Simulation (Pisa, Nov. 7th 2005). Proceedings, pp. 1 - 7. F. Ganovelli and C. Mendoza (eds.). The Eurographics Association, 2005.  
128Potortì F. Free software and research. In: International Conference on Open Source Systems (Genova (IT), 11-15 July 2005). Proceedings, pp. 270 - 271. Marco Scotto, Giancarlo Succi (eds.). ECIG Edizioni Culturali Internazionali Genova, 2005.     
129Puppin D., Moncelli S., Baraglia R., Tonellotto N., Silvestri F. A grid information service based on peer-to-peer. In: Euro-Par (Lisboa, Portugal, 30 August - 2 September 2005). Proceedings, pp. 454 - 464. J.C. Cunha D. Medeiros. (Lecture Notes in Computer Science, vol. 3648). Springer-Verlag, 2005.     
130Puppin D., Silvestri F., Laforenza D. Component metadata management and publication for the grid. In: International Conference on Information Technology (ITCC 2005) (Las Vegas, NV, USA, 4-6 April, 2005). Proceedings, vol. II pp. 187 - 192. IEEE (ed.). IEEE, 2005.     
131Puppin D., Tonellotto N., Laforenza D. How to run scientific applications over Web services. In: International Conference on Parallel Processing. ICPP 2005 Workshops (University of Oslo, Norway, June 14-17, 2005). Proceedings, pp. 29 - 33. IEEE, 2005.  
132Romanelli A., Protti M., Raciti M., Leone V., Maio S., Marchini L., Della Maggiore R., Fresco R., Bertelloni G., Bonfanti M., Vigotti M. A. Esperienza di record linkage tra i dati dell'archivio anagrafico del Comune di Pisa ed i dati di mortalità e di ricovero dell'ASL 5 pisana. In: Convegno Annuale di Epidemiologia (Pisa, 7-9 Settembre 2005). Atti, vol. unico pp. 345 - 346. AIE, 2005.     
133Rossi A., Anselmo L., Pardini C., Valsecchi G. B., Jehn R. Analysis of the space debris environment with SDM 3.0. In: Space Debris and Space Traffic Management Symposium 2004 (Vancouver, Canada, October 4-8, 2004). Proceedings, vol. Volume 110, Science and Technology series, A Supplement to Advances in pp. 25 - 36. J. Bendisch (ed.). Univelt Incorporated, San Diego, California, USA, 2005.     
134Rossi A. Population models of space debris. In: IAU Colloquium (Belgrade, Serbia and Montenegro, August 31 - September 4, 2004). Proceedings, vol. 2004 pp. 427 - 437. Z. Knezevic and A. Milani (eds.). Cambridge University Press, 2005.  
135Scopigno R., Cignoni P. Processing huge scanned datasets: issues and solutions. In: International Workshop on Recording, Modeling and Visualization of (Centro Stefano Franscini, Monte Verità, Ascona, Switzerland, May, 22 - 27). Proceedings, pp. 1 - 10. 2005.  
136Signore O. A comprehensive model for Web sites quality. In: WSE2005 - Seventh IEEE International Symposium on Web Site Evolution (Budapest, Hungary, September 26, 2005). Proceedings, pp. 30 - 36. Damiano Distante (ed.). IEEE, 2005.     
137Signore O. Ontology driven access to museum information. In: CIDOC 2005 Annual Conference of the International Committee for (Zagreb, Croatia, May 24 - 27, 2005). Proceedings, CIDOC (ed.). 2005.     
138Signore O. Representing knowledge in the semantic Web. In: Open Culture: accessing and sharing knowledge - scholarly production and education in the digital age (Milano, Italy, 27-29 June 2005). Proceedings, 2005.     
139Signore O. Semantic Web: il futuro è già qui?. In: Knowledge Management Forum (Siena, 24-25 Novembre 2005). Atti, 2005.     
140Signore O. Towards a quality model for Web sites. In: First CMG Poland Conference (Warsaw - Poland, 9-10 May 2005). Proceedings, 2005.     
141Silvestri C., Orlando S. Distributed approximate mining of frequent patterns. In: Symposium on Applied Computing (Santa Fe, New Mexico, USA, 13 -17 Marzo 2005). Proceedings, pp. 529 - 536. ACM, 2005.     
142Spognardi A., Lucarelli A., Di Pietro R. A methodology for P2P file-sharing traffic detection. In: International Workshop on Hot Topics in Peer-to-Peer Systems, 2005. (San Diego, CA, USA, 21 July 2005). Proceedings, pp. 52 - 61. IEEE (ed.). IEEE, 2005.  
143Straccia U. Description Logics with Fuzzy Concrete Domains. In: 21st Conference on Uncertainty in Artificial Intelligence (UAI-05) (Edinburgh, Scotland, UK, July 26-29, 2005). Proceedings, pp. 559-567. Fahiem Bacchus and Tommi Jaakkola (eds.). AUAI Press, 2005. (Edinburgh, Scotland, UK, 26-29 July 2005). Proceedings, pp. 559 - 567. Fahiem Bacchus and Tommi Jaakkola (eds.). AUAI Press, 2005.  
144Straccia U. Fuzzy ALC with fuzzy concrete domains. In: 2005 International Workshop on Description Logics - DL2005 (Edinburgh, Scotland, UK, 26-28 July 2005). Proceedings, pp. 96 - 103. Ian Horrocks, Ulrike Sattler and Frank Wolter (eds.). CEUR, 2005.  
145Straccia U. Query Answering in Normal Logic Programs under Uncertainty. In: 8th European Conferences on Symbolic and Quantitative Approaches to (Barcellona, Spain, July 2005). Proceedings, vol. 3571 pp. 687 - 700. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
146Straccia U. Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report). In: 2nd European Semantic Web Conference (ESWC-05) (Heraklion, Greece, 29 May - 1 June 2005). Proceedings, vol. LNCS 3532 pp. 167 - 181. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
147Straccia U. Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering. In: 9th International Conference on Knowledge-Based & Intelligent (Melbourne, 14-16 Sept 2005). Proceedings, vol. 3682 pp. 753 - 760. Rajiv Khosla and Robert J. Howlett and Lakhmi C. Jain (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
148Straccia U., Troncy R. oMAP: an Implemented Framework for Aligning Automatically OWL Ontologies. In: Workshop on Integrating Ontologies: International Conference on Knowledge Capture (K-CAP-05) (Banff, Canada, 2-5 October 2005). Proceedings, vol. 156 pp. 92 - 96. Benjamin Ashpole and Marc Ehrig and Jérôme Euzenat and Heiner (eds.). CEUR, 2005.  
149Straccia U., Troncy R. oMAP: combining classifiers for aligning automatically OWL ontologies. In: 6th International Conference on Web Information Systems Engineering (New York, Nove 2005). Proceedings, vol. Lecture Notes in Computer Science 3806 pp. 133 - 147. (Lecture Notes in Computer Science). Springer Verlag, 2005.  
150Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. A Case Study on the Automated Verification of Groupware Protocols. In: International Conference on Software Engineering (St. Louis, MO, U.S.A, 15-21 May 2005). Proceedings, pp. 596 - 603. ACM Press, New York, NY, U.S.A, 2005.     
151Ter Beek M. H., Kleijn J. Infinite Unfair Shuffles and Associativity. In: International Conference on Words (WORDS'05) (Montreal (QC), Canada, 13 - 17 September 2005). Proceedings, vol. Publications du Laboratoire de Combinatoire et d'Informatique pp. 129 - 146. Srecko Brlek and Cristophe Reutenauer (eds.). Universite du Quebec a Montreal, 2005.  
152Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security - A Survey. In: International Workshop on Security Issues in Coordination Models, (London, UK, 30 August 2004). Proceedings, vol. 128, 5 pp. 105 - 119. R. Focardi and G. Zavattaro (eds.). Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005.     
153Tonazzini A., Gerace I. Bayesian MRF-based blind source separation of convolutive mixtures of images. In: EUSIPCO 2005 (Antalya, Turkey, 4-8 September 2005). Proceedings, vol. Proceedings on CD-Rom 2005.  
154Valsecchi G. B., Rossi A., Milani A., Chesley S. R. The size of collision solutions in orbital elements space. In: IAU Colloquium (Belgrade, Serbia & Montenegro, 31/8 -- 5/9, 2004). Proceedings, pp. 249 - 254. Knezevic Z. and Milani A (eds.). Cambridge University Press, 2005.  
155Vlasova V. M., Gurevich I. B., Murashov D., Salvetti O. Technology for automated analysis of cytological specimen images. In: 8th All-Russian Conference with Participation of CIS on Methods and Means of Processing Complex Graphic Information (Nizhni Novgorod, 12-16 Settembre 2005). Proceedings, pp. 42 - 48. N.I.Lobachevsky State University of Nizhny Novgorod, 2005.  

Editorials

   2005
1Anselmo L. Editorial activity - Space Debris. vol. 35 (7) pp. 1195 - 1354. Special issue: Thematic Issue on Space Debris of Advances in Space Research (PEDAS1/COSPAR). Elsevier, 2005.     
2Bolognesi T., Derrick J. Introductory paper - Special section on St.Eve workshop. In: Software and Systems Modeling. Editorial, vol. 4 (3) pp. 234 - 235. St.Eve Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering (http://fme03.isti.cnr.it/SteveHomePage.html). Springer, 2005.  
3Geppert B., John I., Lami G. Editorial activity - Second international software product lines young researchers workshop. In: SPLYR 2005. Editorial, vol. SPLYR 2005 p. -. Proceedings of Second International Software Product LinesYoung Researchers Workshop (SPLYR). (Rennes, France September 26th, 2005). In conjunction with the 9th International Software Product Line Conference (SPLC-Europe). Proceedings. Birgit Geppert, Isabel John Fraunhofer, Giuseppe Lami (eds.). SPLYR, 2005.     
4Griffin S., Peters C., Thanos C. Guest editor introduction. Towards the new-generation digital libraries: recommendations of the NSF/EU-DELOS working groups. In: International Journal on Digital libraries. Editorial, vol. 5 (4) pp. 253 - 254. Special section on NSF/EU-DELOS working groups. Springer, 2005. Stephen Griffin, Carol Peters, Costantino Thanos (eds.). Springer, 2005.  
5Kuruoglu E. E., Baccigalupi C. Editorial activity - Applications of signal processing in astrophysics and cosmology. vol. 15 pp. 2397 - 2399. Hindawi Publishing Corporation, 2005.     
6Margaria T., Massink M. Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. In: International Workshop on Formal Methods for Industrial Critical Systems, 2005. Editorial, pp. iii - iii. Tiziana Margaria and Mieke Massink (eds.). ACM, 2005.  
7Orlando S., Laforenza D. Editorial activity - EUROPVM/MPI. In: International Journal of High Performance Computing Applications. Editorial, vol. 19 pp. 47 - 47. Selected papers from the EUROPVM/MPI 2003 Conference. SAGE, 2005.     
8Rossi A. Book Review of Physics of the Solar System. In: Celestial Mechanics & Dynamical Astronomy. Editorial, vol. 91 (3-4) pp. 403 - 404. Springer, 2005.  

Technical reports

   2005
1Aaberg I. A., Andrade P., Baldacci M. B., Castelli D., Fankhauser P., Manieri A., Faggian Marque R., Niederee C., Nucci F. S. DILIGENT - Market and technology trends analysis - M6. DIgital Library Infrastructure on Grid ENabled Technology. Deliverable D4.3.1, 2005.  
2Afsharian S., Bertolino A., De Angelis G., Iovanna P., Mirandola R. A model based approach to design applications for network processor. Published: Springer LNCS 3475 pp 93-101 Link The document has been submitted to Conference: RISE 2004 - Luxembourg, November 26, 2004, Technical report, 2005.
3Albacar J., Bocci D., Bori R., Chatzis S., Cirillo G., Furfari F., Halkos D., Jähnert J., Kyriazis D., Laria G., Litke A., Martrat J., Mediavilla I. A., Mueller I., Negro G., Rovezzi A., Serrano M., Skoutas D., Terracina A., Toro Escudero M. A., Verdino F. AKOGRIMO - Architecture of the GRID Infrastructure Services Layer. Access to knowledge through the grid in a mobile world. Deliverable D4.3.1, 2005.  
4Amato G., Baronti P., Chessa S. Connection-Oriented Communication Protocol in Wireless Sensor Networks. The document has been submitted to Conference: MOBICOM 2005, Technical report, 2005.  
5Amato G., Baronti P., Chessa S. MaD-WiSe: Programming and Accessing Data in a Wireless Sensor Networks. The document has been submitted to Conference: EUROCON 2005, Technical report, 2005.  
6Amato G., Baronti P., Chessa S., Masi V. The Stream System: a Data Collection and Communication Abstraction for Sensor Networks. The document will be submitted to Conference: Information Processing in Sensor Networks, Technical report, 2005.  
7Annese A., Barsocchi P., Celandroni N., Ferro E. Performance evaluation of UDP multimedia traffic flows in Satellite - WLAN integrated paths. The document has been submitted to Conference: 11th Ka and Broadband Communications Conference, Technical report, 2005.  
8Annese A., Celandroni N., Davoli F., Ferro E., Gotta A. TCP performance measured over heterogeneous wireless networks with high delay-bandwidth product. Technical report, 2005.  
9Anselmo L. ESA/ESOC - Long-Term Simulation of Objects in High-Earth Orbits. Project report /, 2005.  
10Atzori M., Bonchi F., Giannotti F., Pedreschi D. k-Anonymous Patterns. The document will be submitted to Conference:, Technical report, 2005.  
11Avancini H., Candela L., Fabriani P., Pagano P., Simi M. DILIGENT - DL Creation management services specification interim report - M8. DIgital Library Infrastructure on Grid ENabled Technology -. Deliverable D1.2.1, 2005.  
12Avancini H., Candela L., Fabriani P., Pagano P., Roccetti P., Simi M. DILIGENT - DL Creation management services specification report - M11. DIgital Library Infrastructure on Grid ENabled Technology. Deliverable D1.2.2, 2005.  
13Avancini H., Candela L., Pagano P., Simi M. DILIGENT - Test-bed functional specification - M6. DIgital Library Infrastructure on Grid ENabled Technology. Deliverable D1.1.1, 2005.  
14Balko S., Meta B., Pagano P., Nucci F. S., Pernice U. DILIGENT - Preliminary demonstration plan - M11. DIgital Library Infrastructure on Grid ENabled Technology. Deliverable D4.4.1, 2005.  
15Barsocchi P., Celandroni N., Ferro E., Gotta A., Davoli F., Giambene G., Castaño F. J. G., Moreno J. I., Todorova P. Radio Resource Management Across Multiple Protocol Layers in Satellite Networks: a Tutorial Overview. The document has been submitted to Journal: International Journal of Satellite Communication and Networks, Technical report, 2005.  
16Bartolini C., Lipari G., Di Natale M. A methodology for mapping functional blocks into earliest deadline scheduled threads. The document has been submitted to Journal: ACM Transactions on Embedded Computing Systems, Technical report, 2005.  
17Bartolini C., Lipari G., Di Natale M. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. Proceedings Published by IEEE Computer Society Link The document has been submitted to Conference: RTAS 2005, S. Francisco, 2005, 7-10 March, Technical report, 2005.
18Basanieri F., Bertolino A., Marchetti E. Introducing a UML Profile for Application Profiling in the e-Learning Domain. The document has been submitted to Journal: AACE International Journal on E-Learning (http://www.aace.org/pubs/ijel/default.htm), Technical report, 2005.  
19Berioli M., Giambene G., Alocci I., Ferro E., Barsocchi P., Fontan F. P., Mohorcic M., Novak R., Karapantazis S. Design Alternatives for a Reliable Multicast Service in a Hybrid HAP-Satellite Network Architecture. The document will be submitted to Journal:, Technical report, 2005.  
20Bernardeschi K., Padovani C., Pagni A., Pasquinelli G. Analisi statica e consolidamento di volte in muratura. Relazione sull'attività svolta dal laboratorio di Meccanica dei Materiali e delle Strutture dell'ISTI-CNR nell'ambito del progetto'Analisi statica e consolidamento di volte in muratura' finanziato dalla Fondazione Cassa di Risparmio di Lucca, 2004-2005. 2005.  
21Bernardeschi K., Padovani C., Pasquinelli G. Studio del comportamento strutturale della cupola della chiesa di Santa maria Maddalena a Morano Calabro (CS): modellazione di interventi di consolidamento. Relazione sull'attività svolta dal laboratorio di Meccanica dei Materiali e delle Strutture dell'ISTI-CNR nell'ambito del contratto con la Soprintendenza della Calabria. Novembre 2005. Document n. /cnr.isti/2005-B5-11, 2005.  
22Bertolino A., De Angelis G., Bartolini C., Lipari G. A UML profile and a methodology for real-time systems design. Technical report, 2005.  
23Bertolino A., Herrmann H., Marchetti E., Polini A. Addressing testing objectives for e-learning. Published in: WITPress, Transactions on Information and Communication Technologies, Vol 34 Link The document has been submitted to Conference: Methods and Technologies for E-Learning, ICMTL 2005, Technical report, 2005.
24Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An Architecture-centric Approach for producing Quality Systems. Technical report, 2005.
25Bertolino A., Frantzen L., Polini A., Tretmans J. Audition of Web Services for Testing Conformance to Open Specified Protocols. The document has been submitted to other: Springer LNCS, Technical report, 2005.  
26Bertolino A., Gao J., Marchetti E., Polini A. Partition Testing from XML Schema. The document has been submitted to Journal: IEEE Software, SWSI-0201-1005, Technical report, 2005.  
27Bertolino A., Polini A. The Audition Framework for Testing Web Services Interoperability. The document has been submitted to Conference: 31st Euromicro, Porto 30/08 - 03/09/2005, Technical report, 2005.  
28Bertolino A., De Angelis G., Mirandola R. UML-based Design of Network Processor Applications. Technical report, 2005.  
29Bonuccelli M., Lonetti F., Martelli F. A fast skipping policy for H.263 video transcoder. The document has been submitted to Conference: 12th International Workshop on Systems, Signals &Image Processing (IWSSIP '05), Technical report, 2005.  
30Bonuccelli M., Lonetti F., Martelli F. Randomized Hashing for Tag Identification in RFID Networks. The document has been submitted to Conference: IEEE Infocom 2006, Technical report, 2005.  
31Bonuccelli M., Lonetti F., Martelli F. Temporal Transcoding for Mobile Video Communication. The document has been submitted to Conference: Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2005), Technical report, 2005.  
32Bozzi E., Chimenti M., Genovesi S., Salerno E., Zucchelli A. Equipment and procedures for microwave nondestructive evaluation of lapideous materials. The document has been submitted to Conference: 13th Conference on Microwave Techniques, Prague, Czech Republic, 26-28 September 2005, Technical report, 2005.  
33Bozzi E., Chimenti M. Misura della costante dielettrica di campioni solidi mediante sensore elettromagnetico. Internal note, 2005.  
34Bozzi E., Chimenti M., Fantini E., Gagliardi G., Orsolini M., Ribolini A., Zucchelli A. Progetto di un sistema per misure non invasive a microonde. Internal note, 2005.  
35Bozzi E., Chimenti M. Sistema per misure con camera anteriore artificiale. Internal note, 2005.  
36Bozzi E., Chimenti M., Zucchelli A. Un metodo per la caratterizzazione di materiali dielettrici, mediante misure in campo vicino con antenne a patch. Internal note, 2005.  
37Bozzi R., Chimenti M. Il programma 'Visualizzatore Risultati'. Internal note, 2005.  
38Bucchiarone A., Gnesi S., Pierini P. Quality Analysis of NL Requirements: An Industrial Case Study. The document has been submitted to Conference: 13th IEEE International Requirements Engineering Conference, Technical report, 2005.  
39Bucchiarone A., Pelliccione P., Polini A., Tivoli M. Towards an architectural approach for the dynamic and automatic composition of software components. The document has been submitted to : 5th International Symposium on Software Composition, Technical report, 2005.  
40Caiafa C. F. Independent component analysis strategies for extracting information from remote-sensed images. Final Report - Joint ASI-CONAE Fellowship (2005), Internal note, 2005.  
41Caso S., Fortunati L., Massei G. Produzione di documenti SVG Tiny da GeoMedia WebMap. Internal note, 2005.  
42Castelli D., Manieri A., Stein A., Niederee C., Schek H., Schuldt H. DILIGENT - Preliminary training plan (includes training support environment) - M9. DIgital Library Infrastructure on Grid ENabled Technology -. Deliverable D4.1.2, 2005.  
43Celandroni N., Davoli F., Ferro E., Gotta A. An Overview of Some Techniques for Cross-Layer Bandwidth Management in Multi-Service Satellite IP Networks. The document has been submitted to Conference: Globecom 2005, Technical report, 2005.  
44Celandroni N., Davoli F., Ferro E., Gotta A. Networking with Multi-Service GEO Satellites: Cross-Layer Approaches for Bandwidth Allocation. Technical report, 2005.  
45Colantonio S. Categorization of digital images for applications in clinic and industrial diagnostics. Protocollo d'intesa tra CNR e FINMECCANICA S.p.A. Project report 1, 2005.  
46Corsini M., Drelie Gelasca E., Touradj E., Barni M. Watermarked 3D Mesh Quality Assessment. The document has been submitted to Journal: IEEE Transactions on Multimedia, Technical report, 2005.  
47De Nicola R., Katoen J., Latella D., Massink M. Towards a logic for performance and mobility. Full Version. The document has been submitted to Conference: 3rd Workshop on Quantitative Aspects of Programming Languages - QAPL'05, Technical report, 2005.  
48Degl'Innocenti S., Padovani C., Pasquinelli G. Numerical methods for the dynamic analysis of masonry structures. The document has been submitted to Journal: Structural Engineering and Mechanics, Technical report, 2005.  
49Deluca R., Giannini S. Ipotesi di ri-classificazione dei libri ISTI. Internal note, 2005.  
50Deluca R., Giannini S. Le guide di LIBERO. Il modulo Serials (V.3.2Sp7). Internal note, 2005.  
51Deluca R., Giannini S. Libero V.5.0. Internal note, 2005.  
52Deluca R., Giannini S. Riorganizzazione dei cataloghi dell'Area della Ricerca CNR di Pisa. Internal note, 2005.  
53Di Bono M. G., Salvetti O. MUSCLE - Guidelines on standards for representation and exchange of data, meta-data and semantics. Project report /, 2005.  
54Di Giandomenico F., Ciompi P., Clarkson A., Velentzas S., Kyriazakos S. A., Kechagias C., Nousiainen S., Vlahodimitropoulos K., Mura I., Moreno O., Franco I., Pirinen J., Talvitie I., Tselikas N., Casadevall F. CAUTION++ - Final exploitation plans. Capacity and network management platform for increased utilization of wireless telecommunication systems of next generation ++. Deliverable D-6.2, 2005.  
55Di Giandomenico F., Lollini P., Chiaradonna S., Moreno O., Papaoulakis N., Elefsiniotis G., Hourdakis M., Trakos A., Kaldanis V., Gkroustiotis E., Kyriazakos S. A., Nikitopoulos D., Nousiainen S., Kordybach K., Hautio J., Kemppi P., Mura I., Galliano E., Syrenius J. M., Casadevall F., Adelantado F., Umbert A., Limani D. CAUTION++ - Trial results and analysis. Capacity and network management platform for increased utilization of wireless telecommunication systems of next generation ++. Deliverable D-5.2, 2005.  
56Diciotti R. GE.L.SO. Procedura Web per il controllo e la gestione delle licenze software. Internal note, 2005.  
57Esuli A., Sebastiani F. Determining Term Subjectivity and Term Orientation for Opinion Mining. The document has been submitted to Conference: SAC-06, the ACM Symposium on Applied Computing 2006, Technical report, 2005.  
58Esuli A., Sebastiani F. Determining the Semantic Orientation of Terms through Gloss Classification. Technical report, 2005.
59Faggian Marque R., Andrade P., Castelli D., Pagano P., Avancini H., Mehta B., Niederee C., Stein A. DILIGENT - EGEE Interaction report - M8. DIgital Library Infrastructure on Grid ENabled Technology. Deliverable D3.1.1, 2005.  
60Gao J., Marchetti E., Polini A. Applying Advanced UML based testing methodology to e-Learning. The document has been submitted to Conference: WBC 2005, Algarve Portugal, 23-25 February 2005, Technical report, 2005.  
61Gennai F. Note sullo sviluppo del sistema ISTI di Posta Elettronica Certificata (ISTI - PEC). Il pdf è temporaneo, Internal note, 2005.  
62Gennaro C. Regia: a Metadata Editor for Audiovisual Documents. The document has been submitted to Journal: Multimedia Tools and Applications (Kluwer Academic Publishers), Technical report, 2005.  
63Genovesi S., Salerno E., Monorchio A., Manara G. A Permittivity Range Profile Reconstruction Technique for Multilayered Structures by a Line Process-Augmented Genetic Algorithm. The document has been submitted to Conference: 2005 IEEE AP-S INTERNATIONAL SYMPOSIUM AND USNC/URSI NATIONAL RADIO SCIENCE MEETING, Washington DC, (USA), 3-8 July 2005, Technical report, 2005.  
64Genovesi S., Salerno E. GALIS: A Genetic Algorithm for Inverse Scattering. Internal note, 2005.  
65Gnesi S., Mazzanti F. Formal Verification of the MUD case study. The document will be submitted to Conference: ACM/IEEE 8th International Conference on Model Driven Engineering, Technical report, 2005.  
66Incarnato C., Martinelli M., Pianese V., Cavaccini G., Salvetti O. INDeT - Design of Smart Assistance. Integration of non destructive testing. Deliverable D2-17, 2005.  
67Incarnato C., Martinelli M., Santos F., Daffos O., De Bonnefoy N., Rolet S. INDeT - Evaluation of the Mobile NDT System. Integration of non destructive testing. Deliverable D2-16, 2005.  
68Incarnato C., Martinelli M., Salvetti O., Cavaccini G. INDeT - Final Report on Smart Assistance. Integration of non destructive testing. Deliverable D2-18, 2005.  
69Ioannidis Y., Kakaletris G., Delis A., Castelli D., Bosio C., Michel J., Manieri A. DILIGENT - Dissemination plan - M6. DIgital Library Infrastructure on Grid ENabled Technology. Deliverable D4.2.2, 2005.  
70Ioannidis Y., Kakaletris G., Delis A., Tsakalozos K., Castelli D., Bosio C., Michel J., Manieri A., Guidetti V., Crestani F. DILIGENT - Liaison and dissemination activities report - M12. DIgital Library Infrastructure on Grid ENabled Technology FP6-2003-IST-2/IP - 004260. Deliverable D4.2.3, 2005.  
71Lami G. QuARS - a tool for analysing requirements. Document n. /cnr.isti/2005-B5-14, 2005.     
72Locuratolo E. Meta-Modeling to design the Structured Database Schema. The document has been submitted to other: Volume Chapters Information Systems Analysis and Design: Foundations, Methods, and Practices To be published in Advances in Management Information Systems (AMIS) MonographSeries, Technical report, 2005.  
73Lollini P., Bondavalli A., Di Giandomenico F. QoS evaluation in a UMTS cell. The document has been submitted to Conference: The 4th IASTED International Conference on Communication Systems & Networks, Technical report, 2005.  
74Loyer Y., Straccia U. Approximate Well-founded Semantics, Query Answering and Generalized Normal Logic Programs over Lattices. The document has been submitted to Journal: Annals of Mathematics and Artificial Intelligence, Technical report, 2005.  
75Marchetti E. Automatic XML Schema Generation UML Application. The document has been submitted to Journal: Elektrotechnik & Informationstechnik (e&i) by Springer Wien/New York, Technical report, 2005.  
76Martusciello L., Gennai F. Installazione e configurazione di un server Lightweight Directory Access Protocol. Internal note, 2005.  
77Massink M., Latella D., Gnesi S. Testing UML Statecharts. The document has been submitted to Journal: Journal of Logic and Algebraic Programming (Elsevier), Technical report, 2005.  
78Miori V., Tarrini L., Bianchi Bandinelli R. LIGHT Project - Deliverable D2.2: Requirements analysis for footprint and power constrained devices. Project report /, 2005.  
79Miori V., Tarrini L. LIGHT Project - Deliverable D21: Requirements analysis of the WSED architecture from the SOA’s perspective. Project report /, 2005.  
80Monorchio A., Genovesi S., Serra U., Brizzi A., Manara G. A Technique to Optimize Nonuniformly Spaced Arrays with LowSidelobe Level by Using a Genetic Algorithm. The document has been submitted to Conference: 2005 IEEE AP-S INTERNATIONAL SYMPOSIUM AND USNC/URSI NATIONAL RADIO SCIENCE MEETING, Washington DC, (USA), 3-8 July 2005, Technical report, 2005.  
81Moroni D., Salvetti O. Image Registration: models and methods. Internal note, 2005.  
82Nanni M. Hierarchical agglomerative clustering in presence of expensive metrics (Extended Tech. Rep.). The document has been submitted to Conference: PAKDD 2005, Technical report, 2005.  
83Nanni M., Silvestri F., Giannotti F., Pedreschi D. The Web Object Store: an infrastructure for mining semantics from web resources and their usage. The document will be submitted to Conference:, Technical report, 2005.  
84Ong F., Liang X., Chan P., Koltsidas G., Pavlidou F., Celandroni N., Ferro E., Gotta A., Cruickshank H., Iyengar S., Fairhurst G., Mancuso V. Fusion of Digital Television, Broadband Internet and Mobile Communications: Enabling Technologies. Technical report, 2005.  
85Ong F., Liang X., Chan P., Koltsidas G., Pavlidou F., Celandroni N., Ferro E., Gotta A., Cruickshank H., Iyengar S., Fairhurst G., Mancuso V. Fusion of Digital Television, Broadband Internet and Mobile Communications: Future Service Scenarios. Technical report, 2005.  
86Palamidese P., Coltelli P. A dedicated interface to plan scenes with virtual characters. Internal note, 2005.  
87Palamidese P., Coltelli P. Character player e virtual Baptistry of Pisa: guida alla programmazione e alla installazione. Internal note, 2005.  
88Paternò F., Santoro C., Ole Bernsen N., Correa Hernandez P., Dybkjær H., Dybkjær L., Gómez Aguilera E. J., Hansen T., Kiilerich S., Lamata De La Orden P., Macq B., Kruchov Madsen T., Nedel L. P., Nikolakis G., Piruzza A., Rodríguez S., Trevisan D., Tzovaras D., Vanderdonckt J. SIMILAR - An exploration of selected challenges in usability evaluation of multimodal and natural interactive systems. The European research taskforce creating human-machine interfaces SIMILAR to human-human communication. Deliverable D69, 2005.     
89Paternò F., Santoro C., Gómez Aguilera E. J., Ole Bernsen N., Dybkjær L., Correa Hernandez P., Macq B., Nikolakis G., Lamata De La Orden P., Trevisan D., Tzovaras D., Vanderdonckt J. SIMILAR - Current practice description and evaluation: Towards a framework for usability evaluation. The European research taskforce creating human-machine interfaces SIMILAR to human-human communication. Deliverable D18, 2005.     
90Polini A. Interoperability testing of Web Services for e-Learning. The document has been submitted to Journal: Educational Technology and Society Journal (SPRINGER), Technical report, 2005.  
91Potortì F. Free software and research. Published: International Conference on Open Source Systems (Genova , Italia, July 11-15 , 2005), pp. 270-271. Link The document has been submitted to Conference: Open Software Systems, Technical report, 2005.
92Rehman M. J., Jabeen F., Bertolino A., Polini A. Software Component Integration Testing: A Survey. The document has been submitted to Journal: WILEY: Software Testing, Verification and Reliability, Technical report, 2005.  
93Renda M. E., Straccia U. On the Effectiveness of Automatic Schema Matching Over Heterogeneous Digital Libraries. The document has been submitted to Conference: 16th International Conference on Database and Expert Systems Applications - DEXA 2005, Technical report, 2005.  
94Romano G. A. ExtGAS: manuale di installazione e d'uso. Il software è scaricabile alla seguente URL: http://leonardo.isti.cnr.it/metaopac/MetaopacDirectorySaver/solaris9/ExtGas.tgz, Internal note, 2005.     
95Romano G. A. ExtGAS: un sistema multipiattaforma per l'accesso ai cataloghi di sistemi biblioteconomici eterogenei. Internal note, 2005.     
96Romano G. A. Il MetaOpacPisano: organizzazione, controllo e recovery del sistema per l'anno 2005. Internal note, 2005.     
97Romano G. A. Mixer/ExtGAS presentazione del sistema. Internal note, 2005.     
98Salerno E. Using a nonlinear Landweber algorithm to reconstruct 1D permittivity range profiles from coherent microwave backscattering data. Internal note, 2005.  
99Salvetti O., Pieri G. MUSCLE - Analysis of open problems and interoperability limits of existing standards and tools. Project report /, 2005.  
100Scopigno R. ViHAP3D - Final report. Virtual Heritage: High-Quality 3D Acquisition and Presentation. Deliverable D1.6, 2005.  
101Straccia U. Annotated Answer Set Programming. The document other:, Technical report, 2005.  
102Straccia U. Answering Vague Queries in Fuzzy DL-Lite^-. The document other:, Technical report, 2005.  
103Straccia U. Fuzzy Description Logic Programs. The document other:, Technical report, 2005.  
104Straccia U. Fuzzy Description Logics with Concrete Domains. The document has been submitted to Conference: Nineteenth International Joint Conference on Artificial Intelligence, Technical report, 2005.  
105Tarrini L., Miori V. An XML Web Services mobile interaction solution for X-10 Powerline Networking. The document will be submitted to Conference:, Technical report, 2005.  
106Ter Beek M. H., Gadducci F., Janssens D. A calculus for team automata. Document n. /cnr.isti/2005-B5-09, 2005.  
107Ter Beek M. H., Kleijn J. Infinite Unfair Shuffles and Associativity. 2005.     
108Ter Beek M. H., Massink M., Latella D. Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION. The document has been submitted to Conference: 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK, Technical report, 2005.  

Software

   2005
1Cignoni P., Ranzuglia G. MeshLab. [Software] Release 1.0 , 29 December 2005.  
2Furfari F., Lenzi S., Demuru M. DomoWare. [Software] Release 1.0 , 28 January 2005.  
3Potortì F. Wi-Fi utilities. [Software] Release 1.0 , 1 January 2005.  

Dissertations

   2005
1Di Pisello M. Studio del protocollo per reti wireless IEEE 802.15.4. Università di Pisa. Thesis, 2005.  
2Dinarelli M. Realizzazione e sperimentazione di una rete di sensori MOTES. Università di Pisa. Thesis, 2005.  
3Finotti E. La propagazione del segnale nel mezzo fisico. Università di Pisa. Thesis, 2005.  
4Girardi M. Metodi perturbativi per lo studio delle vibrazioni flessionali di travi costituite da materiale non resistente a trazione. Università di Firenze / ISTI - CNR. Ph.D. Dissertation, 2005.  
5Oligeri G. Misure di perdita e ritardo di pacchetti in una rete wi-fi al fine di ottenere un modello del canale a livello di pacchetto. Università di Pisa. Thesis, 2005.  
6Verrecchia G. Analisi dell'avvio del TCP su canali satellitari a larga banda. Università di Pisa. Thesis, 2005.  

Abstracts

   2005
1Aldinucci M., Benoit A. Automatic mapping of ASSIST applications using process algebra. In: HLPP2005. International Workshop on High-Level Parallel Programming (Warwick University, Coventry, UK, July 2005).      
2Aliberti M. Framework for smart surveillance in Konnex environments. In: Konnex Scientific Conference 2005 (Pisa, CNR-ISTI, 15-16 settembre 2005).      
3Amato G., Gennaro C., Rabitti F., Savino P. Functionalities of a content management system specialized for digital library applications. In: International Workshop of the EU Network of Excellence DELOS on Audio-Visual Content and Information Visualization in Digital Libraries (Avivdilib'05) (Cortona (Italy), May 2005).   
4Atzori M., Mancarella P., Turini F. Computing frequent k-itemsets directly in sparse datasets. In: Workshop on Knowledge Discovery in Inductive Databases (Porto, Portugal, October 3, 2005).      
5Balzani M., Callieri M., Caputo G., Cignoni P., Dellepiane M., Pingi P., Ponchio F., Scopigno R., Tomasi A., Uccelli F. Using multiple scanning technologies for the 3D acquisition of Torcello's basilica. In: International Workshop 3D-ARCH'2005 - 3D Virtual Reconstruction and Visualization of Complex Architectures (Mestre-Venice, Italy, August 22-24 2005).   
6Banci M., Fantechi A., Gnesi S. Some experiences on formal specification of railway interlocking systems using statecharts. In: TRain Workshop at SEFM 2005 (Software Engineering and Formal Methods) (Koblenz - Germany, September 5-9, 2005).   
7Baracchini C., Brogi A., Callieri M., Capitani L., Cignoni P., Fasano A., Montani C., Nenci C., Novello R., Pingi P., Ponchio F., Scopigno R. Interactive visualization of artwork's 3D digital reconstruction. In: MIDECH 05 - Multimedia.Information@DEsign for Cultural Heritage (Milano, April, 5 2005).   
8Biagioni S. Assisting scientists to make their research results world wide freely available: an experience begun in the 90s. In: Open access to Grey Resources. Seventh International Conference on Grey Literature (INIST-CNRS, Nancy, France, 5-6 December 2005).   
9Biagioni S., Busatto E., Carlesi C., Filippi M., Ortolan M., Zane A. LV and MeCME Digital Library: two open doors to the aquatic sciences documentation. In: EURASLIC 11: Open Waters - Open Sources, 11th Biennal Conf. of the Europen Association of the Aquatic Science Libraries and Information Centres (Split, Croatia, May 4-6, 2005).   
10Biagioni S. PUMA-PUblication MAnagement: sistemi per la gestione delle pubblicazioni degli enti di ricerca. In: Ciclo di seminari su: L'avanzamento tecnologico della Biblioteca Digitale e dei MetaOpac (Lecce, SIBA Coordinamento Servizi Informatici Bibliotecari di Ateneo, 11-13/10/2005 2005).   
11Bondavalli A., Di Giandomenico F. Issues in on-line performability modeling and evaluation through the model-based approach. In: PMCCS 7: The International Workshop on Performability Modeling of Computer and Communication Systems (Torino, Italy, 23-24 September 2005).   
12Borgo R., Dellepiane M., Cignoni P., Papaleo L., Spagnuolo M. Extracting meta-information from 3-dimensional shapes with protégé. In: 8th International Prot'eg'e Conference Proceedings (Madrid, July 18- 21 2005).      
13Caiafa C. F. Separation of statistical dependent sources using a measure of non-Gaussianity. In: Seminar at the 'Signal & Images Laboratory of ISTI (Pisa, Istituto di Scienza e Tecnologie dell'Informazione, November 2005).   
14Callieri M., Cignoni P., Fasano A., Montani C., Pingi P., Ponchio F., Scopigno R. Enhancing processing and visualization efficiency of 3D scanned meshes. In: International Symposium on the CREST Digital Archiving Project (Tokyo, Japan, March, 8-9 2005).   
15Candela L., Castelli D., Pagano P., Simi M. From heterogeneous information spaces to virtual documents. In: 8th International Conference on Asian Digital Libraries: Implementing Strategies and Sharing Experiences. ICADL 2005 (Bankok, Thailand, 12-15 December 2005).      
16Castelli D. DILIGENT (objectives and status). In: 3rd EGEE Conference (Athens, 18th April 2005).   
17Castelli D. DILIGENT - a DIgital Library Infrastructure on Grid ENabled Technology. In: Local to Global Interoperability (Sardinia, It, June 20-24 2005).   
18Castelli D. DILIGENT a testbed digital library infrastructure for supporting the activity of the researchers. In: RI & IST New Calls - Info Event (Bruxelles, 26-27 May 2005 2005).   
19Castelli D. DILIGENT: a DIgital Library Infrastructure on Grid Enabled Technology. In: Digital Library Deployment Workshop (Brussels, June 23-24 2005).   
20Castelli D., Pagano P. Managing OA multimedia multitype digital documents in the OpenDLib digital library management system. In: Open Access to Grey Literature. Seventh International Conference on Grey Literature. (INIS-CNRS, Nancy, France, 5-6 December 2005).   
21Castelli D. Virtual digital libraries: the DILIGENT project. In: GARR-05 Conference (Pisa, 10-18th May 2005).   
22Coppola M., Danelutto M., Lacour S., Perez C., Priol T., Tonellotto N., Zoccolo C. Towards a common deployment model for Grid systems. In: 1st CoreGrid Integration Workshop (Pisa, Italy, 28-30 November 2005).   
23Cordoni G., Leporini B., Norscia I., Palagi E. Learning ecology and ethology in the Museum of Natural History and Territory of Calci (University of Pisa): a multisensorial and "egalitarian" approach for special users. In: WEEC - 3rd World Environmental Education Congress (Torino, Italy, 2-6 october 2005).   
24D'Auria M., Nanni M., Pedreschi D. Time-focused density-based clustering of trajectories of moving objects. In: Workshop on Mining Spatio-Temporal Data (Porto, Portugal, October 2005).      
25De Nicola R., Katoen J., Latella D., Massink M. Towards a logic for performance and mobility. In: Workshop on Quantitative Aspects of Programming Languages. QAPL 2005 (Edimburgh, 2-10 April 2005).   
26Falchi F., Gennaro C., Zezula P. A content-addressable network for similarity search in metric spaces. In: International Workshop on Databases, Information Systems and Peer-to-Peer Computing (Trondheim, Norway, August 2005).   
27Franken T., Cignoni P., Dellepiane M., Ganovelli F., Montani C., Scopigno R. Assisting the user in image to geometry alignment. In: Workshop Italy-Canada 2005 - 3D Digital Imaging and Modeling: Applications of Heritage, Industry, Medicine and Land (Padua, Italy, May, 17-18 2005).   
28Fulchignoni M., Vernazza P., Birlan M., Dotto E., Rossi A., Fornasier S., Marzari F., Nesvorny D. Spectroscopic characterization of the Karin family. In: IAU Symposium 229 - Asteroids, Comets Meteors (Buzios, Brasil, August 7 - 12, 2005).      
29Fulchignoni M., Vernazza P., Birlan M., Dotto E., Rossi A., Fornasier S., Marzari F., Nesvorny D. Spectroscopic characterization of the Karin family. In: 37th American Astronomical Society. DPS Meeting (Cambridge, Great Britain, 4 - 9 September 2005).   
30Gnesi S., Mazzanti F. A model checking framework for (Mobile) UML statecharts. In: Foundations of Global Computing (Schloss Dagstuhl, Wadern, Germany, 20/25/02 2005).   
31Gonczy L., Pataricza A., Di Giandomenico F., Chiaradonna S., Bondavalli A. Dependability modeling of web service flows. In: European Dependable Computing Conference EDCC-5 - Fast Abstracts Track (Budapest, April 2005).   
32Martinelli M., Salvetti O. Multimedia ontologies. In: European Workshop on the Integration of Knowledge Semantic and Digital Media Technologies - Multimedia Ontology Meeting (IEE Savoy Place, London, 29 November -1 December 1, 2005).   
33Orlando S., Lucchese C., Perego R. Distributed mining of frequent closed itemsets: some preliminary results. In: International Workshop on High Performance and Distributed Mining (HPDM '05) (Newport Beach, California, USA., April 23, 2005).   
34Pardini C. Benefits and risks of using electrodynamic tethers to de-orbit spacecraft - results of the AI 19.1 study plan. In: Meeting of the Inter-Agency Space Debris Coordination Committee (ESA/ESOC, Darmstadt, Germany, 21-22 April 2005).   
35Scheeres D. J., Benner L., Ostro S. J., Rossi A., Marzari F., Washabaugh P. Abrupt alteration of asteroid 2004 MN4's spin state during its 2029 earth flyby. In: American Astronomical Society, Division of Dynamical Astronomy Meeting (Santa Barbara, U.S.A., 10-14 April, 2005).      
36Signore O. Le linee guida per l' accessibilita' e il ruolo dell' Ufficio Italiano W3C. In: Entrata Libera. Giornata di discussione, confronto, presentazione di progetti per l'accessibilità dei siti web (Firenze, 31 maggio 2005).      
37Signore O. Perché Tim Bernes-Lee ha vinto il Millennium Technology Prize 2004 per la tecnologia e le scienze appplicate?. In: Perché Nobel? - Ciclo di incontri per conoscere i Nobel 2004 (Pisa, 12 aprile 2005).      
38Signore O. Verso il Web of trust. In: Etica di Internet - Incontri italo-francesi 2005 - Euristica e semantica del Web: quali basi teoriche per un web di fiducia? (Roma, 17 giugno 2005).      
39Signore O. Web per chiunque, dovunque e con qualunque dispositivo. In: e-Academy 2005 - Esposizione Internazionale di ICT & Consumer Electronics (Fiera Milano City, 19-23 ottobre 2005).      
40Straccia U. Fuzzy description logics and the semantic Web. In: International Conference "The Logic of Soft Computing IV" (Ostrava, Czech Republic, 5-7 October 2005).   
41Straccia U., Troncy R. oMAP: an implemented framework for automatically aligning OWL ontologies. In: Proceedings of the 2nd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP 2005) (Trento, December 2005).   
42Ter Haar F., Cignoni P., Min P., Veltkamp R. A comparison of systems and tools for 3D scanning. In: 3D Digital Imaging and Modeling: Applications of Heritage, Industry, Medicine and Land, Workshop Italy-Canada (Padova (IT), 17-18 May 2005).   
43Tonellotto N., Wieder P., Yahyapour R. A proposal for a generic grid scheduling architecture. In: CoreGrid Integration Workshop (Pisa, 28-30 November 2005).   
44Turini G., Giachetti A., Ganovelli F. Robust segmentation of anatomical structures with deformable surfaces and marching cubes. In: Computer Assisted Radiology and Surgery. CARS 2005 (Berlino, 22-25/05 2005).   
45Valsecchi G. B., Milani A., Rossi A., Tommei G. 2004 MN4 keyholes. In: IAU Symposium (Buzios, Rio De Janeiro, Brasil, 7 - 12 August, 2005).   
comments to webmaster