Pubblicazioni

  • C. Laneve; G. Zavattaro, Foundations of web transactions, in: Foundations of Software Science and Computational Structures. Proceedings, BERLIN, Springer, 2005, 3441, pp. 282 - 298 (atti di: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005) [Contributo in Atti di convegno]

  • S. Carpineti; C. Laneve; P. Milazzo, BoPi: a distributed machine for experimenting web-services technologies, in: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), s.l, IEEE Computer Society Press, 2005, pp. 202 - 211 (atti di: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), St. Malo, Giugno 2005) [Contributo in Atti di convegno]

  • L. Bocchi; P. Ciancarini; D. Rossi, Transactional Aspects in Semantic Based Discovery of Services, in: Lecture Notes in Computer Science, HEIDELBERG, Springer-Verlag, 2005, 3454, pp. 283 - 297 (atti di: Coordination Models and Languages: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005) [Contributo in Atti di convegno]

  • D. Rossi; E. Turrini, Analyzing Performance Data Exchange in Content Delivery Networks, in: Lecture Notes in Computer Science: Networking - ICN 2005: 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II, HEIDELBERG, Springer-Verlag GmbH, 2005, 3421(atti di: Networking - ICN 2005: 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005) [Contributo in Atti di convegno]

  • L. Bocchi; P. Ciancarini; R. Moretti; V. Presutti; D. Rossi, An OWL-S based approach to express grid services coordination, in: Proceedings of the 2005 ACM symposium on Applied computing, NEW YORK, ACM Press, 2005, pp. 1661 - 1667 (atti di: Symposium on Applied Computing, Santa Fe, New Mexico, USA, March 13 -17, 2005) [Contributo in Atti di convegno]

  • G. Lodi; F. Panzieri; D. Rossi; E. Turrini, QoS-aware Application Servers: an Experimental Evaluation, in: Fourth IEEE International Symposium on Network Computing and Applications, LOS ALAMITOS, CA, IEEE Computer Society, 2005, pp. 259 - 262 (atti di: 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), Cambridge, MA, USA, July 27 - 29, 2005) [Contributo in Atti di convegno]

  • S. Mignani; S. Cagnone; G. Casadei; A. Carbonaro, An item response theory model for students ability evaluation using computer-automated test results, in: New developments in Classification and data Analysis, HEIDELBERG, Springer-Verlag, 2005, pp. 325 - 332 (STUDIES IN CLASSIFICATION, DATA ANALYSIS, AND KNOWLEDGE ORGANIZATION) [Capitolo/Saggio in libro]

  • A. Marcozzi; D. Hales; G. Jesi; S. Arteconi; O. Babaoglu, Tag-Based Cooperation in Peer-to-Peer Networks with Newscast, in: Self-Organization and Autonomic Informatics, AMSTERDAM, IOS Press, 2005, pp. 365 - 379 (atti di: SOAS: International Conference on Self-Organization and Adaptation of Multi-agent and Grid Systems, Glasgow, Scotland, Dicembre 2005) [Contributo in Atti di convegno]

  • D. Hales; S. Arteconi; O. Babaoglu, SLACER: Randomness to Cooperation in Peer-to-Peer Networks, in: Proceedings of the First International Conference on Collaborative Computing, LOS ALAMITOS, IEEE Computer Society Press, 2005, pp. 1 - 5 (atti di: StoDiS: International Workshop on Stochasticity in Distributed Systems, San Jose, USA, Dicembre 2005) [Contributo in Atti di convegno]

  • F. Grandi; M. R. Scalas; F. Mandreoli; R. Martoglia; E. Ronchetti; P. Tiberio, Accesso Personalizzato a Documenti Multiversione per Applicazioni nel Settore dell’eGovernment, in: Comunità Virtuale dalla Ricerca all’Impresa dalla Formazione al Cittadino, PASIAN DI PRATO (UD), Lithostampa, 2005, pp. 130 - 134 (atti di: AICA 2005 - XLIII Congresso Annuale, Udine, Italia, 5-7 Ottobre 2005) [Contributo in Atti di convegno]

  • M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro, Security Issues in the Tuple-Space Coordination Model, in: Formal Aspects in Security and Trust, BERLINO, Springer, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2005, 173, pp. 1 - 12 (atti di: Workshop on Formal Aspects in Security and Trust, Toulouse, August 22-27, 2004) [Contributo in Atti di convegno]

  • M.Boari;A.Corradi;E.Lodolo;M.Roccetti;M.Colajanni, SWIMM: Servizi web interattivi e multimodali per la mobilità, in: ATTI XLIII Congresso Annuale AICA, UDINE, Università degli Studi, 2005, pp. 587 - 596 (atti di: XLIII Congresso Annuale AICA, UDINE, 5-7 Ottobre 2005) [Contributo in Atti di convegno]

  • Capitani P.; Ciaccia P., Warping the Time on Data Streams, in: 20 Simposio Brasileiro de Banco de Dados (SBBD 2005), PORTO ALEGRE, Anais, 2005, pp. 310 - 324 (atti di: 20th Brasilian Symposium on Databases (SBBD 2005), Uberlandia, MG, Brasil, October 3-7, 2005) [Contributo in Atti di convegno]

  • Capitani P.; Ciaccia P., Efficiently and Accurately Comparing Real-valued Data Streams, in: Proceedings of the 13th Italian Symposium on Adanced Database Systems (SEBD 2005), ROMA, Aracne, 2005, pp. 161 - 168 (atti di: 13th Italian Symposium on Adanced Database Systems (SEBD 2005), Brixen-Bressanone (Bozen-Bolzano), Italy, June 19-22, 2005) [Contributo in Atti di convegno]

  • G. Moro; S. Bergamaschi; K. Aberer, Agents and Peer-to-Peer Computing, Third International Workshop, AP2PC 2004, New York, USA, Revised and Invited Papers, Springer LNAI 3601, BERLIN, Springer, 2005, pp. XV, 1-245 (Lecture notes in artificial intelligence). [Curatela]

  • M. Gabbrielli; G. Gupta (eds.), Proceedings of the 21st International Conference on Logic Programming, HEIDELBERG, Springer-Verlag, 2005, pp. 454 (Lecture Notes in Computer Science). [Monografia/Trattato scientifico in forma di libro]

  • G. Delzanno; M. Gabbrielli, Compositional Verification of Asynchronous Processes via Constraint Solving, in: Proceedings of ICALP 2005, HEIDELBERG, Springer-Verlag, 2005, LNCS 3580, pp. 1239 - 1250 (atti di: ICALP, Lisboa, 2005) [Contributo in Atti di convegno]

  • M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro, Supporting e-commerce systems formalization with choreography languages, in: Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2005, pp. 831 - 835 (atti di: 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, Santa Fe (NM, USA), Marzo 2005) [Contributo in Atti di convegno]

  • F. Callegati; D. Careglio; W. Cerroni; G. Muretto; C. Raffaelli; J. Solé-Pareta; P. Zaffoni, Keeping the Packet Sequence in Optical Packet-Switched Networks, «OPTICAL SWITCHING AND NETWORKING», 2005, 2, pp. 137 - 147 [Articolo in rivista]

  • A. Amoroso; M.P. Di Pasquale; M. Masotti, Securing Data by Steganography on Small Devices, in: Euromedia 2005, GHENT, EUROSIS-ETI, 2005, pp. 62 - 66 (atti di: Euromedia 2005, Toulouse, France, Aprile 11-13, 2005) [Contributo in Atti di convegno]