Pubblicazioni

R. Gorrieri; C. Guidi; R. Lucchi, Reasoning about interaction patterns in Choreography, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3670, pp. 333 - 348 (atti di: Proc. of 2nd International Workshop on Web Services and Formal Methods -- WS-FM'05, Versailles, Francia, 1-3 Settembre 2005) [Contributo in Atti di convegno]

N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration: A Synergic Approach for System Design, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3826, pp. 228 - 240 (atti di: Third International Conference on Service-Oriented Computing - ICSOC'05, Amsterdam,, December 12-15, 2005) [Contributo in Atti di convegno]

Atsushi Igarashi; Saito Chieri; Mirko Viroli, Lightweight family polymorphism, in: Programming Languages and Systems, Heildeberg Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3780, pp. 161 - 177 (atti di: The Third Asian Symposium on Programming Languages and Systems (APLAS 2005), Tsukuba, Japan, 2–5 November 2005) [Contributo in Atti di convegno]

M. Magnani; D. Montesi, XML and relational data: towards a common model and algebra, in: Proceedings of International database engineering and applications symposium, s.l, IEEE Press, 2005(atti di: International database engineering and applications symposium, Montreal (Canada), July 25-27 2005) [Contributo in Atti di convegno]

N. Rizopoulos; M. Magnani; P. McBrien; D. Montesi, Uncertainty in semantic schema integration, in: 22nd British national conference on databases : workshops and posters, SUNDERLAND, University of Sunderland Press, 2005, 2, pp. 13 - 16 (atti di: British national conference on database, Sunderland (UK), 2005) [Contributo in Atti di convegno]

N. Rizopoulos; M. Magnani; P. McBrien; D. Montesi, Schema integration based on uncertainty semantic mappings, in: Proceedings of the International conference on conceptual modeling, BERLIN, Springer, 2005, 3716, pp. 31 - 46 (atti di: ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt (Austria), 2005 October 24-28) [Contributo in Atti di convegno]

M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, Protocol Specification and Verification by Using Computational Logic, in: WOA 2005 Dagli Oggetti agli Agenti - Simulazione e Analisi Formale dei Sistemi Complessi, BOLOGNA, Pitagora Editrice, 2005(atti di: WOA 2005 Dagli Oggetti agli Agenti, Camerino, 14-16 Novembre 2005) [Contributo in Atti di convegno]

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]

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]

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]

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]

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]

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]