Pubblicazioni

A. Zanarini; M. Milano; G. Pesant, Improved algorithm for the soft global cardinality constraint, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3990, pp. 288 - 300 (atti di: Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization, Cork, Ireland, June 2006) [Contributo in Atti di convegno]

G. Pari; M. Ruggiero; A. Guerri; L. Benini; M. Milano;D. Bertozzi; A. Andrei, A Cooperative, accurate solving framework for optimal allocation, scheduling and frequency selection on energy-efficient MPSoCs, in: Proc. of the International Symposium on System-on-Chip 2006, TAMPERE, Jari Nurmi, 2006, -, pp. 183 - 186 (atti di: International Symposium on System-on-Chip 2006, Tampere Finland, Nov. 2006) [Contributo in Atti di convegno]

D. Bertozzi; A. Guerri; M.Milano; F. Poletti; M. Ruggiero, Communication-Aware Allocation and Scheduling Framework for Stream-Oriented Multi-Processor Systems-on-Chip, in: DATE '06: Proceedings of the conference on Design, automation and test in Europe, MUNICH, European Design and Automation Association, 2006, pp. 3 - 8 (atti di: Conference on Design, automation and test in Europe, MUNICH, Germany, March 2006) [Contributo in Atti di convegno]

M. Milano; F. Rossi, Constraint Programming, «INTELLIGENZA ARTIFICIALE», 2006, 1/2 Anno III, pp. 28 - 34 [Articolo in rivista]

Roman Bartak; Michela Milano, Special Issue on the International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR 2005), AH Dordrecht, Springer Verlag, 2006, pp. 185 (Constraints Journal). [Curatela]

M. Milano; M. Lombardi, Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs, in: ., «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3709, pp. 299 - 313 (atti di: International confedence on Principles and Practice of Constraint Programming, Nantes, Set 2006) [Contributo in Atti di convegno]

A. Guerri; M. Milano, The importance of Relaxations and Benders Cuts in Decomposition Techniques: Two Case Studies, in: null, 2006, 3709, pp. - - - (atti di: International Conference on Principles and Practice of Constraint Programming, Nantes, Set. 2006) [Contributo in Atti di convegno]

M. Boreale; R. Bruni; L. Caires; R. De Nicola; I. Lanese; M. Loreti; F. Martins; U. Montanari; A. Ravara; D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contributo in Atti di convegno]

M. Bravetti; M. Nunez; G. Zavattaro (a cura di): PIU' DI 30 AUTORI INTERNAZIONALI (NON SI INDICANO LE SPECIFICHE NAZIONALITA'), Web Services and Formal Methods, BERLIN, springer, 2006, pp. 287 (Lecture Notes in Computer Science n. 4184). [Curatela]

Carpineti, Samuele; Castagna, G.; Laneve, Cosimo; Padovani, L., A formal account of contracts for web services, in: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Proceedings, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 148 - 162 (atti di: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006) [Contributo in Atti di convegno]

G. Sousa Pavani; H. Waldman; F. Callegati; A. Campi; W. Cerroni, Adaptive Routing in Optical Packet Switching Networks using Ant Colony Optimization, in: Proceedings of ICT 2006, AVEIRO, Instituto Telecomunicações – Pólo de Aveiro, 2006(atti di: ICT 2006 - 13th International Conference on Telecommunications, Funchal, Madeira island, Portugal, 9-12 May 2006) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni; L. H. Bonani; F. R. Barbosa; E. Moschim; G. S. Pavani, Congestion Resolution in Optical Burst/Packet Switching with Limited Wavelength Conversion, in: Communications: A Global Bridge - Proceedings of IEEE GLOBECOM 2006, PISCATAWAY, NJ, IEEE, 2006(atti di: IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference, San Francisco, CA, USA, 27/11-01/12/2006) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni; C. Raffaelli, Impact of Optical Packet Loss and Reordering on TCP Performance, in: Communications: A Global Bridge - Proceedings of IEEE GLOBECOM 2006, PISCATAWAY, NJ, IEEE, 2006(atti di: IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference, San Francisco, CA, USA, 27/11-01/12/2006) [Contributo in Atti di convegno]

F. Callegati; A. Campi; W. Cerroni, Efficient Implementation of Scheduling Algorithms for Optical Burst Switching, in: Examining the Case for Optical Burst Switching, s.l, s.n, 2006(atti di: The Seventh International Workshop on Optical Networking Technologies - IEEE GLOBECOM 2006, San Francisco, CA, USA, 27/11/2006) [Contributo in Atti di convegno]

F. Callegati; A. Campi; W. Cerroni, Efficient Implementation of Scheduling Algorithms for Optical Burst/Packet Switching, in: Proceedings of ONDM 2006, COPENHAGEN, Technical University of Denmark, 2006(atti di: ONDM 2006 - 10th Conference on Optical Network Design and Modelling., Copenhagen, Denmark, 22-24/05/2006) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni, Which trade-off between time and wavelength congestion resolution in Optical Burst or Packet Switching?, in: Proceedings of Photonics in Switching 2006, PISCATAWAY, NJ, IEEE, 2006, pp. 48 - 50 (atti di: 2006 International Conference on Photonics in Switching, Heraklion, Crete, Greece, 16-18/10/2006) [Contributo in Atti di convegno]

Omicini Andrea; Ricci Alessandro; Viroli Mirko, Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 63, pp. 88 - 107 [Articolo in rivista]

Molesini Ambra; Denti Enrico; Omicini Andrea, Metodologie per l'ingegneria del software: approccio ad agenti, in: Atti Congresso Annuale AICA 2006, FIRENZE, Alinea Editrice, 2006, 1, pp. 271 - 280 (atti di: XLIV Congresso Annuale dell'Associazione Italiana per l'Informatica ed il Calcolo Automatico (AICA 2006), Cesena, Italy, 21-22 settembre 2006) [Contributo in Atti di convegno]

S. Bellavia; S. Lodi; B. Morini, Inferences on Kernel Density Estimates by Solving Nonlinear Systems, in: Proceedings 18th International Conference on Scientific and Statistical Database Management SSDBM 2006, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society, 2006, pp. 389 - 397 (atti di: 18th International Conference on Scientific and Statistical Database Management, Vienna, Austria, 3-5 Luglio 2006) [Contributo in Atti di convegno]

S. Lodi; G. Moro; C. Sartori, Stream Clustering Based on Kernel Density Estimation, in: ECAI 2006 17th European Conference on Artificial Intelligence, AMSTERDAM, IOS Press, 2006, 141, pp. 799 - 800 (atti di: The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29 Agosto - 1 Settembre 2006) [Contributo in Atti di convegno]