Pubblicazioni

L. Bononi; L. Donatiello, Collision Avoidance, Contention Control and Power Saving in IEEE 802.11 Wireless LANs, in: Handbook of Algorithms for Wireless Networking and Mobile Computing, BOCA RATON, FLORIDA, Chapman&Hall/CRC (Taylor & Francis Group), 2005, pp. 577 - 610 (Computer and Information Science Series) [Capitolo/Saggio in libro]

M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints, in: Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP), ULM, University of Ulm, 2005, pp. 53 - 64 (atti di: 19th Workshop on (Constraint) Logic Programming (W(C)LP), Ulm, 21-23 February 2005) [Contributo in Atti di convegno]

N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;, Towards a formal framework for Choreography, in: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, LOS ALAMITOS, s.n, 2005, pp. 107 - 112 (atti di: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, Linkoping, Sweden, 13-15 June 2005) [Contributo in Atti di convegno]

M. Steffen; G. Zavattaro, Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, BERLIN, Springer, 2005, pp. 321 (Lecture Notes in Computer Science). [Curatela]

M. Bravetti; L. Kloul; G. Zavattaro, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, BERLIN, Springer, 2005, pp. 348 (Lecture Notes in Computer Science). [Curatela]

A. Carayol; D. Hirschkoff; D. Sangiorgi, On the representation of McCarthy's amb in the Pi-calculus, «THEORETICAL COMPUTER SCIENCE», 2005, 330, pp. 439 - 473 [Articolo in rivista]

R. De Nicola; D. Sangiorgi, Types in concurrency, «ACTA INFORMATICA», 2005, 42, pp. 79 - 89 [Articolo in rivista]

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]