Pubblicazioni

Francesca Toni; Paolo Torroni (a cura di): AA.VV., Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, LONDON, City University London, 2005, pp. XII-293 . [Curatela]

D. Hirschkoff; D. Pous; D. Sangiorgi, A Correct Abstract Machine for Safe Ambients., in: Lecture Notes in Computer Science, BERLIN, Springer, 2005, 3454, pp. 17 - 32 (atti di: COORDINATION 2005, Namur, Belgium, April 20-23, 2005,) [Contributo in Atti di convegno]

R. De Nicola; D. Sangiorgi, Trustworthy Global Computing, International Symposium, LNCS 3705, BERLINO, Springer, 2005, pp. 369 (Lecture Notes in Computer Science). [Curatela]

Y. Deng; D. Sangiorgi, Ensuring Termination by Typability, in: International Conference on Theoretical Computer Science, s.l, Kluwer, 2005, pp. 619 - 632 (atti di: Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, Toulouse, France, 22-27 August 2004) [Contributo in Atti di convegno]

A. Carbonaro, Personalized Views Of Relevant Information Using A Collaborative Bookmark Management System, «MMTC E-LETTERS», 2005, 2 [Articolo in rivista]

A. Carbonaro, Defining personalized learning views of relevant learning objects in a collaborative bookmark management system, in: ZONGMIN MA, Web-Based Intelligent e-Learning Systems: Technologies and Applications, PA, Idea Group Inc., 2005, pp. . - . [Capitolo/Saggio in libro]

A. Andronico; A. Carbonaro; L. Colazzo; A. Molinari, Personalization Services for Learning Management Systems in Mobile Settings, «INTERNATIONAL JOURNAL OF CONTINUING ENGINEERING EDUCATION & LIFELONG LEARNING», 2005, 14, pp. 353 - 369 [Articolo in rivista]

Francesca Toni; Paolo Torroni, Multi-Agent Systems in Logic Programming: Challenges and Outcomes of the SOCS Project, in: AA.VV., Pre-proceedings of the Sixth International Workshop on Computational Logic in Multi-Agent Systems, LONDON, City University London, 2005, pp. 9 - 11 (atti di: Sixth International Workshop on Computational Logic in Multi-Agent Systems, City University London, UK, 27-29 June 2005) [Contributo in Atti di convegno]

V. Ghini ; G. Pau ; P. Salomoni, Always-best-served music distribution for nomadic users over heterogeneous networks, «IEEE COMMUNICATIONS MAGAZINE», 2005, Volume 43, Issues 5, pp. 69 - 74 [Articolo in rivista]

G.Delzanno|; M.Gabbrielli|; M.C. Meo, A compositional semantics for CHR., in: Proceedings of PPDP, NEW YORK, ACM Press, 2005, pp. ? - ? (atti di: Principles and practice of declarative programming, Lisboa, 2005) [Contributo in Atti di convegno]

C. Varela; P. Ciancarini; K. Taura, Worldwide computing: Adaptive Middleware and programming technology for dynamic Grid environments, «SCIENTIFIC PROGRAMMING», 2005, 13, pp. 255 - 263 [Articolo in rivista]

G. Lodi; F. Panzieri; D. Rossi; E. Turrini, Experimental Evaluation of a QoS-aware Application Server, in: Proc., WASHINGTON, DC, IEEE, 2005, pp. 259 - 262 (atti di: 4th IEEE Int. Symp. on Network Computing and Applications, Cambridge (MA, USA), 27-29 July, 2005) [Contributo in Atti di convegno]

A. Di Iorio; F. Vitali, From the writable web to global editability, in: Proceedings, NEW YORK, ACM, 2005(atti di: HT 2005 - Sixteenth ACM Conference on Hypertext and Hypermedia, Salzburg (AU), 6-9 settembre 2005) [Contributo in Atti di convegno]

A. Di Iorio; G. Montemari; F. Vitali, Beyond Proxies: XLink Support In The Browser, in: Proceedings, WREXHAM, North East Wales Institute, 2005(atti di: ITA05, the International Conference on Internet Technologies and Applications, Wrexham (UK), 7-9 September 2005) [Contributo in Atti di convegno]

F. Vitali; A. Di Iorio; D. Gubellini, Design patterns for document substructures, in: Proceedings, ALEXANDRIA (VA), IDEAlliance, 2005(atti di: Extreme Markup Languages 2005 Conference, Montreal (Canada) August 2005, 1-5 agosto 2006) [Contributo in Atti di convegno]

P. De Sabbata; N. Gessa; G. Cucchiara; T. Imolesi; F. Vitali, Supporting eBusiness with a dictionary designed in a vertical standardisation perspective, in: Proceedings, NEW YORK, IEEE, 2005(atti di: 7th International IEEE Conference on E-Commerce Technology 2005, München (D), July 19-22 2005) [Contributo in Atti di convegno]

S. Pepper; F. Vitali; L.M. Garshol; N. Gessa; V. Presutti, Survey of RDF/Topic Maps Interoperability Proposals, in: W3C Working Draft, BOSTON, W3C, 2005(atti di: W3C Semantic Web Best Practices and Deployment Working Group, s.l., 29 March 2005) [Contributo in Atti di convegno]

A. Di Iorio; F. Vitali, Web Authoring: A Closed Case?, in: Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05), NEW YORK, IEEE, 2005, pp. 95 - 103 (atti di: 38th Annual Hawaii International Conference on System Sciences (HICSS'05), Waikoloa (Hawaii), January 2005) [Contributo in Atti di convegno]

L. Baldacci; F. Capozzi; M. Golfarelli; A. Lumini; S. Rizzi; M. turano, Protein classification by surface analysis, in: LUCIANO MILANESI, GRAZIANO PESOLE, GIANCARLO MAURI, ALESSANDRO GUFFANTI, Bioinformatics ITalian Society BITS 2005, MILANO, s.n, 2005(atti di: Bioinformatics ITalian Society BITS 2005, Milano, 17-19 Marzo 2005) [Riassunto (Abstract)]

L. Baldacci; F. Capozzi; M. Golfarelli; A. Lumini; S. Rizzi; M. Turano, Pattern Recognition and data mining on protein surfaces, in: 1st European Conference on Chemistry for Life Sciences - Understanding the Chemical Mechanisms of Life, RIMINI, s.n, 2005, pp. 102 - 102 (atti di: 1st European Conference on Chemistry for Life Sciences - Understanding the Chemical Mechanisms of Life, Rimini, 4-8 ottobre, 2005) [Riassunto (Abstract)]