Pubblicazioni
-
Gessa N.; De Sabbata P.; Marzocchi M.; Vitali F., Moda-ML: Building a collaborative sectoral framework based on ebXML, in: null, 2004, 125, pp. 297 - 300 (atti di: CAISE '04 Workshop, Riga (Latvia), June 7-11 2004) [Contributo in Atti di convegno]
-
G. Cattaneo; A. Dennunzio; L. Margara, Solution of Some Conjectures about Topological Properties of Linear Cellular Automata, «THEORETICAL COMPUTER SCIENCE», 2004, 325, pp. 249 - 271 [Articolo in rivista]
-
L. Margara; A. Pistocchi; M. Vassura, Perfect Token Distribution on Trees, in: LNCS, 11th Colloquium on Structural Information and Communication Complexity, BERLIN, Springer-Verlag, 2004, 3104, pp. 221 - 232 (atti di: 11th Colloquium on Structural Information and Communication Complexity (SIROCCO 2004), Slovakia, June, 21-23) [Contributo in Atti di convegno]
-
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]