Pubblicazioni

R. GABRIELLI; A. GUIDAZZI; V. MANIEZZO; M. ROFFILLI, Practical Origin-Destination traffic flow estimation, in: Proceedings Odysseus 2006, VALENCIA, s.n, 2006(atti di: Odysseus 2006, Altea, 23-26 / 5 / 2006) [Contributo in Atti di convegno]

M. A. Boschetti; R. Gabrielli; A. Guidazzi; V. Maniezzo; M. Roffilli, Origin-Destination Traffic Flow Modelling at Subregional Level, in: Proc. AIRO 2006, CESENA, AIRO, 2006, pp. 154 - 154 (atti di: AIRO 2006, Cesena, 12 - 15 / 2006) [Riassunto (Abstract)]

Mollona E., Modellazione, simulazione, gioco e apprendimento: l'approccio System Dynamics al controllo della strategia, in: Le nuove frontiere del controllo di gestione, MILANO, The McGrawHill Companies, 2006, pp. 169 - 191 [Capitolo/Saggio in libro]

M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI, Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool, in: Web Services and Formal Methods, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 58 - 72 (atti di: Third International Workshop, WS-FM, Vienna, September 8-9, 2006) [Contributo in Atti di convegno]

R. Gorrieri; H. Wehrheim, Formal Methods for Open Object-Based Distributed Systems, HEIDELBERG, Springer-Verlag, 2006, pp. 266 (Lecture Notes in Computer Science). [Curatela]

N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration Conformance for System Design, in: Coordination Models and Languages, HEIDELBERG, Springer-Verlag, 2006, 4038, pp. 63 - 81 (atti di: 8th International Conference on Coordination Models and Languages COORDINATION 2006, Bologna, Italy, June 14-16, 2006) [Contributo in Atti di convegno]

R.Gorrieri; R.Lucchi; G.Zavattaro, Supporting Secure Coordination in SecSpaces, «FUNDAMENTA INFORMATICAE», 2006, 73(4), pp. 479 - 506 [Articolo in rivista]

Roberto Gorrieri; Fabio Martinelli; Marinella Petrocchi, A Formalization of Credit and Responsibility Within the GNDC Schema, in: null, 2006, 157(3), pp. 61 - 78 (atti di: First International Workshop on Security and Trust Management (STM'05), Milano, Settembre 2005) [Contributo in Atti di convegno]

M. MILANO; M. WALLACE, Integrating Operations Research in Constraint Programming, «4OR», 2006, 4, pp. 175 - 219 [Articolo in rivista]

L. Benini; D. Bertozzi; A. Guerri; M.Milano, Allocation, Scheduling and Voltage Scaling for Energy Aware MPSOCs, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3990, pp. 44 - 58 (atti di: Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization problems, Cork, Ireland, June 2006) [Contributo in Atti di convegno]

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]