Pubblicazioni

V.Ciaschini; R.Gorrieri, Contrasting Malicious Applets by Modifying the Java Virtual Machine, in: Security and Protection in Information Processing Systems, NEW YORK, Kluwer, 2004, pp. 47 - 64 (atti di: IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, Toulouse, France., 22-27 August 2004,) [Contributo in Atti di convegno]

A. Bolognesi; P. Ciancarini, Computer Programming of Kriegspiel Endings: the case of KR vs K, in: Advances in Computer Games. Many Games, Many challenges. IFIP International Federation for Information Processing, BERLIN - HEIDELBERG, Kluwer, 2004, IFIP 135, pp. 325 - 342 (atti di: Advances in Computer Games 10, Ganz, Austria, Sept. 2003) [Contributo in Atti di convegno]

P. Ciancarini; V. Presutti, Towards Ontology Driven Software Design, in: Radical Innovations of Software and Systems Engineering in the Future, RISSEF, Revised Papers, BERLIN HEIDELBERG, Springer, 2004, LNCS 2941, pp. 122 - 136 (atti di: Monterey Workshop, Venezia, Italy, 2003) [Contributo in Atti di convegno]

M. MILANO; M. TRICK, Constraint and Integer Programming, in: Constraint and Integer Programming - Toward a Unified Methodology, BOSTON, Kluwer Academic Publisher, 2004, pp. 1 - 32 (OR/CS series) [Capitolo/Saggio in libro]

F. FOCACCI; A. LODI; M. MILANO, Exploiting Relaxations in CP, in: Constraint and Integer Programming - Toward a Unified Methodology, BOSTON, Kluwer academic publisher, 2004, pp. 137 - 167 (OR/CS Series) [Capitolo/Saggio in libro]

A. CArbonaro, Un Sistema di Raccomandazione per l’accesso a Materiale Didattico in Ambienti di Apprendimento Distribuito, «INTELLIGENZA ARTIFICIALE», 2004, 3, pp. 41 - 47 [Articolo in rivista]

A.Roli, Ant Colony Optimization, «IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION», 2004, 8, pp. 422 - 423 [Recensione in rivista]

G. Moro; A.M. Ouksel, G-Grid: A Class of Scalable and Self-Organizing Data Structures for Multi-dimensional Querying and Content Routing in P2P Networks., in: Agents and Peer-to-Peer Computing 2003, BERLIN, Springer, 2004, 2872 (2004), pp. 123 - 137 (atti di: Agents and Peer-to-Peer Computing 2003, Melbourne, Australia, July 2003) [Contributo in Atti di convegno]

C.Blum; A.Roli; M.Sampels, Proceedings of the First International Workshop on Hybrid Metaheuristics - HM2004, BRUXELLES, s.n., 2004, pp. 1-140 . [Curatela]

A.Roli, Symmetry-Breaking and Local Search: A Case Study, in: Proceedings of SymCon'04 - The Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, s.l, s.n, 2004, pp. 88 - 94 (atti di: SymCon'04 - The Fourth International Workshop on Symmetry and Constraint Satisfaction Problems, Toronto (Canada), 27 September 2004) [Contributo in Atti di convegno]

A.Roli, On the impact of small-world constraint graphs on local search, in: Proceedings of LSCS2004 - 1st International Workshop on Local Search Techniques in Constraint Satisfaction, s.l, s.n, 2004, pp. 33 - 47 (atti di: LSCS2004 - 1st International Workshop on Local Search Techniques in Constraint Satisfaction, Toronto (Canada), 27 September 2004) [Contributo in Atti di convegno]

C.Blum; A.Roli; M.Sampels, Preface to the proceddings of HM2004 - First international workshop on hybrid metaheuristics, in: Proceedings of the First International Workshop on Hybrid Metaheuristics - HM2004, BRUXELLES, s.n., 2004, pp. III - IV [Breve introduzione]

W. Harvey; Z. Kiziltan, Proceedings of SymCon'04 : THE 4TH INTERNATIONAL WORKSHOP ON SYMMETRY AND CONSTRAINT SATISFACTION PROBLEMS. A Satellite Workshop of CP'2004 (Tenth International Conference on Principles and Practice of Constraint Programming). 27 September 2004 , Toronto, Canada., S.L., S.N., 2004, pp. 104 . [Curatela]

G. Moro; C. Sartori; M. P. Singh, Second International Workshop on Agents and Peer-to-Peer Computing: Preface, LNCS 2872, in: Second International Workshop on Agents and Peer-to-Peer Computing, revised and invited papers, LNCS vol. 2872, Melbourne, Australia, BERLIN / HEIDELBERG, Springer, 2004, pp. 1 - 3 [Breve introduzione]

M. Bravetti; R. Gorrieri, Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]

M. Bravetti; G. Zavattaro, Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), AMSTERDAM, Elsevier, 2004 (Electronic Notes in Theoretical Computer Science). [Curatela]

S. Martini, Provando e riprovando, in: P. COPPOLA S. MIZZARO, Laboratorio di programmazione in Java, MILANO, Apogeo, 2004, pp. ix - x [Breve introduzione]

P. Salomoni; S. Mirri, A Multimedia Broker for Ubiquitous and Accessible Rich Media Content Transcoding, in: GlobeCom 2004 - 1st International Workshop on Networking Issues in Multimedia Entertainment (NIME 2004), PISCATAWAY, NJ, IEEE Computer Society, 2004, pp. 186 - 191 (atti di: IEEE Global Telecommunications Conference 2004 (GlobeCom 2004), Dallas, Texas, USA, 29 novembre - 3 dicembre 2004) [Contributo in Atti di convegno]

A. Nandan; G. Pau; P. Salomoni, GhostShare - Reliable and Anonymous P2P Video Distribution, in: GlobeCom 2004 - 1st International Workshop on Networking Issues in Multimedia Entertainment (NIME 2004), PISCATAWAY, NJ, USA, IEEE Communication Society, 2004, pp. 200 - 210 (atti di: IEEE Global Telecommunications Conference 2004 (GlobeCom 2004), Dallas, Texas, USA, 29 novembre - 3 dicembre 2004) [Contributo in Atti di convegno]

Brevetto 0001321505, Metodo, e relativa apparecchiatura, per la rivelazione automatica di microcalcificazioni in segnali digitali di tessuto mammarico.