Pubblicazioni

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]

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]

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]

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

Blesa, M.; Blum, C.; Roli, Andrea; Sampels, M., Hybrid Metaheuristics - Second International Workshop, HM 2005, BERLIN, Springer, 2005, pp. I-XII, 1-154 (Lecture Notes in Computer Science). [Curatela]

Z. Kiziltan; C. Bessiere; B. Hnich; T. Walsh., Proceedings of the Fifth Workshop on Modelling and Solving Problems with Constraints. Held at the Nineteenth International Joint Conference on Artificial Intelligence ( IJCAI 2005 ), Edindurgh, Scotland, 31 July, 2005., S.L., S.N., 2005, pp. 88 . [Curatela]

Bononi L.; Dahlberg T.H. (a cura di): MOHSEN GUIZANI, Proceedings of the 3-rd IEEE International Workshop on Mobility Management and Wireless Access (MobiWac 2005) of the IEEE International Conference on Wireless Networks, Communications and Mobile Computing (WirelessCom 2005), PISCATAWAY, NJ, IEEE Press, 2005, pp. 2 (IEEE Proceedings of International Conference on Wireless Networks, Communications and Mobile Computing (WirelessCom 2005)). [Curatela]

M. Roccetti; B. Kozbe; M. Ulema, IEEE Communications Magazine - Special Feature on Entertainment Everywhere: System and Networking Issues in Emerging Network-Centric Entertainment Systems, Part I, Vol. 43, N. 5, May 2005, PISCATAWAY, IEEE Communications Society, 2005, pp. 45 . [Curatela]

B. Kozbe; M. Roccetti; M. Ulema, IEEE Communications Magazine - Special Feature on Entertainment Everywhere: System and Networking Issues in Emerging Network-Centric Entertainment Systems, Part II, Vol. 43, N. 6, June 2005, PISCATAWAY, IEEE Communications Society, 2005, pp. 36 . [Curatela]

LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO, Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. 281 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

Milano, Michela, Constraint and Integer Programming - Toward a Unified Methodology, DORDRECHT, Kluwer Academic Publisher, 2004, pp. 370 (OR/CS Series). [Curatela]

LEITE J.; TORRONI P. (a cura di): AA.VV., Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings, LISBON, New University of Lisbon, 2004, pp. X,260 . [Curatela]

D. Maltoni; A.K Jain (a cura di): D. MALTONI, A.K JAIN (EDS.), Biometric Authentication: ECCV 2004 International Workshop, BioAW 2004, Prague, Czech Republic, May 15th, 2004. Proceedings, PRAGUE, Springer, 2004, pp. 341 (Lecture Notes in Computer Science). [Curatela]

S. Wang; D. Yang; K. Tanaka; F. Grandi; S. Zhou; E.E. Mangina; T.W. Ling; I.-Y. Song; J. Guan; H.C. Mayr, Conceptual Modeling for Advanced Application Domains: ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004. Proceedings (LNCS 3289), HEIDELBERG, Springer-Verlag, 2004, pp. XXII+692 (Lecture Notes in Computer Science). [Curatela]

Haddad Hisham M.; Omicini Andrea; Wainwright Roger L.; Liebrock Lorie M., Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), NEW YORK, ACM, 2004, pp. 1733 . [Curatela]

Baldoni Matteo; De Paoli Flavio; Martelli Alberto; Omicini Andrea, WOA 2004 – Dagli oggetti agli agenti: sistemi complessi e agenti razionali, BOLOGNA, Pitagora Editrice, 2004, pp. IV-156 . [Curatela]

Merelli Emanuela; Gonzalez Pablo; Omicini Andrea, Models and Metaphors from Biology to Bioinformatics Tools, CAMERINO, MC, s.n., 2004, pp. X-228 . [Curatela]

Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), NEW YORK, s.n., 2004, pp. VII-312 . [Curatela]