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

   2003
1Achim A., Tsakalides P., Bezerianos A. SAR image denoising via Bayesian wavelet shrinkage based on heavy-tailed modeling. In: Ieee Transactions on Geoscience and Remote Sensing, vol. 41 (8) pp. 1773 - 1784. IEEE, 2003.     
2Aguilar J. S., Benvenuti S., Dall'Antonia L., McMinn-Grivè M. M., Mayol-Serra J. M. Preliminary results on the foraging ecology of Balearic shearwaters (Puffinus mauretanicus) from bird-borne data loggers. In: Scientia Marina, vol. 67 (supplemento 2) pp. 129 - 134. Institut de Ciències del Mar (CSIC), 2003.  
3Aldinucci M., Danelutto M., Teti P. An advanced environment supporting structured parallel programming in Java. In: Future Generation Computer Systems, vol. 19 (5) pp. p. 611 - 626. Elsevier Science, 2003.     
4Aldinucci M. eskimo: Experimenting with Skeletons in the Shared Address Model. In: Parallel Processing Letters, vol. Vol. 13 (N. 3) pp. 449 - 460. World Scientific, 2003.     
5Amato G., Rabitti F., Savino P., Zezula P. Region Proximity in Metric Spaces and its use for Approximate Similarity Search. In: Acm Transactions on Information Systems, vol. 21 (2) pp. 192 - 227. ACM, 2003.  
6Ammannati P., Giordani R., Chimenti M. Reversal of visual impairment in patients with retinis pigmentosa after administration of glutathione peroxidase enzyme. In: Atti della Fondazione Giorgio Ronchi, vol. Anno LVIII (2) pp. 187 - 195. Atti della Fondazione Giorgio Ronchi, 2003.  
7Arrighi R., Bonuccelli M., Lonetti F., Martelli F. Integrating GSM networks and Internet: new unstructured services. In: Ercim News, vol. 54 pp. 27 - 28. Special theme: Applications and service platforms for the mobile user. Ercim, 2003.     
8Ballatore P., Gonzalez W. On the estimates of the ring current injection and decay. In: Earth Planets and Space, vol. 55 (7) pp. 427 - 435. The Society of Geomagnetism and Earth, Planetary and Space Sciences, 2003.     
9Ballatore P. Pc5 micropulsation power at conjugate high-latitude locations. In: Journal of Geophysical Research-Space Physics, vol. 108 (A4) p. 1146. American Geophysical Union, 2003.     
10Ballatore P. Reply to Comment on "Effects of fast and slow solar wind on the correlations between interplanetary medium and geomagnetic activity" by C. B. Wang and J. K. Chao. In: Journal of Geophysical Research-Space Physics, vol. 108 (A10) pp. 1387 - 1395. American Geophysical Union, 2003.     
11Barcaro U., Di Bona S., Fontanelli R., La Manna S., Orlandi G., Salvetti O., Sartucci F. Real-time Detection and Clinical Categorisation of Ultrasound High Intensity Transient Signals. In: WSEAS Transactions on Systems, vol. 2 (4) pp. 921 - 926. WSEAS, 2003.  
12Basanieri F., Bertolino A., Marchetti E., Mirandola R. UML-based Performance Analysis Techniques Applied to Software Multiprojects Management. In: International Journal of Computer & Information Sciences, vol. 4 (1) pp. 1 - 13. The International Association for Computer & Information Science, 2003.     
13Beltrame R. Complessità e dipendenza dal contesto. In: Methodologia Online, vol. WP 159 article n. 2. Società di Cultura Metodologica-Operativa, 2003.     
14Beltrame R. Il mondo fisico nella Scuola Operativa Italiana. In: Methodologia Online, vol. WP 159 article n. 1. Società di Cultura Metodologica-Operativa, 2003.     
15Bernardeschi K., Padovani C., Pasquinelli G. Studio del comportamento statico del muro della navata destra della chiesa di S. Pietro in Vinculis a Pisa. In: Bollettino Ingegneri, vol. 8/9 pp. 9 - 17. 2003.  
16Bertolino A., Marchetti E., Polini A. Integration of components to test software components. In: Electronic Notes in Theoretical Computer, vol. 82 (6) pp. 44 - 54. Elsevier, 2003.     
17Bertossi A. A., Pinotti M. C., Tan R. B. Channel assignment with separation for interference avoidance in wireless networks. In: Ieee Transactions on Parallel and Distributed Systems, vol. 14 (3) pp. 222 - 235. IEEE, 2003.     
18Binzel R. P., A'Hearn M., Asphaug E., Barucci A., Belton M., Benz W., Cellino A., Festou M., Fulchignoni M., Harris A. W., Rossi A., Zuber M. Interiors of Small Bodies: Foundations and Perspectives. In: Planetary and Space Science, vol. 51 pp. 443 - 454. Elsevier, 2003.  
19Bottai M. Confidence regions when the Fisher information is zero. In: Biometrika, vol. 90 (1) pp. 73 - 84. Biometrika Trust, 2003.        
20Bottai M., Pistelli F., Viegi G. Effetto delle variazioni del peso corporeo sulla funzione respiratoria. In: Ricerca & Futuro, CNR, 2003.  
21Cappelli A., Catarsi M. N., Michelassi P., Moretti L. Conceptual and linguistic constraints for the construction of a knowledge base in archaeology. In: Applied Artificial Intelligence, vol. 17 (8-9) pp. 835 - 858. Taylor & Francis, 2003.  
22Carrara P., Fresta G., Rampini A. BANCO: an SGV-based approach to create Web sites for the management of remote sensing, spatial and non-spatial data. In: International Journal of Remote Sensing, vol. 24 (20) pp. 3903 - 3916. Taylor & Francis, 2003.  
23Carrara P., Fresta G., Poggioli D. Extension of electronic documents to enable server-independent architectures. In: Ercim News, vol. 54 pp. 54 - 55. Ercim, 2003.  
24Carrara P., Fresta G., Rampini A. Time-based retrieval of soft maps for environmental change detection. In: Information Processing & Management, vol. 39 pp. 323 - 327. Elsevier, 2003.  
25Caruso A., Chessa S., Maestrini P., Santi P. Fault Diagnosis of Grid Structures. In: Theoretical Computer Science, vol. 290 (2) pp. 1149 - 1174. Elsevier, 2003.  
26Castelli D. Open Archive Solutions to Traditional Archive/Library Cooperation. In: Liber Quartely. The Journal of European Research Libraries, vol. 13 (374) pp. 290 - 298. K.G. Saur Verlarg GmbH, 2003.  
27Celandroni N., Potortì F. Maximizing single connection TCP goodput by trading bandwidth for BER. In: International Journal of Communication Systems, vol. 16 (1) pp. 63 - 79. Wiley, 2003.     
28Celandroni N., Davoli F., Ferro E. Static and dynamic resource allocation in a multiservice satellite network with fading. In: International Journal of Satellite Communications and Networking, vol. 21 pp. 469 - 487. Wiley & Sons, 2003.  
29Ceri S., Gennaro C., Paraboschi S., Serazzi G. Effective Scheduling of Detached Rules in Active Databases. In: Ieee Transactions on Knowledge and Data Engineering, vol. 15 (1) pp. 2 - 13. IEEE Computer Society, 2003.  
30Chimenti M., De Rossi D., Di Francesco F., Domenici C., Pieri G., Pioggia G., Salvetti O. A neural approach for improving the measurement capability of an electronic nose. In: Measurement Science & Technology, vol. 14 pp. 815 - 821. IOP, 2003.  
31Ciapparelli A., Dell'Osso L., Bandettini A., Carmassi C., Cecconi D., Fenzi M., Chiavacci M. C., Bottai M., Ramacciotti C. E., Cassano G. B. Clozapine in treatment-resistant patients with schizophrenia, schizoaffective, and psychotic bipolar disorder: a naturalistic 48-month follow-up study. In: Journal of Clinical Psychiatry, vol. 64 pp. 451 - 458. Physicians Postgraduate Press, 2003.  
32Cignoni P., Ganovelli F., Gobbetti E., Marton F., Ponchio F., Scopigno R. BDAM: Batched Dynamic Adaptive Meshes for High Performance Terrain. In: Computer Graphics Forum, vol. 22 (3) pp. 505 - 514. EUROGRAPHICS 2003 / P. Brunet and D. Fellner (Guest Editors). Wiley, 2003.        
33Cignoni P., Montani C., Rocchini C., Scopigno R. External Memory Management and Simplification of Huge Meshes. In: Ieee Transactions on Visualization and Computer Graphics, vol. 9 (4) pp. 525 - 537. IEEE, 2003.  
34Di Bona S., Salvetti O. A multilevel neural approach to dynamic scene analysis. In: Pattern Recognition Image and Analysis, vol. 13 (1) pp. 86 - 89. Maik Nauka/Interperiodica Publishing, 2003.  
35Di Bona S., Lutzemberger L., Salvetti O. A simulation model for analyzing brain structures deformations. In: Physics in Medicine and Biology, vol. 48 (24) pp. 4001 - 4022. IOP, 2003.  
36Di Bona S., Salvetti O. Automatic monitoring of states evolution in dinamic scene supervision. In: Pattern Recognition Image and Analysis, vol. 13 (3) pp. 495 - 504. Maik Nauka/Interperiodica Publishing, 2003.  
37Di Bona S., Niemann H., Pieri G., Salvetti O. Brain volumes characterization using hierarchical neural networks. In: Artificial Intelligence in Medicine, vol. 28 (3) pp. 307 - 322. Elsevier, 2003.  
38Dohnal V., Gennaro C., Savino P., Zezula P. D-Index: Distance Searching Index for Metric Data Sets, Multimedia Tools and Applications. In: Multimedia Tools and Applications, vol. 21 (1) pp. 9 - 33. Kluwer Academic Publishers, 2003.  
39Fantechi A., Gnesi S., Lami G., Maccari A. Application of Linguistic Techniques for Use Case Analysis. In: Requirements Engineering Journal, vol. 8 (3) pp. 161 - 170. Springer-Verlag, 2003.  
40Fantini E., Ganovelli F., Pingi P. A machine vision system controlling the cutting of animal hide. In: Ercim News, vol. 55 pp. 32 - 33. Ercim, 2003.  
41Ferrari G., Gnesi S., Montanari U., Pistore M. A model-checking verification environment for mobile processes. In: Acm Transactions on Software Engineering and Methodology, vol. Volume 12 (Issue 4 (October 2003)) pp. 440 - 473. ACM, 2003.  
42Ganovelli F., Ponchio F., Rocchini C. Fast tetrahedron-tetrahedron overlap algorithm. In: ACM Journal of Graphics Tools, vol. 7 (2) ACM, 2003.  
43Gey F. C., Kando N., Peters C. Cross language information retrieval: a research roadmap. In: Sigir Forum, vol. 37 (1) pp. 76 - 84. Report of the results of a SIGIR 2002 Workshop. ACM, 2003.  
44Giorgetti D., Sebastiani F. Automatic survey coding by multiclass text categorization techniques. In: Journal of the American Society for Information Science and Technology, vol. 54 (14) pp. 1269 - 1277. Wiley, 2003.  
45Gnesi S. Formal specification and verification of complex systems. In: Electronic Notes in Theoretical Computer Science, vol. 80 pp. 1 - 5. Thomas Arts, Wan Fokkink (eds.). Elsevier, 2003.     
46Gnesi S. Model checking of embedded systems. In: Ercim News, vol. 52 pp. 37 - 38. Ercim EEIG, 2003.     
47Kuruoglu E. E., Zerubia J. Skewed alpha-stable distributions for modelling textures. In: Pattern Recognition Letters, vol. 24 (1-3) pp. 339 - 348. Elsevier, 2003.     
48Kuruoglu E. E., Bedini L., Paratore M. T., Salerno E., Tonazzini A. Source Separation in Astrophysical Maps Using Independent Factor Analysis. In: Neural Networks, vol. 16 pp. 479 - 491. Elsevier, 2003.     
49Marrè M., Bertolino A. Using Spanning Sets for Coverage Testing. In: Ieee Transactions on Software Engineering, vol. 29 (11) pp. 974 - 984. IEEE, 2003.     
50Nardiello P., Sebastiani F., Sperduti A. Discretizing continuous attributes in AdaBoost for text categorization. In: Ercim News, vol. 52 pp. 57 - 57. Ercim, 2003.  
51Paganelli L., Paternò F. A Tool for Creating Design Models from Web Site Code. In: International Journal of Software Engineering and Knowledge Engineering, vol. 13 (2) pp. 169 - 189. World Scientific Publishing, 2003.  
52Paganelli L., Paternò F. Remote Usability Evaluation of Web Applications through Browser Logs and Task Models. In: Behavior Research Methods Instruments & Computers, vol. 35 (3) pp. 369 - 378. The Psychonomic Society Publications, 2003.  
53Paganelli L., Paternò F. Tools for remote usability evaluation of Web applications through browser logs and task models. In: Behavior Research Methods Instruments & Computers, vol. Volume 35 (Number 3) pp. 369 - 378. Psychonomic Society Publications, 2003.     
54Pardini C., Anselmo L. Performance Evaluation of Atmospheric Density Models for Satellite Reentry Predictions with High Solar Activity Levels. In: Transactions of the Japan Society for Aeronautical and Space Sciences, vol. 46 (151) pp. 42 - 46. JSASS, 2003.  
55Paterno F., Santoro C. Designing usable multi-platform interactive applications. In: Ercim News, vol. 54 p. -. Ercim, 2003.  
56Paternò F., Santoro C. A Unified Method for Designing Interactive Systems Adaptable to Mobile and Stationary Platforms. In: Interacting With Computers, vol. 15 (3) pp. 349 - 366. Elsevier, 2003.  
57Paternò F., Santoro C. Support for Reasoning about Interactive Systems through HCI Designers' Representations. In: Computer Journal, vol. 46 (4) pp. 340 - 357. Oxford University Press, 2003.  
58Paternò F. Understanding interaction with mobile devices. In: Interacting With Computers, vol. 15 (4) pp. 473 - 478. Elsevier, 2003.  
59Peters C., Picchi E. Bilingual Lexicons, Parallel and Comparable Corpora: Creating the Basis for Cross Language Information Retrieval. In: Linguistica Computazionale, vol. XVIII-IX pp. 573 - 596. Istituti Editoriali e Poligrafici Internazionali, Pisa - Roma, 2003.  
60Pieri G., Salvetti O. Scene understanding using hierarchical neural networks. In: Ercim News, vol. 52 pp. 52 - 52. Ercim, 2003.  
61Porcarelli S., Di Giandomenico F., Bondavalli A., Barbera M., Mura I. Service level availability estimation of GPRS. In: IEEE Transactions on Mobile Computing, vol. 2 (3) pp. 233 - 247. IEEE, 2003.  
62Salerno E. Quando l'astrofisica chiede aiuto all'informatica. L'analisi dei dati astrofisici ha bisogno della ricerca informatica più avanzata. In: Ricerca & Futuro, vol. 21 pp. 21 - 22. CNR, 2003.  
63Scopigno R., Cignoni P., Ganovelli F., Montani C., Pingi P. Il modello digitale 3D del David e il suo uso nel progetto di restauro. In: Kermes - La Rivista del Restauro, vol. XVI (49) pp. 45 - 49. Nardini editore, 2003.  
64Sebastiani F. Report on the 25th European Conference on Information Retrieval Research (ECIR-03). In: Sigir Forum, vol. 37 (2) pp. 29 - 32. ACM, 2003.     
65Signore O. La grammatica del Web -B-learning: Trimestrale di didattica multimediale. In: Primavera 2003, vol. 2 pp. 4 - 10. Università commerciale Luigi Bocconi, 2003.  
66Signore O. W3C technologies as a key for interoperability. In: Journal of Computer Resource Management, vol. 110 pp. 19 - 40. Computer Measurement Group, Inc, 2003.     
67Tarabella L. Una stella nel Battistero di Pisa. In: Ricerca & Futuro, vol. 28 pp. 29 - 32. CNR, 2003.  
68Tonazzini A., Vezzosi S., Bedini L. Analysis and recognition of highly degraded printed characters. In: International Journal on Document Analysis and Recognition, vol. 6 pp. 236 - 247. Springer-Verlag, 2003.     
69Tonazzini A., Bedini L. Monte Carlo Markov Chain Techniques for Unsupervised MRF-Based Image Denoising. In: Pattern Recognition Letters, vol. 24 (1-3) pp. 55 - 64. Elsevier, 2003.     
70Valsecchi G. B., Farinella P., Rossi A. Collision risk: a new method for assessing and visualizing it. In: Acta Astronautica, vol. 53 (3) pp. 203 - 217. Elsevier, 2003.  

Contribution to Book/Monograph

   2003
1Bondavalli A., Majzik I., Pataricza A. Stochastic dependability analysis of system architecture based on UML designs. In: Architecting Dependable Systems. pp. 219 - 244. R. de Lemos, C. Gacek and A. Romanovsky (eds.). (Lecture Notes in Computer Science, vol. 2677). Germany: Springer-Verlag, 2003.  
2Braschler M., Peters C. CLEF 2002 Methodology and Metrics. In: Advances in Cross-Language Information Retrieval, Third Workshop of. pp. 512 - 525. Peters, Carol and Braschler, Martin and Gonzalo, Julio and Kluck (eds.). (Lecture Notes in Computer Science, vol. 2785). Berlin Heidelberg New York: Springer, 2003.  
3Coppola M., Schmollinger M. Hierarchical models and software tools for parallel programming. In: Algorithms for Memory Hierarchies, Advanced Lectures. pp. 320 - 354. Ulrich Meyer, Peter Sanders, Jop Sibeyn (eds.). (Lecture Notes in Computer Science, vol. 2625). Berlin / Heidelberg: Springer, 2003.        
4Coppola M., Vanneschi M. Parallel and distributed data mining through parallel skeletons and distributed objects. In: Data Mining, Opportunities and Challenges. pp. 80 - 105. John Wang (ed.). Hershey, PA, USA: IDEA Group Publishing, 2003.  
5Gennaro C., Rabitti F., Savino P. The Use of XML in a Video Digital Library. In: Intelligent Search on XML Data, Applications, Languages, Models, Implementations, and Benchmarks. vol. 2818 pp. 19 - 33. Henk M. Blanken, Torsten Grabs, Hans-Jörg Schek, Gerhard Weikum (eds.). (Lecture Notes in Computer Science, vol. 2818). Twente, Zürich, and Saarbrücken: Springer, 2003.  
6Giannotti F., Manco G., Wijsen J. Logical Languages for Data Mining. In: Logics for Emerging Applications of Databases. pp. 325 - 361. Jan Chomicki, Ron van der Meyden and Gunter Saake (eds.). Germany: Springer, 2003.  
7Marucci L., Paternò F., Santoro C. Supporting Interactions with Multiple Platforms Through User and Task Models. In: Multiple User Interfaces: Cross-Platform Applications and. pp. 217 - 238. H. Javahery and A. Seffah (eds.). England: Wiley and Sons, 2003.  
8Paternò F. ConcurTaskTrees: An Engineered Notation for Task Models. In: The Handbook of Task Analysis for Human-Computer Interaction. pp. 483 - 503. Diaper, D., Stanton, N (eds.). Mahwah: Lawrence Erlbaum Associates, 2003.  
9Tarabella L. Interazione e Gestualità. In: Arte tra azione e contemplazione. Edizioni ETS ed. pp. 205 - 217. Silvana Vassallo e Andreina Di Brino (eds.). Pisa, Italy: Silvana Vassallo e Andreina Di Brino, 2003.  
10Zezula P., Amato G., Rabitti F. Processing XML Queries with Tree Signatures. In: Intelligent Search on XML Data. pp. 247 - 258. Henk M. Blanken, Torsten Grabs, Hans-Jörg Schek, Ralf Schenkel, (eds.). (Lecture Notes in Computer Science, vol. 2818). Berlin: Springer Verlag, 2003.  

Proceedings

   2003
1Alby F., Alwes D., Anselmo L., Baccini H., Bonnal C., Crowther R., Flury W., Rudiger J., Klinkrad H., Portelli C., Tremayne Smith R. A European Standard for Space Debris. In: Europe and Space Debris (Toulouse, France, 27-28 November 2002). Proceedings, vol. CD pp. 1 - 6. ANAE, 2003.  
2Aldinucci M., Campa S., Ciullo P., Coppola M., Danelutto M., Pesciullesi P., Ravazzolo R., Torquati M., Vanneschi M., Zoccolo C. ASSIST demo: an high level, high performance, portable, structured parallel programming environment at work. In: EuroPar2003: Parallel and Distributed Computing (Klagenfurt, Austria, September 2003). Proceedings, pp. 1295 - 1300. H. Kosch, L. Boszormenyi, H. Hellwagner (eds.). (Lecture Notes in Computer Science, vol. 2790). Springer, 2003.     
3Aldinucci M., Campa S., Ciullo P., Coppola M., Magini S., Pesciullesi P., Potiti L., Ravazzolo R., Torquati M., Vanneschi M., Zoccolo C. The Implementation of ASSIST, an Environment for Parallel and Distributed Programming. In: EuroPar2003: Parallel and Distributed Computing (Klagenfurt, Austria, September 2003). Proceedings, pp. p. 712 - 721. H. Kosh, L. Boszormenyi, H. Hellwagner (eds.). (Lecture Notes in Computer Science, vol. 2790). Springer, 2003.     
4Aloia N., Concordia C., Paratore M. T. Automatic GUI Generation for Web Based Information Systems. In: IADIS International Conference WWW/Internet 2003 (Algarve, Portugal, 5-8 November 2003). Proceedings, 2003.  
5Aloia N., Concordia C., Paratore M. T. Generazione d'interfacce utente per sistemi informativi basati sul web. In: Congresso annuale AICA 2003. (Trento, Italy, 15-17 Settembre 2003). Atti, pp. 217 - 220. AICA, 2003.     
6Amato G., Debole F., Zezula P., Rabitti F. A path index for efficient XML path expression processing. In: SEBD 2003 (Cetraro (CS), Italy, June 24-27, 2003). Atti, pp. 21 - 28. Sergio Flesca, Sergio Greco, Domenico Saccà, Ester Zumpano (eds.). Rubettino Editore, 2003.  
7Amato G., Debole F., Zezula P., Rabitti F. YAPI: Yet Another Path Index for XML searching. In: ECDL 03 (Trondheim, 2-17 August 2003). Proceedings, pp. 176 - 187. Traugott Koch and Ingeborg S{o}lvberg (eds.). (Lecture Notes in Computer Science, vol. 2769). Springer, 2003.  
8Anastasi G., Bandelloni R., Conti M., Delmastro F., Gregori E., Mainetto G. Experimenting an Indoor Bluetooth-based Positioning Service. In: Mobile Distributed Computing 2003 (Providence, Rhode Island USA, 19-22 May 2003). Proceedings, 2003.     
9Anselmo L., Pardini C. The Long-Term Evolution of the Italian Satellites in the GEO Region and their Possible Interaction with the Orbital Debris Environment. In: International Astronautical Congress (Bremen, Germany, 29 September - 3 October 2003). Proceedings, vol. IAC-03-IAA.5.2.05 pp. 1 - 10. AIAA, 2003.  
10Avancini H., Lavelli A., Magnini B., Sebastiani F., Zanoli R. Expanding domain-specific lexicons by term categorization. In: ACM Symposium on Applied Computing. SAC 2003 (Melbourne, Florida, 9-12 March 2003). Proceedings, pp. 793 - 797. ACM, 2003.  
11Bagnoli P. E., Montesi M., Casarosa C., Pasquinelli G. Fast analytical thermal modeling of electronic devices and circuits with multi-layer stack mountings. In: Electronic Packaging and Technology Conference (Pan Pacific Hotel, Singapore, December 2003). Proceedings, vol. CD-ROM 2003.  
12Bandelloni R., Paternò F. Platform Awareness in Dynamic Web User Interfaces Migration. In: Mobile HCI - Human-Computer Interaction with Mobile Devices and Services: 5th International Symposium (Udine, Italy, 8-11 September 2003). Proceedings, (Lecture Notes in Computer Science, vol. 2795). Springer, 2003.     
13Baraglia R., Danelutto M., Laforenza D., Orlando S., Palmerini P., Perego R., Pesciullesi P., Vanneschi M. AssistConf: A Grid Configuration Tool for the ASSIST Parallel Programming Environment. In: Euromicro Conference on Parallel, Distributed and Network-Based (Genova, Italy, 5-7 February 2003). Proceedings, pp. 193 - 200. Andrea Clematis (ed.). IEEE Computer Society, 2003.     
14Basanieri F., Iani P., Lombardi G., Marchetti E. An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation. In: 4th ACIS International Conference on Software Engineering SNPD 2003 (Lubeck, Germany, 16-18 October 2003). Proceedings, pp. 218 - 225. 2003.     
15Bernardeschi K., Martignago F., Padovani C., Pasquinelli G., Secchi S. A new tool for the structural analysis of age-old masonry constructions. In: Convegno Annuale Italian Society for Computer Simulation (Cefalu', Italy, 27-29 November 2003). Proceedings, 2003.  
16Berti S., Mori G., Paternò F., Santoro C. An environment for designing and developing multi-platform interactive applications. In: HCITALY 2003 - Symposium on Human Computer Interaction (Torino, 4-5 Novembre 2003). Atti, pp. 7 - 12. Liliana Ardissono and Anna Goy (eds.). Dipartimento di Informatica, Università di Torino, 2003.  
17Berti S., Paternò F. Model-based Design of Speech Interfaces. In: Proceedings DSV-IS 2003 (Madeira (Portugal), 4-6 June 2003). Proceedings, pp. 231 - 244. Springer Verlag (ed.). (Lecture Notes in Computer Science, vol. 2844). Springer Verlag, 2003.  
18Bertolino A., Polini A. A Framework for Component Deployment Testing. In: 25th International Conference on Software Engineering ICSE 2003 (Portland, Oregon, Usa, 3-10 May 2003). Proceedings, pp. 221 - 231. ACM - IEEE Computer Society Technical Council on Software, 2003.     
19Bertolino A., Inverardi P., Muccini H. Formal Methods in Testing Software Architectures. In: Chapter in Formal Methods for Software Architectures: Third (Bertinoro, Italy, 22-27 September 2003). Proceedings, pp. 122 - 147. Marco Bernardo, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 2804). Springer, 2003.     
20Bertolino A., Mirandola R. Modeling and Analysis of non-functional properties in component-based systems. In: International Workshop on Test and Analysis of Component Based Systems TACOS 2003 (Warsaw, Poland, 5-13 April 2003). Proceedings, pp. 173 - 183. Maur Pezze (ed.). Elsevier Science BV (Electronic Notes in Theoretical Computer, 2003.     
21Bertolino A. Sotware Testing Research and Practice. In: International Workshop on Abstract State Machines ASM 2003 (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 1 - 21. Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer Verlag, 2003.     
22Bertolino A., Mirandola R. Towards Component Based Software Performance Engineering. In: 6th Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, of 25th International Conference on Software Engineering ICSE 2003 (Portland, Oregon, USA, 3-4 May 2003). Proceedings, pp. 1 - 6. Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau (eds.). 2003.     
23Bertolino A., Gnesi S. Use Case-based Testing of Product Lines. In: 9th European Software Engineering Conference and 11th SIGSOFT (Helsinki, Finland, 1-5 September 2003). Proceedings, pp. 355 - 358. Paola Inverardi (ed.). ACM Press, 2003.     
24Bertossi A. A., Pinotti M. C., Rizzi R. Channel assignment on strongly-simplicial graphs. In: IPDPS 2003 - 17th International Parallel and Distributed Processing Symposium (Nice, France, 22-26 April 2003). Proceedings, IEEE, 2003.     
25Bistarelli S., Cervesato I., Lenzini G., Martinelli F. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In: Second International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS 2003) (St. Petersburg, Russia, 20-24 September, 2003). Proceedings, pp. 86 - 99. V.I. Gorodetski, V.A. Skormin and L.J. Popyack (eds.). (Lecture Notes in Computer Science, vol. 2776). Springer-Verlag, 2003.     
26Bistarelli S., Cervesato I., Lenzini G., Martinelli F. Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis. In: IFIP WG 1.7 ACM SIGPLAN and GIFoMSEES Workshop on Issues in the Theory of Security (WITS 03) (Warsaw (Poland), April 5 - 6, 2003). Proceedings, 2003.  
27Boerger E., Bolognesi T. Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. In: Abstract State Machines 2003 - Advances in Theory and Practice (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 218 - 228. Egon Boerger, Angelo Gargantini, Elvinia Riccobene (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer, 2003.  
28Bolognesi T., Boerger E. Abstract State Processes. In: Abstract State Machines 2003 - Advances in Theory and Practice (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 22 - 32. Egon Boerger, Angelo Gargantini, Elvinia Riccobene (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer, 2003.  
29Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. Adaptive Constraint Pushing in Frequent Pattern Mining. In: Knowledge Discovery in Databases: PKDD 2003 (Cavtat-Dubrovnik, Croatia, 22-26 September 2003). Proceedings, p. 12. Nada Lavrac and Dragan Gamberger and Hendrik Blockeel and Ljupco (eds.). (Lecture Notes in Computer Science, vol. 2838). Springer, 2003.     
30Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint. In: Proceedings of the 3rd IEEE International Conference on Data Mining (Melbourne, Florida, USA, 19-22 December 2003). Proceedings, p. 8. IEEE Computer Society, 2003.     
31Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. ExAnte: Anticipated Data Reduction in Constrained Pattern Mining. In: Knowledge Discovery in Databases: PKDD (Cavtat-Dubrovnik, Croatia, 22-26 September 2003). Proceedings, p. 12. Nada Lavrac and Dragan Gamberger and Hendrik Blockeel and Ljupco (eds.). (Lecture Notes in Computer Science, vol. 2838). Springer, 2003.     
32Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. Pre-processing for Constrained Pattern Mining. In: Eleventh Italian Symposium on Advanced Database Systems, SEBD 2003 (Cetraro (CS), Italy, June 24-27, 2003). Atti, p. 12. Sergio Flesca, Sergio Greco, Domenico Saccà and Ester Zumpano (eds.). Rubettino Editore, 2003.  
33Bondavalli A., Chiaradonna S., Cotroneo D., Romano L. A Fault-tolerant distributed legacy-based system and its evaluation. In: LADC 2003, Dependable Computing, First Latin-American Symposium (Sao Paulo, Brazil, 2-21 October 2003). Proceedings, pp. 303 - 320. Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr (eds.). (Lecture Notes in Computer Science, vol. 2847). Springer, 2003.     
34Borgo R., Scopigno R., Cignoni P., Pascucci V. PSP: Progressive Subdivision Paradigm for Large Scale Visualization. In: Annual Conference of Eurographics - Italian Chapter (Galleria del Vento, Politecnico di Milano, Bovisa, 25-26 settembre, 2003). Atti, 2003.  
35Bottai M., Salvati N., Orsini N. Multilevel models for analyzing people's daily moving behavior. In: 13th European Colloquium on Theoretical and Quantitative Geography (Lucca, 1-1 2003). Proceedings, p. -. 2003.     
36Bottai M., Orsini N. Testing for homogeneity in two-level random effects models. In: 4th International Amsterdam Conference on Multilevel Analysis (Amsterdam, 1-1 2003). Proceedings, p. -. 2003.  
37Bretzel F., Petruzzelli G., Bianchi F., Franchini M., Linzalone N., Giaconi W., Balocchi L., Della Maggiore R., Perotto E., Fresco R., Bottai M. Health And Environment Integrated Framework: From A Case Study Experience To The Achievement Of A Planning And Decisional Assessment Tool. In: Conference on Contaminated Soil (Gent, Belgium, 12-16 May 2003). Proceedings, vol. 1 pp. 3172 - 3178. Forschungszentrum Karlsruhe (FZK) and the Netherlands Organisation, 2003.  
38Callieri M., Cignoni P., Coluccia M., Gaggio G., Pingi P., Romanelli M., Scopigno R. Derma: monitoring the evolution of skin lesions with a 3D system. In: 8th International Fall Workshop on Vision, Modeling, and (Muenchen, 19-21 November 2003). Proceedings, pp. 167 - 174. T. Ert., B. Girod, G. Greiner, H. Niemann, H.P. Seidel, E. Steinbach, (eds.). IOS Press, 2003.     
39Callieri M., Cignoni P., Ganovelli F., Montani C., Pingi P., Scopigno R. VCLab's Tools for 3D range data processing. In: 4th International Symposium on Virtual Reality, Archaeology and (Brighton (UK), 5-7 November 2003). Proceedings, pp. 1 - 10. David Arnold, Alan Chalmers, Franco Niccolucci (eds.). The EuroGraphics Association, 2003.     
40Candela L., Castelli D., Pagano P. A Service for Supporting Virtual Views of Large Heterogeneous Digital Libraries. In: European Conference on Digital Libraries (Thondheim, Norway, August 2003). Proceedings, pp. 362 - 373. Traugott Kock and Ingeborg Torvik Solvberg (eds.). (Lecture Notes in Computer Science, vol. 2769). Springer-Verlarg, 2003.  
41Canesi S., Gotta A., Davoli F., Marchese M., Mongelli M. Derivative Estimation and Optimization of Loss Probability in Satellite Packet Networks. In: International Symposium on Performance Evaluation of Computer and (Montreal, Canada, 20-24 July 2003). Proceedings, vol. Vol. 35 pp. 342 - 349. Mohammad S. Obaidat, Franco Davoli, Erina Ferro, Ibrahim Onyuksel (eds.). SCS - Society for Modeling and Simulation International, 2003.  
42Cappelli A. Human language technology: R. & D. in italian industry. In: Italian-Israeli Forum on Computer Science: Research and Applications (Tel-Aviv - Haifa, 17-19 June 2003). Proceedings, pp. 42 - 46. 2003.  
43Cappelli A., Catarsi M. N., Michelassi P., Moretti L. Un formalismo per rappresentare strutture architettoniche classiche. In: Convegno Contesti virtuali e fruizione dei beni culturali (Napoli, 22-23 maggio 2003). Atti, 2003.     
44Carrara P., Fresta G., Pasi M., Pasi G., Poggioli D., Rampini A. A reversible WEB architecture for the management of geographic information. In: AGILE 2003. Conference on Geographic Information Science (Lyon, France, April 24-26 2003). Proceedings, pp. 161 - 168. Michael Gould, Robert Laurini, Stéphane Coulondre (eds.). 2003.  
45Carrara P., Fresta G., Poggioli D. La presentazione animata su web di dati ambientali e la loro annotazione. In: Conferenza nazionale ASITA. L'Informazione territoriale e la dimensione tempo (Palazzo della Gran Guardia, Verona, Verona 28-31 Ottobre 2003). Atti, vol. I pp. 637 - 638. 2003.  
46Caruso A., Albini L. C., Maestrini P. A New Diagnosis Algorithm for Regular Interconnected Structures. In: First Latin American Symposium (Sao Paulo, Brasil, October 2003). Proceedings, pp. 263 - 281. Rogerio de Lemos et al. (eds.). (Lecture Notes in Computer Science, vol. 2847). Springler, 2003.     
47Castelli D., Pagano P. A System for Building Expandable Digital Libraries. In: Joint ACM-IEEE Conference on Digital Libraries (Houston, Texas, May 2003). Proceedings, pp. 335 - 345. Catherine C. Marshall, Geneva Henry and Lois Delcambre (eds.). IEEE Computer Society, 2003.  
48Celandroni N., Davoli F., Ferro E., Gotta A. A combined resource allocation method for fade countermeasure and call admission control in satellite networks. In: International Workshop of COST Actions 272 and 280 (ESTEC (ESA), Noordwjik (NL), 26-28 May 2003). Proceedings, pp. 3303 - 3310. 2003.  
49Celandroni N., Davoli F., Ferro E., Vignola S., Zappatore S., Zinicola A. MPEG-2 Video Encoded Sequences over a Satellite Channel Operating in Ka Band: A Laboratory Experience. In: Ka and Broadband band Communications Conference (Ischia (Italy), 26-28 May 2003). Proceedings, pp. 141 - 146. Proceedings, 2003.  
50Cervesato I., Bistarelli S., Lenzini G., Martinelli F., Marangoni R. Representing Biological Systems with Multiset Rewriting. In: International Conference on Computer Aided System Theory EUROCAST 2003 (Las Palmas de Gran Canaria, Spain, February 24-28, 2003). Proceedings, pp. 415 - 426. D.R. Moreno, F. Pilchler (Eds.) (eds.). (Lecture Notes in Computer Science, vol. 2809). Springer Verlag, 2003.  
51Chessa S., Maestrini P. Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks. In: IEEE DSN 2003, International Conference on Dependable System and (San Francisco, USA, 22-25 June 2003). Proceedings, pp. 207 - 216. 2003.  
52Chesta C., Santoro C., Paternò F. Usability evaluation of tools for nomadic application development. In: HCITALY 2003 - Human-Computer Interaction Italy (Torino, Italy, 4-5 November 2003). Proceedings, pp. 36 - 41. ACM SIGCHI, 2003.  
53Ciavarella C., Paternò F. Design Criteria for Location-aware, Indoor, PDA Applications. In: Mobile HCI 2003 (Udine, September 2003). Proceedings, pp. 131 - 144. (Lecture Notes in Computer Science, vol. 2795). Springer Verlag, 2003.  
54Ciavarella C., Paternò F. Supporting access to museum information for mobile visitors. In: HCII 2003 - 10th International Conference on Human-Computer Interaction (Heraklion, Crete, Greece, 22-27 June 2003). Proceedings, vol. Volume 4 pp. 319 - 323. Lawrence Erlbaum Associates, 2003.     
55Cignoni P., Ganovelli F., Gobbetti E., Marton F., Ponchio F., Scopigno R. Batching Meshes for High Performance Terrain Visualization. In: Annual Conference of Eurographics - Italian Chapter (Galleria del Vento, Politecnico di Milano, Bovisa, 25-26 settembre, 2003). Atti, 2003.  
56Cignoni P., Ganovelli F., Gobbetti E., Marton F., Ponchio F., Scopigno R. Planet-sized Batched Dynamic Adaptive Meshes (P-BDAM). In: VIS 2003 - IEEE Visualization 2003 (Seattle, Washington, 19-24 October 2003). Proceedings, pp. 147 - 155. Greg Turk, Jarke J. van Wijk and Robert Moorhead (eds.). IEEE, 2003.     
57Coco A., Fabbrini F., Fusani M., Lami G. Concepts and Practice of Software Certification. In: SIMPROS 2003 (Recife, Brazil, 3-5 November 2003). Proceedings, 2003.  
58Costabile M., Fogli D., Fresta G., Mussio P., Piccinno A. Building environments for end-user development and tailoring. In: Symposium on Human Centric Computing Languages and Environments (Auckland, New Zealand, October 28-31, 2003). Proceedings, pp. 31 - 38. IEEE, 2003.  
59Costabile M., Fogli D., Fresta G., Mussio P., Piccinno A. Computer environments for improving end user accessibility. In: Universal Access. Theoretical Perspectives, Practice, andExperience: 7th ERCIM International Workshop on User Interfaces for All (Paris, 24-25 October 2002). Proceedings, pp. 129 - 140. Carbonelle Noelle, Stephanidis Constantine (eds.). (Lecture Notes in Computer Science, vol. 2615). Springer, 2003.  
60Costabile M., Fogli D., Fresta G., Lanzilotti R., Mussio P., Piccinno A. Cooperative work in software shaping workshops. In: International Symposium on End User Development (Sankt Augustin, Bonn, Germany, October 7, 2003). Proceedings, vol. Proceedings pubblicati in versione elettronica 2003.  
61Costabile M., Fogli D., Fresta G., Lanzilotti R., Mussio P., Piccinno A. Software environments that support end-user development. In: Symposium on Human-Computer Interaction (HCITALY 2003) (Torino, Italy, November 4-5, 2003). Atti, pp. 48 - 52. Liliana Ardissono, Anna Goy (eds.). SIGCHI Italy, 2003.  
62Costabile M., Fogli D., Fresta G., Lanzilotti R., Mussio P., Piccinno A. Specifying and implementing systems for end-user development. In: International Symposium on End User Development (Sankt Augustin, Bonn, Germany, October 7, 2003). Proceedings, vol. Proceedings pubblicati in versione elettronica. 2003.  
63Costabile M., Fogli D., Fresta G., Lanzilotti R., Mussio P., Piccinno A. Tailoring in a cooperative environment through software shaping workshops. In: Tailoring Co-operation. Workshop at the ECSCW 2003 (Helsinki, Finland, September 14-18 2003). Proceedings, pp. 10 - 12. Yvonne Dittrich, Andres Morch, Volker Wulf (eds.). 2003.  
64Cresci G., Ciardelli R., Fresta G., Lari D. Mappe animate: un tema da rivisitare. In: Conferenza nazionale ASITA. L'Informazione territoriale e la dimensione tempo (Palazzo della Gran Guardia, Verona 28-31 Ottobre 2003). Atti, vol. I pp. 857 - 862. 2003.  
65Debole F., Sebastiani F. Supervised term weighting for automated text categorization. In: ACM Symposium on Applied Computing. SAC 2003 (Melbourne, Florida, March 9-12, 2003). Proceedings, pp. 784 - 788. ACM, 2003.  
66Degl'Innocenti S., Padovani C. Un metodo numerico per l'analisi limite di strutture in muratura. In: Congresso AIMETA di Meccanica Teorica e Applicata (Ferrara, Italy, 9-12 settembre 2003). Atti, 2003.  
67Della Maggiore R., Di Pede C., Perotto E., Fresco R., Sabatini M., Vivaldi L. Monitoraggio dei Centri Ippici in area di Pisa. In: Conferenza Nazionale Asita-L' informazione territoriale e la dimensione tempo (Verona, 1-1 2003). Atti, p. -. 2003.  
68Di Bona S., La Manna S., Fontanelli R. An innovative telemedicine platform of services for healthcare provision in restrictive and closed environments. In: International Conference on Politics and Information Systems: (Orlando, USA, 31 July - 2 August 2003). Proceedings, pp. 313 - 318. 2003.  
69Di Giandomenico F., Porcarelli S., Lollini P., Bondavalli A. Dependability issues in radio resource management of wireless systems. In: The International Symposium on Wireless Personal Multimedia (Yokosuka, Japan, 19-22 October 2003). Proceedings, vol. 2 pp. 146 - 150. WPMC Steering Board; ISSN:1347-6890, 2003.  
70Dohnal V., Gennaro C., Savino P., Zezula P. Access Structures for Advanced Similarity Search in Metric Spaces. In: Symposium on Advanced Database Systems (Cetraro (CS), Italy, June 24-27). Atti, pp. 483 - 494. Sergio Flesca, Sergio Greco, Domenico Saccà, Ester Zumpano (eds.). Rubettino, 2003.  
71Dohnal V., Gennaro C., Savino P., Zezula P. Similarity Join in Metric Spaces. In: European Conference on IR Research (Pisa, Italy, April 2003). Proceedings, pp. 452 - 467. Fabrizio Sebastiani (ed.). (Lecture Notes in Computer Science, vol. 2633). Springer, 2003.  
72Dohnal V., Gennaro C., Zezula P. Similarity Join in Metric Spaces Using eD-Index. In: Database and Expert Systems Applications (Prague, Czech Republic, 1-5 September 2003). Proceedings, pp. 484 - 493. Marík, Vladimír and Retschitzegger, Werner and Stepánková , Olga (eds.). (Lecture Notes in Computer Science, vol. 2736). Springer Verlag, 2003.  
73Fabbrini F., Fantini E., Fusani M., Lami G. Performing SPICE assessments: yet another tool. In: SPICE 2003 (Noordwijk, The Netherlands, 17-21 March 2003). Proceedings, pp. 81 - 86. 2003.  
74Fagni T., Orlando S., Palmerini P., Perego R., Silvestri F. A Hybrid Strategy for Caching Web Search Engine Results. In: Twelfth International World Wide Web Conference (www2003) (Budapest, Hungary, 20-24 May 2003). Proceedings, p. 156. Irwin King and Tamas Maray (eds.). 2003.  
75Fantechi A., Gnesi S., Lami G. A Relation-based Approach to Use Case Analysis. In: International Workshop on Requirements Engineering: Foundation for (Velden, Austria, 16-17 June 2003). Proceedings, vol. 8 pp. 81 - 89. Camille Salinesi, Bijorn Regnell, Erik Kamsties (eds.). Essner Informatik Beitrage, 2003.  
76Fasano A., Callieri M., Cignoni P., Scopigno R. Exploiting Mirrors for Laser Stripe 3D Scanning. In: International Conference on 3D Digital Imaging and Modeling - 3DIM (Banff , Canada, 6-10 October 2003). Proceedings, pp. 243 - 250. IEEE, 2003.     
77Fasano A., Callieri M., Scopigno R., Cignoni P. Enhancing the 3D Laser Scanning Pipeline Using Mirrors. In: Annual Conference of Eurographics - Italian Chapter (Galleria del Vento, Politecnico di Milano, Bovisa, 25-26 settembre 2003). Atti, 2003.  
78Fogli D., Fresta G., Mussio P., Salvi D. Documents in visual reasoning: from paper-based to electronic ones. In: The International Conference on Distributed Multimedia Systems. DMS'2003 (Miami, Florida, USA, September 24-26, 2003). Proceedings, pp. 277 - 282. 2003.  
79Fortunati L., Fresta G., Piazza Bonati L. Dati GIS su piattaforma mobile. In: Conferenza nazionale ASITA. L'Informazione territoriale e la dimensione tempo (Palazzo della Gran Guardia, Verona 28-31 Ottobre 2003). Atti, vol. II pp. 1097 - 1102. 2003.  
80Fresco R., Marucci L., Signore O. Adaptive hypermedia for user-centered geovisualization in multiplatform environment. In: Conference on Hypertext and Hypermedia (Nottingham, UK, 26-30 August 2003). Proceedings, vol. Poster Proceedings of Hypertext 03 pp. 20 - 21. Helen Ashman,Tim Brailsford (eds.). ACM Press New York, NY, USA, 2003.  
81Fresco R., Pederiva A. An approach to the process maps based on semantic web methodologies. In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops (Catania, Italy, 3-7 November 2003). Proceedings, pp. 99 - 108. G. Goos, J. Hartmanis and J. van Leeuwen (eds.). (Lecture Notes in Computer Science, vol. 2889). Springer, 2003.  
82Fresco R., Della Maggiore R., Signore O. L' informazione geografica nel Semantic Web. In: Congresso Annuale AICA 2003 - I costi dell' ignoranza e il valore della conoscenza nella società dell' informazione, (Trento, 15-17 September 2003). (Trento, 15-17 Settembre 2003). Atti, pp. 91 - 94. -, 2003.  
83Giannotti F., Nanni M., Pedreschi D., Samaritani F. WebCat: Automatic Categorization of Web Search Results. In: Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, SEBD 2003 (Cetraro (CS), Italy, June 24-27, 2003). Atti, p. 12. Sergio Flesca, Sergio Greco, Domenico Sacca' and Ester Zumpano (eds.). Rubettino Editore, 2003.  
84Giorgetti D., Sebastiani F., Prodanof I. Automatic coding of open-ended surveys using text categorization techniques. In: The Impact of Technology on the Survey Process. Fourth International (The Univesity of Warwick, England, UK, 17-19 September 2003). Proceedings, pp. 173 - 184. ASC, 2003.  
85Giorgetti D., Sebastiani F. Multiclass text categorization for automated survey coding. In: ACM Symposium on Applied Computing. SAC 2003 (Melbourne, Florida, 9-12 March 2003). Proceedings, pp. 798 - 802. ACM, 2003.  
86Gnesi S., Latella D., Massink M., Mazzanti F., Andrade L., Baldan P., Baumeister H., Bruni R., Corradini A., De Nicola R., Fiadeiro J. L., Gadducci F., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Lopes A., Lo Reti M., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. AGILE: Software Architecture for Mobility. In: 16th International Workshop on Algebraic Development Techniques (Frauenchiemsee, Germany, 24-27 September 2002). Proceedings, pp. 1 - 33. Wirsing, M. and Pattinson, D. and Hennicker, R (eds.). (Lecture Notes in Computer Science, vol. 2755). Springer-Verlag, 2003.  
87Hidalgo J. I., Prieto M., Lanchares J., Baraglia R., Tirado F., Garnica O. Hybrid Parallelization of a Compact Genetic Algorithm. In: Euromicro Conference on Parallel, Distributed and Network-Based (Genova, Italy, 5-7 Februrary 2003). Proceedings, pp. 449 - 455. Andrea Clematis (ed.). IEEE Computer Society, 2003.     
88Hidalgo J. I., Fernández F., Lanchares J., Sánchez J. M., Hermida R., Tommassini M., Baraglia R., Perego R., Garnica O. Multi-FPGA Systems Synthesis by Means of Evolutionary Computation. In: Genetic and Evolutionary Computing COmputing (GECCO 2003) (Chicago, Illinois, 12-16 July 2003). Proceedings, pp. 2109 - 2120. Erick Cantù-Paz et al. (eds.). (Lecture Notes in Computer Science, vol. 2724). Springer-Verlag, 2003.     
89Kuruoglu E. E. Analytical representation for positive alpha-stable densities. In: International Conference on Acoustics, Speech, and Signal (Hong Kong, 6-10 April 2003). Proceedings, vol. Vol. VI pp. 729 - 732. IEEE, 2003.  
90Kuruoglu E. E. Pozitif Alfa-Kararli Olasilik Yogunluk Fonksiyonu icin Analitik bir Yaklastirma. In: Sinyal Isleme ve Iletisim Uygulamalari Kurultayi, SIU'03 (Turkish National Signal Processing Conference) (Istanbul, Turkey, 18-20 June 2003). Atti, vol. 1 2003.     
91Latella D., Massink M. On Mobility Extensions of UML Statecharts. A Pragmatic Approach. In: Formal Methods for Open Object-based Distributed Systems (Paris, 19-21 November 2003). Proceedings, pp. 199 - 213. Najm E., Nestmann U.and Stevens P (eds.). (Lecture Notes in Computer Science, vol. 2884). Springer Verlag, 2003.  
92Lenzini G., Gnesi S., Latella D. SpiDer: a Security Model Checker. In: International Workshop on Formal Aspects in Security and Trust FAST (Pisa, Italy, 8-9 September 2003). Proceedings, pp. 163 - 180. Dimitrakos Theo, Martinelli Fabio (eds.). 2003.  
93Loyer Y., Straccia U. Default Knowledge in Logic Programs with Uncertainty. In: 19th Int. Conf., ICLP 2003 (Mumbai, India, 9-13 Dicember 2003). Proceedings, pp. 466 - 480. C. Palamidessi (ed.). (Lecture Notes in Computer Science, vol. 2916). Springer Verlag, 2003.  
94Loyer Y., Straccia U. The Approximate Well-founded Semantics for Logic Programs with Uncertainty. In: International Symposium on Mathematical Foundations of Computer Science (MFCS-2003) (Bratislava, Slovak Republic, August 2003). Proceedings, pp. 541 - 550. B. Rovan and P. Vojtàs (eds.). (Lecture Notes in Computer Science, vol. 2747). Springer Verlag, 2003.  
95Marchetti E., Martelli F., Polini A. Refactoring a Legacy System Using Components. In: 4th Acis International Conference on Software Engineering SNPD 2003 (Lubeck, Germany, 16-18 October 2003). Proceedings, pp. 24 - 31. 2003.     
96Massink M., Latella D. Deriving manuals from formal specifications. In: Proceedings of HCI International 2003 (Crete, Greece, 2-22 2003). Proceedings, vol. 1 pp. 163 - 167. Jacko, J. and Stephanidis, Constantine (eds.). Lawrence Erlbaum Associates Publishers, 2003.  
97Meghini C., Tzitzikas Y., Spiratos N. An Abduction-based Method for Index Relaxation in Taxonomy-based Sources. In: MFCS 2003. International Symposium on Mathematical Foundations of (Bratislava, Slovak Republic, August 2003). Proceedings, pp. 592 - 601. B. Rovan and P. Vojtàs (eds.). (Lecture Notes in Computer Science, vol. 2747). Springer-Verlag, 2003.     
98Meghini C., Tzitzikas Y. Query Evaluation in Peer-to-Peer Networks of Taxonomy-based Sources. In: CooPIS-2003, the Tenth International Conference on Cooperative (Catania, Italy, November, 2003). Proceedings, pp. 263 - 281. (Lecture Notes in Computer Science, vol. 2888). 2003.  
99Mori G., Paternò F., Santoro C. Tool Support for Designing Nomadic Applications. In: Proceedings of ACM Intelligent User Interfaces (Miami, 10-13 January 2003). Proceedings, pp. 141 - 148. ACM Press (ed.). ACM Press, 2003.  
100Musso I., Cardillo A., Cosentino O. Software and Methodologies for Stratospheric Balloons. In: 3th AIAA Aviation Technology, Integration and Operations Technical (Denver, Colorado, 17-19 November 2003). Proceedings, vol. A03-46753 AIAA Paper 2003-6820 p. 6. 2003.  
101Nardiello P., Sebastiani F., Sperduti A. Discretizing continuous attributes in AdaBoost for text categorization. In: Advances in Information Retrieval. 25th European Conference on IR (Pisa, Italy, April 2003). Proceedings, pp. 320 - 334. Fabrizio Sebastiani (ed.). (Lecture Notes in Computer Science, vol. 2633). Springer Verlag, 2003.  
102Orlando S., Lucchese C., Palmerini P., Perego R., Silvestri F. kDCI: a Multi-Strategy Algorithm for Mining Frequent Sets. In: FIMI '03, Frequent Itemset Mining Implementations, Proceedings of (Melbourne, Florida, USA, 19 December 2003). Proceedings, vol. 90 pp. 1 - 10. Bart Goethals, Mohammed Javeed Zaki. CEUR Workshop Proceedings, 2003.  
103Pardini C., Anselmo L. Long-Term Evolution of Debris Clouds in Geosynchronous Orbit. In: International Symposium on Space Flight Dynamics (Moscow, Russia, 16-20 June 2003). Proceedings, vol. CD 2003.  
104Pardini C., Tobiska W. K., Anselmo L. Pilot Service for Improving Satellite Re-entry Predictions and Orbital Decay Modeling. In: ESA Space Weather Workshop: Space Weather Applications Pilot Project (ESA/ESTEC, Noordwijk, The Netherlands, 16-18 December 2002). Proceedings, vol. Website pp. 1 - 6. Alexis Glover (ed.). ESA/ESTEC, 2003.     
105Paternò F. From Model-based to Natural Development. In: HCI International 2003, Universal Access in HCI (Creete, June 2003). Proceedings, vol. 4 pp. 592 - 596. Lawrence Erlbaum Associates, 2003.  
106Paternò F., Santoro C. Metodi per sistemi workflow interattivi. In: Workshop su "Workflow e il sistema documentale" (Roma, Italia, 16 Dicembre 2003). Atti, pp. 1 - 27. SOGEI, 2003.  
107Paternò F. Models for Universal Usability. In: IHM'03 (Caen, November 2003). Proceedings, pp. 9 - 16. ACM Press, 2003.  
108Paternò F. Tools for Remote Web Usability Evaluation. In: HCI International 2003 (Creete, June 2003). Proceedings, vol. 1 pp. 828 - 832. Lawrence Erlbaum Associates, 2003.  
109Peterzen S., Rabbia S., Cardillo A., Musso I., Leonardi A. Development of a Long Duration Balloon program in the Polar Regions - Svalbard, Norway. In: 16th ESA Symposium on Rockets and Balloons Programmes and related (Sankt Gallen, Switzerland, 2-5 June 2003). Proceedings, vol. Sp-530 pp. 213 - 217. 2003.  
110Petruzzelli G., Bretzel F., Bianchi F., Franchini M., Linzalone N., Giaconi W., Balocchi L., Della Maggiore R., Fresco R. Planning a decisional assessment tool from a health and environment integrated framework. In: Intersol (Paris, 1-3 April 2003). Proceedings, vol. TRADE/WP.8/AC.1/SEM.7/2002/4/S.31 pp. 48 - 49. Association Interchimie (ed.). Association Interchimie UNECE Coordinating Unit for Operational, 2003.     
111Piazza Bonati L., Fortunati L., Fresta G. SVG explorer of GML data. In: SVG Open 2003 Conference and Exhibition (Vancouver, Canada,, July 13-18 2003). Proceedings, 2003.  
112Puppin D., Stephenson M., Amarasinghe S., Martin M., O'Reilly U. Adapting convergent scheduling using machine-learning. In: LCPC 2003 - Languages and Compilers for Parallel Computing: 16th International Workshop (College Station, TX, USA, 2-4 October 2003). Proceedings, (Lecture Notes in Computer Science, vol. 2958). 2003.     
113Raffaetà A., Renso C., Turini F. Qualitative spatial reasoning in a logical framework. In: AI*IA 2003 - AI*IA 2003: Advances in Artificial Intelligence. 8th Congress of the Italian Association for Artificial Intelligence (Pisa, Italy, 23-26 September 2003). Proceedings, pp. 78 - 90. (Lecture Notes in Artificial Intelligence, vol. 2829). Springer Verlag, 2003.        
114Renda M. E., Straccia U. Web Metasearch: Rank vs. Score Based Rank Aggregation Methods. In: Proc. 18th Annual ACM Symposium on Applied Computing (SAC-03) (Melbourne, Florida, USA, 9-12 March 2003). Proceedings, pp. 841 - 846. ACM, 2003.  
115Scopigno R., Cignoni P., Callieri M., Ganovelli F., Impoco G., Pingi P., Ponchio F. Using optically scanned 3D data in the restoration of Michelangelo's David. In: SPIE Int. Symposium on Optical Metrology (Munich (D), 23-26 June 2003). Proceedings, pp. 44 - 53. SPIE Press, 2003.     
116Sebastiani F. Research in automated classification of texts: trends and perspectiv. In: Fourth International Colloquium on Library and Information Science (Salamanca, Spain, 5-7 May 2003). Proceedings, pp. 298 - 311. Josè Antonio Frìas, Crìspulo Travieso (eds.). Universidad de Salamanca, 2003.  
117Signore O. Accessibilità dei siti Web: il raccordo tra orientamenti internazionali e normativa nazionale. In: Ottavo Convegno Nazionale "Informatica Didattica e Disabilità" (Torino, Italy, 11-13 December 2003). Atti, 2003.  
118Signore O. E-government ad e-accessibility. In: KM Tracks - KM Tracks - Workshops, distribution & meeting point sulle direttrici tecnologiche e manageriali del knowledge management (Milano, Italy, 15 Ottobre 2003). Atti, 2003.  
119Signore O. Integrare informazioni e applicazioni nel KMS con i Web service. In: Forum Knowledge Management, corso di formazione sulla gestione della conoscenza nelle organizzazioni - 8th Edition (Roma, 19 November 2003). Atti, p. -. 2003.  
120Signore O. Le tecnologie W3C: una panoramica. In: 17 Convegno annuale CMG (Roma, 26-28 May 2003). Proceedings pubblicati su CD-ROM (Roma, 26-28-5 2003). Atti, p. -. 2003.  
121Signore O. Strutturare la conoscenza: XML, RDF, semantic Web. In: 1st Clinical Knowledge 2003 (Udine, Italy, 20-21 September 2003). Proceedings, 2003.  
122Signore O. Tecnologie XML: un elemento essenziale per l'interoperabilità. In: Log On Web Day sul tema: Servizi web, XML e Java (Milano, 30 Ottobre 2003). Proceedings, 2003.  
123Signore O., Andreini M., Lucchesi C., Martelli S. Una interfaccia generalizzata per l'interrogazione di documenti XML. In: Log On Web Day sul tema: Servizi web, XML e Java - Milano, 30 October 2003 (Milano, Italy, 30 Octiber 2003). Proceedings, 2003.  
124Tarabella L., Bertini G. About the role of mapping in gesture-controlled live computer music. In: Computer Music Modeling and Retrieval, CMMR2003 (Montpellier, France, May 2003). Proceedings, pp. 217 - 224. Uffe Kock Wiil (ed.). (Lecture Notes in Computer Science, vol. 2771). Springer, 2003.  
125Tarabella L. The Object-Oriented pureCMusic Framework. In: Understanding and Creating Music (Caserta, Italy, 1-11 December 2003). Proceedings, vol. 1 P.DiLorenzo, G.DiMaio, M.O.Belardinelli (eds.). SecondaUniversitàNapoli, Facoltà di Matematica, 2003.  
126Tarabella L. The pCM framework for realtime sound and music generation. In: XIV Colloquium on Musical Informatics (XIV CIM 2003) (Florence, Italy, 8-9-10 May 2003). Proceedings, pp. 145 - 149. N.Bernardini, F.Giomi, N.Giosmin (eds.). Tempo Reale, AIMI Associazione Italiana di Musica Informatica, 2003.  
127Tarini M., Cignoni P., Scopigno R. Visibility Based Methods and Assesment for Detail-Recovery. In: Visualization 2003 (Seattle, Washington, 19-24 October 2003). Proceedings, pp. 457 - 463. Greg Turk, Jarke J. Van Wijk, Robert Moorthead (eds.). IEEE, 2003.     
128Ter Beek M. H., Lenzini G., Petrocchi M. Team automata for security analysis of multicast/broadcast communication. In: International Conference on Application Theory of Petri Nets (ATPN (Eindhoven, The Netherlands, 23-27 June 2003). Proceedings, 2003.  
129Ter Beek M. H., Kleijn J. Team automata satysfying compositionality. In: FME 2003: Formal methods. International Symposium of Formal Methods (Pisa, Italy, September 2003). Proceedings, pp. 381 - 400. Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.). (Lecture Notes in Computer Science, vol. 2805). Springer, 2003.  
130Ter Beek M. H., Csuhaj-Varju E., Mitrana V. Teams of Pushdown Automata. In: Perspectives of System Informatics: Revised papers of the 5th (Akademgorodok, Novosibirsk, Russia, 9-12 July 2003). Proceedings, pp. 329 - 337. M. Broy, A.V. Zamulin (eds.). (Lecture Notes in Computer Science, vol. 2890). Springer, 2003.     
131Tesconi M., Marchetti A., Signore O. Descrizione e gestione di workflow documentali con una appplicazione basata su XML. In: 7th Knowledge Management (Milan, 28 March 2003) (Milano, 28-3 2003). Atti, p. -. 2003.  
132Tonazzini A., Bedini L., Kuruoglu E. E., Salerno E. Blind Separation of Auto-Correlated Images from Noisy Mixtures Using MRF Models. In: International Symposium on Independent Component Analysis and Blind (Nara, Japan, 1-4 April 2003). Proceedings, pp. 675 - 680. 2003.     
133Tonazzini A., Bedini L., Salerno E. Digital analysis of damaged documents by ICA techniques. In: First IAPR-TC3 workshop on Artificial Neural Networks in Pattern (Florence (Italy), 12-13 September 2003). Proceedings, vol. -- pp. 33 - 38. M. Gori and S. Marinai (eds.). -, 2003.  
134Tonazzini A., Bedini L., Kuruoglu E. E., Salerno E. Özilintili imgelerin markoff rastgele alanlari yardimi ile ayristirilmasi. In: Sinyal Isleme ve Uygulamalari Kurultayi, SIU 2003 (Turkish Signal Processing Conference) (Istanbul, Turchia, 18-20 Giugno 2003). Atti, vol. 1 Murat Tekalp (ed.). 2003.  
135Tzitzikas Y., Meghini C. Ostensive Automatic Schema Mapping for Taxonomy-based Peer-to-Peer Systems. In: CIA-2003. International Workshop on Cooperative Information Agents - (Helsinki, Finland, August 2003). Proceedings, pp. 78 - 92. M. Klusch (ed.). (Lecture Notes in Computer Science, vol. 2782). Springer-Verlag, 2003.     
136Tzitzikas Y., Meghini C., Spyratos N. Taxonomy-based Conceptual Modeling for Peer-to-Peer Networks. In: ER2003, the 22nd International Conference on Conceptual Modeling (Chicago, Illinois, 13-16 October 2003). Proceedings, pp. 446 - 460. (Lecture Notes in Computer Science, vol. 2813). 2003.  
137Zezula P., Amato G., Debole F., Rabitti F. Tree Signatures for XML Querying and Navigation. In: Xsym 2003 (Berlin, Germany, 8 September 2003). Proceedings, pp. 149 - 163. Zohra Bellahsene, Akmal B. Chaudhri, Erhard Rahm, Michael Rys, Rainer (eds.). (Lecture Notes in Computer Science, vol. 2824). Springer, 2003.  

Editorials

   2003
1Cappelli A., Turini F. Editorial activity - AI*IA 2003. In: Lecture Notes in Computer Science. Editorial, vol. 2829 pp. v - vi. AI*IA 2003: Advances in Artificial Intelligence. 8th Congress of the Italian Association for Artificial Intelligence (Pisa, Italy, September 23-26, 2003). Proceedings. Amedeo Cappelli, Franco Turini. Springer, 2003.  
2Dongarra J., Laforenza D., Orlando S. Editorial activity - PVM/MPI 2003. In: Lecture Notes in Computer Science. Editorial, vol. 2840 pp. v - vi. Recent Advances in Parallel Virtual Machine and Message Passing Interface. 10th European PVM/MPI User's Group Meeting (Venice, Italy, September 29 - October 2, 2003). Proceedings. Jack Dongarra, Domenico Laforenza, Salvatore Orlando (eds.). Springer, 2003.     
3Garavel H., Gnesi S., Schieferdecker I. Preface. In: Science of Computer Programming. Editorial, vol. 46 pp. 145 - 146. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (Berlin, April 3-4, 2000). Selected papers. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker (eds.). Elsevier, 2003.  
4Gnesi S., Araki K., Mandrioli D. Editorial activity - FME 2003. In: Lecture Notes in Computer Science 2805. Editorial, vol. 2805 p. -. FME 2003: Formal Methods. International Symposium of Formal Methods Europe (Pisa, Italy, September 8-14, 2003). Stefania Gnesi, Keijiro Araki, Dino Mandrioli (eds.). Springer, 2003.  
5Laforenza D. Guest editorial. In: Computing and Informatics. Editorial, vol. 21 (4) pp. 289 - 291. Institute of Informatics, SAS, 2003.  
6Peters C. Editorial activity - CLEF 2003 Working notes. In: Cross Language Evaluation Forum. Editorial, vol. 1 pp. 1 - 5. Results of the CLEF 2003 Cross-Language System Evaluation Campaign (Trondheim, Norway, 21-22 August 2003). Carol Peters (ed.). CLEF, 2003.  
7Sebastiani F. Editorial activity - ECIR 2003. In: Lecture Notes in Computer Science. Editorial, vol. 2633 pp. v - vi. Advances in Information Retrieval. 25th European Conference on IR Research, ECIR 2003 (Pisa, Italy, April 14-16, 2003). Proceedings. Fabrizio Sebastiani (ed.). Springer, 2003.  

Technical reports

   2003
1Aloia N., Concordia C. A Public Access Web Information System for the Italian Ministry of the Environment. The document has been submitted to, Technical report, 2003.  
2Aloia N., Concordia C., Paratore M. T. Automatic GUI generation for WEB based Information Systems. Technical report, 2003.  
3Aloia N., Concordia C., Paratore M. T., Tardelli S., Versienti L. Dal sistema informativo INFEA al sistema informativo SVS. Technical report, 2003.  
4Aloia N., Concordia C., Weinbach G. EAI: concepts and trends. The document has been submitted to, Technical report, 2003.  
5Amato G., Gennaro C., Savino P. D-Lib - Audio/Video Digital Library Report. Digital Library Competence Center. Deliverable D5.1.1, 2003.  
6Amato G., Debole F., Zezula P., Rabitti F. YAPI: Yet Another Path Index for XML searching. Technical report, 2003.  
7Anselmo L., Pardini C. BeppoSAX Reentry Campaign - Final Report. In: The document, 2003.  
8Anselmo L., Pardini C. BeppoSAX Reentry Predictions. Bulletins No. 0-25, Reentry Predictions and Reentry Reports issued for the ASI Contract No. I/408/02/0, Pisa, 14 January - 30 April 2003. Document n. /cnr.isti/2003-B5-10, 2003.     
9Anselmo L. Risk Analysis and Management of the BeppoSAX Reentry. In: The document, 2003.  
10Anselmo L., Pardini C. TerraSAR-X Orbital Debris Assessment. The report is confidential and cannot be put on the web The document has been submitted to other: German Space Agency (DLR), Technical report, 2003.
11Arrighi R., Bonuccelli M., Lonetti F., Martelli F. Integrating GSM Networks and Internet: New Unstructured Services. The document has been submitted to Journal ERCIM News No. 54, July 2003, Technical report, 2003.
12Avancini H., Straccia U. Personalization, Collaboration, and Recommendation in the Digital Library Environment CYCLADES. The document will be submitted to Journal: IEEE Internet Computing, Technical report, 2003.  
13Avancini H., Straccia U. User Awareness in CYCLADES: a Collaborative and Personalized Environment for Open Digital Archives. The document will be submitted to Conference: IADIS International Conference, Technical report, 2003.  
14Baldacci M. B., Biagioni S., Borri F., Thanos C. D-Lib - Evaluation Report. Digital Library Competence Center. Deliverable D6.1.1, 2003.  
15Ballatore P., Bedini L. Application of minimum coherence criterion for blind source separation. Internal note, 2003.  
16Ballatore P. Comment on the application of the independent component analysis for the blind source separation of microwave astrophysical backgrounds. Internal note, 2003.  
17Ballatore P., Lanzerotti L. J., Maclennan C. G. Geomagnetic variations and ionospheric currents at southern high latitudes. Internal note, 2003.  
18Ballatore P. Relationship Among Pc5 Micropulsations, Auroral Activity and Relativistic Electrons: Preliminary Observations. Internal note, 2003.  
19Ballatore P. Scientific discussion on the relationship between the solar wind speed and the geomagnetic activity. Internal note, 2003.  
20Bandelloni R., Paternò F. Migratory User Interfaces Able to Adapt to Various Interaction Platforms. The document has been submitted to Journal International Journal of Human Computer Studies, Technical report, 2003.  
21Baraglia R., Ferrini R., Ritrovato P. A Static Mapping Heuristic for Mapping Parallel Applications to Heterogeneous Computing Systems. Submitted to "Concurrency and Computation: Practice and Experience" (International Journal), Technical report, 2003.  
22Bartoli G., Fagni T. Manuale di installazione ed amministrazione del cluster Linux. Internal note, 2003.     
23Bartoli G., Fagni T. Manuale utente del cluster Linux. Internal note, 2003.     
24Bazzano S., Bertini G., Di Giovannantonio L. Sviluppo software per acquisizione di immagini mediante dispositivo portatile. Contratto di collaborazione NES S.r.l. - ISTI/CNR, nota interna, maggio 2003. Internal note, 2003.  
25Bedini L., Bottini S., Baccigalupi C., Ballatore P., Herranz D., Kuruoglu E. E., Salerno E., Tonazzini A. A semi-blind approach for statistical source separation in astrophysical maps. The document has been submitted to Journal Monthly Notices of Royal Astronomical Society, Technical report, 2003.  
26Bernardeschi K., Padovani C., Pasquinelli G. Numerical modelling of the structural behaviour of Buti's bell tower. It will be published in: Journal of Cultural Heritage Link The document has been submitted to Journal Journal of Cultural Heritage, Technical report, 2003.
27Bernardeschi K., Padovani C., Giuseppe P. Structural analysis of Buti's bell tower. Internal note, 2003.  
28Bernardeschi K., Degl'Innocenti S., Lucchesi M., Padovani C., Pagni A., Pasquinelli G., Zani N. The finite element code COMES-NOSA for the structural analysis of ancient masonry constructions. User's manual. Document n. /cnr.isti/2003-B5-15, 2003.  
29Bertini G., Di Salvo V. G. An identification system of musical tones. Internal note, 2003.  
30Bertini G., Carreras F., Di Salvo V. G. Exploitation of the auralization paradigm in the virtual reality environment application. Internal note, 2003.  
31Bertini G., Di Salvo V. G. La trasmissione numerica di dati con la modulazione OFDM in frequenza. Internal note, 2003.  
32Bertini G., Di Salvo V. G., Gaffi W., Neri R., Rocchi A. Microprocessori per DSP - Stato dell'arte - Modelli recenti e tools di sviluppo: alcune applicazioni nel settore telecom. Contratto di collaborazione SIELCO S.r.l. - ISTI/CNR, nota interna, maggio 2003. Internal note, 2003.  
33Bertini G., Di Salvo V. G. The auralization paradigm in the virtual reality environment. Il pdf è temporaneo, Internal note /cnr.isti/2003-B4-041, 2003.  
34Bertolino A., Marchetti E., Mirandola R. Propean, a RT-UML based Approach to Help Manager's Decision-making. The document other, Technical report, 2003.  
35Biagioni S. Convenzione fra: ISTI-CNR e Infologic S.R.L. Intervento nell'ambito della Presentazione della Convenzione stipulata tra Infologic srl e ISTI (ISTI, Pisa 24 novembre 2003). Document n. /cnr.isti/2003-B5-26, 2003.  
36Biagioni S., Carlesi C. ETRDL: a Digital Library Infrastructure for academic self-publishing. Corso: 'A Digital Library Infrastructure for Self Publishing', Pisa 23-6-2004 ( DLib Center: First part of a two days course for people coming from different Polish Research Institutions and Archives). Document n. /cnr.isti/2003-B5-25, 2003.  
37Bolognesi T. On state-oriented vs. event-oriented thinking in formal behavioural specifications. The document will be submitted to Conference FASE 2004 (deadline October 2003), Technical report, 2003.  
38Bonchi F., Giannotti F., Mazzanti A., Pedreschi D. ExAnte: Anticipated Data Reduction in Constrained Patterns Mining. 050-315-2934, Technical report, 2003.  
39Bondavalli A., Di Giandomenico F., Grandoni F., Lollini P., Porcarelli S., Mura I. CAUTION IST-2001-38229: Report of model-based validation activities. CAUTION IST-2001-38229 research project. Deliverable D-3.6, 2003.  
40Bonito A. B. Wireless networks. The document :, Technical report, 2003.  
41Borgo R., Pascucci V. Distributed oriented massive data management: progressive algorithms and data structures. The document has been submitted to Journal : Data Science Journal, Codata, Technical report, 2003.  
42Borgo R., Cignoni P., Scopigno R. Simplicial-based multiresolution volume datasets management: an overview. The document has been submitted to other : (in) Geometric Modeling for Scientific Visualization, Spinger Verlag, Technical report, 2003.  
43Bozzi E., Chimenti M., Salvetti O., Zucchelli A. Ispezione mediante ultrasuoni di materiali lapidei; risultati preliminari su campioni di marmo. Internal note, 2003.  
44Bozzi E., Chimenti M., Salvetti O., Zucchelli A. Le antenne a patch come sensori per indagini non distruttive a microonde su campioni di marmo. Internal note, 2003.  
45Bozzi E., Chimenti M., Gagliardi G., Salerno E., Salvetti O., Zucchelli A. Progetto preliminare di un sistema per la misura in linea della porosità in piastrelle di ceramica. Internal note, 2003.  
46Bozzi E., Chimenti M., Salvetti O., Zucchelli A. Rassegna sulle tecniche non distruttive per la caratterizzazione dei difetti all'interno di materiali lapidei. Internal note, 2003.  
47Bozzi E., Chimenti M. Studio di fattibilità di un sistema per il rilevamento del moto di un oggetto mediante l'analisi d'immagini stereoscopiche. Internal note, 2003.  
48Bozzi E., Chimenti M., Pieri G., Salvetti O. Una procedura per la compressione di dati volumetrici mediante una tecnica PCA. Internal note, 2003.  
49Braschler M., Peters C. Cross-Language Evaluation Forum: Objectives, Results, Achievements. The document has been submitted to Journal Information Retrieval, Kluwer, Technical report, 2003.  
50Callieri M., Cignoni P., Ganovelli F., Impoco G., Montani C., Pingi P., Ponchio F., Scopigno R. Visualization and 3D data processing in David's restoration. The document has been submitted to Journal : Computer Graphics and Applications, IEEE, Technical report, 2003.  
51Candela L., Castelli D., Pagano P. The CYCLADES Collection Service. The document :, Technical report, 2003.  
52Cappelli A., Giovannetti E. L'interazione Uomo-Robot. Pubblicato nella Collana, Internal note, 2003.     
53Carlesi C. 2003: Censimento dei sistemi di Istituto. Internal note, 2003.     
54Carlesi C. Sicurezza Informatica & 'Computer Crime'. Internal note, 2003.     
55Carpenter L., Castelli D., Day M., Rachel Heery R., Hunter P. OAF - Final review of organisational issues. Open Archive Forum. Deliverable OAF D3.2, 2003.  
56Carroll J. J., Martelli S., Signore O. XLink in XHTML to Represent RDF. Technical report, 2003.  
57Castelli D., Pagano P., Simi M. D-Lib - Open access to DLs testbed - Report D2.1.1. Digital Library Competence Center. Deliverable D2.1.1, 2003.  
58Castelli D., Carpenter L., Dobratz S., Mattaei B. OAF - Workshop Report 2. Open Archive Forum. Deliverable OAF D4.3, 2003.     
59Castelli D., Carpenter L., Dobratz S., Hunter P., Matthaei B. OAF - Workshop Report 3. Open Archive Forum. Deliverable OAF D4.5, 2003.     
60Celandroni N., Davoli F., Ferro E., Vignola S., Zappatore S., Zicola A. An experimental study on the Quality of service of video encoded sequences over an emulated rain-faded satellite channel. The document has been submitted to Journal IEEE Journal of Selected Areas in Communications, Technical report, 2003.  
61Celandroni N. Comparison of FEC types to optimize TCP connections over AWGN satellite channels. Update version Link The document has been submitted to Journal IEEE Transactions on Wireless Communications, Technical report, 2003.
62Celandroni N., Davoli F., Ferro E., Gotta A. Complete Partitioning Allocation Policies in a Rain Faded Satellite Environment. The document has been submitted to Journal Wireless Networks, Technical report, 2003.  
63Celandroni N., Ferro E., Potortì F. Goodput optimization of long-lived TCP connections in a faded satellite channel. Extended Version. The document :, Technical report, 2003.  
64Cerri S., Barcaro U. Un pacchetto software per l'analisi automatica della microstruttura del sonno NREM umano. Internal note, 2003.  
65Chessa S. IS-MANET - Sperimentazione di applicazioni DS2 su MANET single hop IEEE802.11. Project report /, 2003.  
66Chesta C., Paternò F., Santoro C. Design and Evaluation of a Tool for Nomadic Interface Development. The document has been submitted to Journal Special issue on Bridging the Process and Practice Gaps Between Software Engineering and Human Computer Interaction, Technical report, 2003.  
67Chimenti M., Di Natali C., Mariotti G., Paganini E., Pieri G., Salvetti O. An IR image processing approach for characterising combustion instability. The document has been submitted to Conference 7th International Workshop on Advanced Infrared and Technology Applications, Technical report, 2003.  
68Cignoni P., Scopigno R., Tarini M. A simple Normal Enhancement technique for Interactive Non-photorealistic Renderings. The document has been submitted to Journal ELSEVIER Computers & Graphics (IN PRESS), Technical report, 2003.  
69Ciompi P. Note on an extremal problem arising from the diagnosis of regularly interconnected systems diagnosis of regularly interconnected systems. The document will be submitted to Journal: Theoretical Computer Science, Technical report, 2003.  
70Colantonio S., Salvetti O. Categorizzazione automatica di immagini mediante algoritmi neurali. Internal note, 2003.  
71Colantonio S., Salvetti O. Riconoscimento e classificazione automatici di microemboli cerebrali in immagini ultrasonografiche. Internal note, 2003.  
72Costagli M., Kuruoglu E. E., Ahmed A. Source Separation of Astrophysical Images Using Particle Filters. The document will be submitted to Conference : Conference on Blind Source Separation and Indpendent Component Analisys, Technical report, 2003.  
73Costagli M. Source separation of astrophysical images using particle filters: Matlab Codes - Version 1.0. Internal note, 2003.  
74Cresci G., Diciotti R., Medves R. Considerazioni sul progetto del sistema informativo del personale. Internal note, 2003.  
75Debole F., Sebastiani F. An Analysis of the Relative Hardness of Reuters-21578 Subsets. The document has been submitted to Journal : Journal of American Society of Information Science and Technology, Technical report, 2003.  
76Degl'Innocenti S., Padovani C. A numerical method for the limit analysis of masonry structures of masonry structures. Published in: Structural Engineering and Mechanics, Vol. 18 n. 1 (2004), p. 1-20 Link The document Journal: STRUCTURAL ENGINEERING AND MECHANICS, Technical report, 2003.
77Degl'Innocenti S., Bernardeschi K., Lucchesi M., Padovani C., Pagni A., Pasquinelli G., Zani N. Il codice di calcolo NOSA per l'analisi strutturale di antiche costruzioni in muratura. Presentazione alla mostra Restauro 03, Salone dell'arte del Restauro e della Conservazione dei Beni Culturali e Ambientali (Ferrara 2003). Document n. /cnr.isti/2003-B5-16, 2003.  
78Fagni T., Orlando S., Palmerini P., Perego R., Silvestri F. A hybrid strategy for caching Web search engine results. Accettato alla conferenza WWW2003, The Twelfth International World Wide Web Conference, 20-24 May 2003, Budapest, HUNGARY, Technical report, 2003.  
79Fagni T. Analisi del framework XCat come ambiente di supporto alla programmazione di applicazioni ad alte prestazioni per ambienti grid-enabled. In: The document other: The paper is a techincal report related to the analysis of a software library evaluated for a task inside the FIRB reaseach project. 2003.  
80Fantechi A., Gnesi S. Action-based Model Checking (and its applications to distributed, mobile, object-oriented systems). The document has been submitted to Conference: FMOODS 03, Technical report, 2003.  
81Fantechi A., Gnesi S., Lami G., Maccari A. Application of Linguistic Techniques for Use Cases Analysis. The document has been submitted to Journal Requirements Engineering Journal, Technical report, 2003.  
82Ferrari G., Gnesi S., Montanari U., Pistore M. A model checking verification environment for mobile systems. The document has been submitted to Journal: ACM TOSEM, Technical report, 2003.  
83Ferro E., Potortì F. Bluethooth and IEEE 802.11 Wireless Protocols: a survey and a comparison. Published in: IEEE Wireless Communications Magazine, Vol. 12, No. 1, pp. 12-26, February 2005
84Ferro E., Caviglione L. IS-MANET - Politiche di allocazione della banda satellitare in ambiente MANET. Deliverable N. 2 del WP6 nell'ambito del progetto IS-MANET. Deliverable 04, 2003.  
85Ferro E., Chessa S. IS-MANET - Rete wireless single-hop. Link satellitare in sola ricezione. Deliverable N.1 del WP5 e WP6 nell'ambito del progetto IS-MANET. Deliverable 03, 2003.  
86Ferro E. IS-MANET - WP6: protocolli per l' interconnessione tra rete MANET e rete fissa. Primo deliverable. WP6: protocolli per l' interconnessione tra rete MANET e rete fissa. Primo deliverable. Project report /, 2003.  
87Gennai F. DnsManager. Internal note, 2003.  
88Giannini S., Rigato C. Le guide di LIBERO. I moduli Administrator, Manager, Catalogazione. Internal note, 2003.  
89Giannini S. Sistema di automazione bibliotecaria LIBERO. L'esperienza dell'Area della Ricerca CNR di Pisa : percorso e risultati. Intervento nell'ambito della Presentazione della Convenzione stipulata tra Infologic srl e ISTI (ISTI, Pisa 24 novembre 2003). Document n. /cnr.isti/2003-B5-22, 2003.  
90Giannotti F., Nanni M., Perego R. WebDigger. Technical and amministrative report. Year 1. no available. Project report no available, 2003.  
91Gnesi S., Mazzanti F. AGILE - Modal logics for behavioural properties of mobile systems. AGILE research project. Deliverable 01, 2003.  
92Gnesi S., Mazzanti F. Mu-ACTL+: A temporal logic for UML Statechart diagrams. The document has been submitted to other: AGILE logic day workshop, Pisa, October 10, 2003, Technical report, 2003.  
93Gnesi S., Mazzanti F. On the fly model checking of communicating UML State Machines. The document has been submitted to Conference: VMCAI04-(Fifth International Conference on Verification, Model Checking and Abstract Interpretation), Technical report, 2003.  
94Herranz D., Kuruoglu E. E., Toffolatti L. Using alpha-stable distributions to model the point source population in CMB sky maps. It will be published in: "Astronomy & Astrophysics" (A&A) The document will be submitted to Journal Monthly Notices of the Royal Astronomical Society (MNRAS), Technical report, 2003.
95Iacopini I., Tarrini L., Miori V., Bianchi Bandinelli R. Analisi e progettazione di una architettura per l'home computing basata su XML. Internal note, 2003.  
96Kyriazakos S. A., Karetsos G. T., Di Giandomenico F., Casadevall F., Jubera M., Mura I., Tselikas N., Vlahodimitropoulos K. Managing Resources in Heterogeneous Wireless Networking Environments. The document has been submitted to Journal IEEE Wireless Communications Magazine - Special Issue on Mobility and Resource Management, Technical report, 2003.  
97Latella D., Massink M. AGILE - UML-based Description Techniques for the Design of Mobile and Distributed System. AGILE research project. Deliverable 02, 2003.  
98Latella D., Massink M., Baumeister H., Wirsing M. Mobile UML Statecharts with Localities. The document has been submitted to Conference ETAPS/FASE 04 - Barcelona, March 2004, Technical report, 2003.  
99Latella D., Massink M. On Mobility Extensions of UML Statecharts. A Pragmatic Approach. The document has been submitted to Conference CONCUR2003, Technical report, 2003.     
100Leporini B., Paternò F. Increasing Usability when Interacting through Screen Readers. The document has been submitted to, Technical report, 2003.  
101Leva M. La struttura della rete telematica dell'ISTI. Internal note, 2003.  
102Leva M. Rete ISTI. Censimento prese dati e armadi. Internal note, 2003.  
103Leva M. Rete ISTI. Censimento prese telefonia (stanze/armadi). Internal note, 2003.  
104Locuratolo E. Asso : Designing model Transformations. It will be published In: Transformation of knowledge, Information and Data: Theory and Applications. Idea Group Inc. (copyright) The document has been submitted to other: Book, Technical report, 2003.  
105Locuratolo E., Meghini C. Modelling a Digital Library Architecture. Technical report, 2003.  
106Lollini P., Bondavalli A., Di Giandomenico F., Porcarelli S. Model-based congestion analysis during outage and system reconfiguration in GPRS networks. The document has been submitted to Conference: IEEE International Symposium on Computers and Communications (ISCC 2004), Technical report, 2003.  
107Loyer Y., Straccia U. An Epistemic Foundation of Stable Model Semantics. The document will be submitted to Journal of ACM, Technical report, 2003.  
108Loyer Y., Straccia U. The Well-Founded Semantics of Logic Programs over Bilattices: an Alternative Characterisation. Technical report, 2003.  
109Marinetti S., Grinzato E., Bison P. G., Bozzi E., Chimenti M., Pieri G., Salvetti O. Statistical analysis of IR thermographic sequences by PCA. The document has been submitted to Conference 7th International Workshop on Advanced Infrared Technology and Applications, Technical report, 2003.  
110Marrè M., Bertolino A. Using Spanning Sets for Coverage Testing. Published in: IEEE Transaction on Software Engineering, vol.29 n. 11 Link The document has been submitted to Journal IEEE Transactions on Software Engineering, Technical report, 2003.
111Martinelli M. CSS - Cascading Style Sheets. Materiale del corso di specializzazione in Fisica Sanitaria dell'Università di Pisa. Document n. /cnr.isti/2003-B5-19, 2003.     
112Martinelli M., Salvetti O. Multimedia Maintenance Manual by Web. In: Not public The document other: INDeT project, 2003.
113Martinelli M., Salvetti O. The ARPA System: Adaptive Remote Protocol for Active Interfacing. Multimedia Manual. Document n. /cnr.isti/2003-B5-13, 2003.  
114Martinelli M., Salvetti O. Web Connections Standards and Interfacing. In: Not public The document has been submitted to other: INDeT project meeting, 2003.
115Martinelli M. XHTML. Materiale del corso di specializzazione in Fisica Sanitaria dell'Università di Pisa. Document n. /cnr.isti/2003-B5-20, 2003.     
116Martinelli M. XML - eXtensible Markup Language. Contenuti del corso di specializzazione in Fisica Sanitaria dell'Università di Pisa. Document n. /cnr.isti/2003-B5-17, 2003.     
117Martinelli M. XSLT - eXtensible Stylesheed Language Transformations. Contenuti del corso di specializzazione in Fisica Sanitaria dell'Università di Pisa. Document n. /cnr.isti/2003-B5-18, 2003.     
118Massink M., Latella D. Deriving Manuals from Formal Specifications. Technical report, 2003.  
119Massink M. FM 2003 Tutorial Notes. Tutorial Notes. Document n. /cnr.isti/2003-B5-14, 2003.     
120Massink M. Trends in verification and validation. Appendix G of Deliverable D1.1 of EU Proj. IST-2001-37553 (AMSD) 'A Dependability Roadmap for the Information Society in Europe. Part 3. Project report D1.1 - IST-2001-37553, 2003.  
121Matthaei B., Dobratz S., Hunter P., Castelli D. OAF - Review of technical issues arising from metadata harvesting, interoperating services. Open Archive Forum. Deliverable OAF - D2.3, 2003.     
122Mazzanti F. UMC User Guide. The document, Technical report, 2003.  
123Meghini C., Spyratos N., Tzitzikas Y. Extending incomplete information sources. The document has been submitted to Journal: Theoretical Computer Science, Technical report, 2003.  
124Meghini C., Venerosi P. Un modello di sviluppo di sistemi informativi : Fase I, parte I. Dai concetti alla definizione delle entita'. Internal note, 2003.  
125Meghini C., Venerosi P. Un modello di sviluppo di sistemi informativi : Fase I, parte II: La relazione causale e il calcolo degli eventi. Internal note, 2003.  
126Milani A., Rossi A., Villani D. Mathematical models used in the BepiColombo simulations. Study Note per l'Agenzia Spaziale Europea, per lo Studio "BepiColombo Radio Science Experiment (RSE) Overall Performance Assessment". Project report no available, 2003.  
127Milani A., Rossi A., Villani D. Radio science simulations detailed output. Study Note per l'Agenzia Spaziale Europea, per lo Studio "BepiColombo Radio Science Experiment (RSE) Overall Performance Assessment". Project report no available, 2003.  
128Milani A., Rossi A., Villani D. The BepiColombo radio science simulations. Study Note per l'Agenzia Spaziale Europea, per lo Studio "BepiColombo Radio Science Experiment (RSE) Overall Performance Assessment". Project report no available, 2003.  
129Mori G., Paternò F., Santoro C. TERESA: An Environment for the Design and Development of Multi-Platform User Interfaces. The document has been submitted to Journal IEEE Transactions on Software Engineering, Technical report, 2003.  
130Muccini H., Bertolino A., Inverardi P. Using Software Architecture for Code Testing. Published in: IEEE Transactions on Software Engineering, Vol 30 N.o 3, March 2004, p. 160-171 Link The document has been submitted to Journal IEEE Transactions on Software Engineering, Technical report, 2003.
131Paganelli L., Paternò F. A Tool for Creating Design Models from Web Site Code. The document, Technical report, 2003.  
132Paganelli L., Paternò F. Tools for Remote Usability Evaluation of Web Applications through Browser Logs and Task Models. Technical report, 2003.  
133Palamidese P., Carreras F., Coltelli P., Massei L., Bigliazzi M. DHX - Virtual reality storyboard: the case of the visual and acoustic tour of the Baptistery of Pisa. Digital Artistic and Ecological Heritage Exchange - IST-2001-33476. 2003.  
134Pardini C., Anselmo L. BEPPOSAX reentry predictions issued for the temporary mission structure established at the Civil Protection Department. Raccolta delle note informative trasmesse alla Struttura Temporanea di Missione costituita presso il Dipartimento della Protezione Civile durante la campagna di rientro del satellite BeppoSAX. Technical report, 2003.  
135Pardini C., Anselmo L. The Evolution of the Ballistic Parameter of the BeppoSAX Satellite (2000-2002). In: The document, 2003.  
136Renda M. E., Straccia U. A Personalized Collaborative Digital Library Environment: a model and an application. The document has been submitted to Journal Information Processing and Management, Technical report, 2003.  
137Romano G. A. Il metaopac pisano: l'organizzazione logica e il mapping fisico. Internal note, 2003.     
138Romano G. A. Il Metaopac Pisano: descrizione tecnica e procedure di recovery. Per eventuali problemi o delucidazioni inviare un mail a giuseppe.romano@isti.cnr.it, Internal note, 2003.     
139Romano G. A. Isis/GAS: manuale di installazione e d'uso. Per eventuali problemi di installazione contattare giuseppe.romano@isti.cnr.it, Internal note, 2003.     
140Romano G. A. Isis/GAS: un sistema multi piattaforma per l'accesso a basi di dati testuali via Internet. Internal note, 2003.     
141Salerno E. IFATEST v.0.0: manuale del programmatore. Internal note, 2003.  
142Salerno E. Un sistema per misure multistatiche di campo elettromagnetico diffuso. Internal note, 2003.  
143Savino P., Peters C. ECHO: a Digital Library for Historical Film Archives. The document has been submitted to Journal Journal of Digital Libraries, Springer, Technical report, 2003.  
144Signore O. Il W3C e la Web accessibility initiative (WAI). Corso sull' accessibilità dei siti internet, organizzato dalla Provincia di Venezia (Venezia Mestre). Document n. /cnr.isti/2003-B5-15, 2003.  
145Signore O. XML: tecnologia chiave del Web. Facoltà di Ingegneria. Corso di Laurea in Ingegneria Informatica. Modulo professionalizzante PROGRESS. 2003.     
146Ter Beek M. H., Massink M., Latella D., Gnesi S. Model Checking Groupware Protocols. The document has been submitted to Conference: 6th International Conference on the Design of Cooperative Systems (COOP'04), Technical report, 2003.  
147Ter Beek M. H., Martin-Vide C., Mitrana V. Synchronized Shuffles. The document has been submitted to Conference FOSSACS 2004: Foundations of Software Science and Computation Structures, Technical report, 2003.  
148Ter Beek M. H., Kleijn J. Team Automata Satisfying Compositionality. The document has been submitted to Conference FM 2003: The 12th International FME Symposium, Technical report, 2003.     
149Ter Beek M. H., Lenzini G., Petrocchi M. Team Automata for Security Analysis of Multicast/Broadcast Communication. The document has been submitted to other Workshop on Issues in Security and Petri Nets (WISP), Eindhoven, The Netherlands, 2003. Technical report, 2003.  
150Thanos C., Biagioni S., Borri F. D-Lib - Final Report. Digital Library Competence Center. Deliverable D8.1.3, 2003.  
151Tonazzini A., Bedini L., Salerno E. A Markov model for blind image separation by a mean-field EM algorithm. Published in: IEEE Trans. on Image Processing, Vol. 15, No. 2, February 2006, pp. 473-482 Link The document has been submitted to Journal: IEEE Trans on Image Processing, Technical report, 2003.  
152Tonazzini A., Bedini L., Salerno E. Independent Component Analysis for Document Restoration. Sottomesso a: International Journal on Document Analysis and Recognition, Technical report, 2003.  
153Tulone D. How accurately and efficiently can processes get the reference time?. The document has been submitted to Conference DISC 2003, Technical report, 2003.  
154Tulone D. On the efficiency of ordering operations with arbitrary failures. The document has been submitted to Conference SRDS 2003, Technical report, 2003.  
155Zezula P., Amato G., Debole F., Rabitti F. Tree Signatures for XML Querying and Navigation. Technical report, 2003.  

Software

   2003
1Trentanni G. HAL (History Dependent Automata Laboratory) - online version. [Software] Release 1.2 , 01 July 2003.  
2Trentanni G. JACK3 - Just Another Concurrency Kit. [Software] Release 3.0 , 01 January 2003.  

Dissertations

   2003
1Barsocchi P. Progettazione dell'architettura di interconnessione tra rete wireless di tipo manet e rete satellitare, con relativa sperimentazione. Università di Pisa. Thesis, 2003.  
2Leporini B. Criteria to improve web site usability and accessibility when interacting through screen readers: definition, application, and evaluation. Dip. di Informatica, Università di Pisa. Ph.D. Dissertation, 2003.  
3Marchetti E. Software testing in the XXI century: methods, tools and new approaches to manage, control and evaluate this critical phase. CNR-ISTI. Ph.D. Dissertation, 2003.  
4Tallarico M. Confronto fra due protocolli per reti wireless: IEEE 802.11 e Bluetooth. The document, Thesis, 2003.  
5Tarini M. Improving technology for the acquisition and interactive rendering of real world objects. Dipartimento di Informatica, Università di Pisa. Ph.D. Dissertation, 2003.  
6Ter Beek M. H. Team automata. A formal approach to the modeling of collaboration between system components. Tesi di dottorato. LIACS, Universita' di Leida, Paesi Bassi. Ph.D. Dissertation, 2003.  
7Tesconi M. Descrizione e gestione di workflow documentali con una applicazione basata su xml. Università degli Studi di Pisa. Thesis, 2003.  

Abstracts

   2003
1Amato G., Gennaro C., Savino P. Audio/video digital libraries: designing, searching for documents, and generating Metadata. In: JCDL 2003 - Joint Conference on Digital Libraries 2003 (Houston, USA, 27-31 May 2003).      
2Anselmo L. Current and Future Activities of the Space Flight Dynamics Laboratory of ISTI/CNR. In: Present and Future Challenges in Aerospace (ISRO Satellite Centre, Bangalore, India, 14 March 2003).   
3Bal H., De Laat C., Haridi S., Jeffery K., Labarta J., Laforenza D., Maccallum P., Massó J., Matyska L., Priol T., Reinefeld A., Reuter A., Riguidel M., Snelling D., Van Steen M., Tirler M. Next generation grid(s). In: Expert Group on European Grid Research 2005 - 2010 (Brussels, 6th June, 2003). European Commission. (European Commision, Brussels, 6th June 2003).      
4Barcaro U., Navona C., Manca M. L., Bonanni E., Salvetti O., Maestri M., Fabbrini M., Murri L. Un metodo automatico per la classificazione delle fasi A del cyclic alternating pattern nel sonno NREM. In: Congresso Nazionale Società Italiana di Neurofisiologia Clinica (Firenze, 8-10 giugno 2003).   
5Bartolini C., Lipari G. An algorithm for process partitioning and deadline assignment of a dataflow application. In: CAES Workshop, Real-Time Systems Symposium RTSS 2003 (Cancun, Mexico, 2-5 December 2003).      
6Batko M., Gennaro C., Zezula P. Scalable and Distributed Similarity Search in Metric Spaces. In: Workshop on Distributed Data and Structures (Thessaloniki, Greece, 13-14 June 2003).   
7Biagioni S., Carlesi C., Locatello L., Ortolan M., Zane A. LVDL: The First Digital Thematic Library on the Lagoon of Venice. In: ECDL 2003 - 7th European Conference on Digital Library (Throndeim, Norway, 17-22 August 2003).   
8Biagioni S., Castelli D. Sistemi di biblioteche digitali per la ricerca e la didattica: l'esperienza del CNR-ISTI. In: Giornata di studio: Biblioteche digitali per la ricerca e la didattica: esperienze e prospettive (Parma, Università degli Studi, November 22, 2003).      
9Bianchi Bandinelli R. Disabilita' e domotica. In: Le nuove tecnologie dell'informazione e della comunicazione al servizio dei disabili (Firenze, 2003). Invitato da CORECOM - Regione Toscana (Firenze, 1-1 2003).   
10Bianchi Bandinelli R. La domotica come ausilio per persone disabili e/o anziane. In: Informatica, Didattica e Disabilità 2003 (Torino, 2003). Invito del CSI Piemonte (Torino, 1-1 2003).   
11Bondavalli A., Di Giandomenico F., Grandoni F., Lollini P., Porcarelli S. Dependability provisions for a network management platform. In: International Conference on Dependable Systems and Networks (San Francisco, US, 22-25 June 2003).   
12Borgo R., Scopigno R., Cignoni P., Pascucci V. A Progressive Subdivision paradigm (PSP). In: Vision Modeling Visualization (Munich, Nov 19- 21 2003).      
13Cappelli A., Giovannetti E. Human-Robot Interaction. In: RoboCare Workshop (Rome, October 30th 2003).   
14Carlesi C. Incontro di lavoro sul tema : Sicurezza Informatica. In: Incontro di lavoro sul tema : Sicurezza Informatica (Area della Ricerca CNR - Pisa, 23 Novembre 2003).      
15Di Bono M. G., Martinelli M., Salvetti O., Benedetti E., Castorina M., Damiani A., Piervitali E., Rafanelli C. S.I.R.I.A. - The Information System of Italian Research in Antarctica. In: Workshop Italian Research in Antarctic Atmosphere (Rome, 22-25 October 2003).   
16Fantechi A., Gnesi S., John I., Lami G., Dörr J. Elicitation of Use Cases for Product Lines. In: International Workshop on Product Family Engineering PFE-5 (Siena, Italy, 4-6 November 2003).   
17Fortunati L., De Maio L., Magnelli G., Magri M., Gori L., Baldini F. Applicazione gis per i dati del monitoraggio marino costiero. In: XXXIV Congresso della Società Italiana di Biologia Marina (Sousse, Tunisia, 1-1 2003).   
18Fortunati L., De Maio L., Bucci M., Magnelli G., Melley A., Baldini F. Potenzialita' di un applicativo GIS nell'elaborazione di dati di monitoraggio marino costiero e nella rappresentazione di indicatori e indici biologici. In: XXXIV Congresso della Società Italiana di Biologia Marina (Sousse, Tunisia, 1-1 2003).   
19Goebel M., Carreras F., Palamidese P. Museums and virtual environments. In: EVA 2003 (Mosca, 1-1 2003).   
20Laforenza D., Torquati M., Tonellotto N. The ASSIST High Performance Programming Environment for Parallel and Grid Application. In: IST 2003 (Milano, Italy, October 2003).   
21Martelli S., Carroll J., Signore O. Syntax for Semantic Enriching of Web Pages. In: WWW22003. The Twelfth International World Wide Web Conference. (Budapest, Hungary, 20-24 May 2003). Proceedings pubblicati online. Poster Session (Budapest, Hungary, 20-24 May 2003).   
22Orlando S., Perego R., Silvestri C. CCSM: an Efficient Algorithm for Constrained Sequence Mining. In: Proceedings of the 6th International Workshop on High Performance Data Mining: Pervasive and Data Stream Mining, in conjunction with Third International SIAM Conference on Data Mining (San Francisco, CA., May 1-3, 2003).   
23Pardini C. De-orbiting Spacecraft with Electrodynamic Tether Devices. In: Inter-Agency Space Debris Coordination Committee (IADC) Meeting (Bangalore, INDIA, March 10-13, 2003).   
24Pardini C. Overview of space tether applications: state-of-the-art knowledge and tools. In: Inter-Agency Space Debris Coordination Committe (IADC) Meeting (Bangalore, INDIA, March 10-13, 2003).   
25Pardini C. Potential Benefits and Risks of using Electrodynamic Tethers for End-of-life De-orbit of LEO Spacecraft. In: Inter-Agency Space Debris Coordination Committee (IADC) Meeting (Bangalore, INDIA, March 10-13, 2003).   
26Paternò F., Santoro C. End User Development for Interactive Multi-Platform Applications. In: International Symposium on End User Development (Bonn, 6-7 October 2003).   
27Perozzi E., Casalino L., Rossi A., Valsecchi G. B. On the attainability of the Near Earth Asteroids. In: Planetary Science: fifth Italian Meeting (Gallipoli, Settembre 2003).   
28Porcarelli S., Castaldi M., Di Giandomenico F., Bondavalli A., Inverardi P. An approach to manage reconfiguration in fault-tolerant distributed systems. In: Workshop on Software Architectures for Dependable Systems (Portland, Oregon, May 3-11, 2003).   
29Puppin D., Stephenson M., Amarasinghe S., Martin M., O'Reilly U. Adapting convergent scheduling using machine learning. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (San Diego, 11-13 giugno 2003).      
30Romano G. A., Bernardini E. Integrazione nell'accesso alle informazioni biblioteconomiche in ambiente eterogeneo: l'esperienza pisana. In: Seminario Itale - Il catalogo e le risorse elettroniche in biblioteca: un'integrazione possibile (Scuola Normale Superiore - Pisa, 11-12 dicembre 2003).      
31Rossi A. Collision risk for the MEO navigation constellations: the case of the forthcoming Galileo. In: 21st Inter-Agency Space Debris Coordination Committee (IADC) Plenary Meeting (Bangalore, 1-1 2003).   
32Rossi A., Valsecchi G. B., Perozzi E. Risk of collision for the navigation constellations: the case of the forthcoming Galileo. In: AAS/AIAA Spaceflight Mechanics Meeting (Ponce, Puerto Rico, 9-13 February 2003).   
33Rossi A. Status and preliminary results of the upgrade of the SDM package. In: 21st Inter-Agency Space Debris Coordination Committee (IADC) Plenary Meeting (Bangalore, 1-1 2003).   
34Signore O. Attivita' e recommendation del consorzio W3C. In: Web senza barriere - Giornata di studi sull'accessibilità dei siti web, organizzata dal Comune di Prato (Prato, 1-12 2003).   
35Signore O. Beni Culturali e Semantic Web: una strada obbligata. In: Restauro 2003, Salone dell'arte del Restauro e della Conservazione dei Beni Culturali e Ambientali - Convegno "Modelli digitali per il restauro" (Ferrara, 5-4 2003).   
36Signore O. Il World Wide Web Consortium (W3C). In: Webbit03 (Padova, 9-11 May 2003) (Padova, 9-11-5 2003).   
37Signore O. Le proposte del W3C per l' accessibilità. In: Congresso Nazionale AIB (AIB2003), Seminario AIB-WEB-6: parte prima Biblioteche, OPAC e accessibilità del Web (Roma, 29-10 2003).   
38Signore O. Tecnologie W3C per l' accessibilità e l' interoperabilità. In: Progetto di E-Government - Front Office Telematico del Cittadino (Pisa, 18-12 2003).   
39Tesconi M., Marchetti A., Signore O. Un'applicazione concreta delle tecnologie W3C: il workflow documentale. In: 7th Knowledge Management 2003 (Milan, 28 March 2003) (Milano, 28-3 2003).   
comments to webmaster