Pubblicazioni

Mirko Viroli, Effective and efficient compilation of run-time generics in Java, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 138(2), pp. 95 - 116 [Articolo in rivista]

Mirko Viroli; Giovanni Rimassa, On access restriction with Java wildcards, «JOURNAL OF OBJECT TECHNOLOGY», 2005, 4(10) [Articolo in rivista]

Danny Weyns; Michael Schumacher; Alessandro Ricci; Mirko Viroli; Holvoet Tom, Environments in multiagent systems, «KNOWLEDGE ENGINEERING REVIEW», 2005, 20(2), pp. 127 - 141 [Articolo in rivista]

Emanuela Merelli; Pablo Gonzalez; Andrea Omicini, Transactions on Computational Systems Biology III, HEIDELBERG, Springer, 2005, pp. VII-169 (Lecture Notes in Bioinformatics). [Curatela]

Corradini Flavio; De Paoli Flavio; Merelli Emanuela; Omicini Andrea, WOA 2005 -- Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi, BOLOGNA, Pitagora Editrice, 2005, pp. IV-192 . [Curatela]

A. Gal; A. Trombetta; A. Anaby-Tavor; D. Montesi, A framework for modeling and evaluating semantic reconciliation, «VLDB JOURNAL», 2005, 14, pp. 50 - 67 [Articolo in rivista]

S. Andreozzi; D. Montesi; R. Moretti, XMatch: a language for satisfaction-based selection of Grid services, «SCIENTIFIC PROGRAMMING», 2005, 13, pp. 299 - 316 [Articolo in rivista]

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. Magnani; D. Montesi, An overview of imperfection representation in semistructured data, in: Flexible Databases supporting Imprecision and Uncertainty, S.L., Springer, 2005 [Capitolo/Saggio in libro]

A.J. Bangham; B. de la Iglesia; G. Buratti; D. Montesi, Data Model and Query Languages for Biological Databases, «MMTC E-LETTERS», 2005, 2 [Articolo in rivista]

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]

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]