Pubblicazioni

Molesini Ambra; Denti Enrico; Omicini Andrea, From AOSE methodologies to MAS infrastructures: The SODA case study, in: 8th International Workshop “Engineering Societies in the Agents World” (ESAW’07), ATHENS, NCRS "Demokritos", 2007, pp. 283 - 298 (atti di: 8th International Workshop “Engineering Societies in the Agents World” (ESAW’07), Athens, Greece, 22-24 ottobre 2007) [Contributo in Atti di convegno]

M. Bracuto; G. D'Angelo, Detailed Simulation of Large-Scale Wireless Networks, in: Proceedings of the Distributed Simulation and Real-Time Applications, LOS ALAMITOS, IEEE Computer Society, 2007, pp. 268 - 275 (atti di: Proceedings of the 11-th ACM/IEEE International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2007)., Chania, Crete Island, Greece, October 22-24, 2007) [Contributo in Atti di convegno]

Cacciaguerra S.; D'Angelo G., Mobile Virtual Worlds: a Proximity Based Evolution, in: GAME-ON 2007: 8th International Conference on Intelligent Games and Simulation, OSTEND, EUROSIS-ETI, 2007, pp. 27 - 31 (atti di: Proceedings of the International Conference on Intelligent Games and Simulation (GAME-ON'2007)., Bologna, November 20-22, 2007) [Contributo in Atti di convegno]

C. Versari; N. Busi; R. Gorrieri, On the Expressive Power of Global and Local Priority in Process Calculi, in: Concurrency Theory., HEIDELBERG, Springer-Verlag, 2007, 4703, pp. 241 - 255 (atti di: CONCUR 2007:18th International Conference on Concurrency Theory, Lisbona, 3-8 Settembre 2007) [Contributo in Atti di convegno]

O. Babaoglu; M. Jelasity; A. Montresor; T. Binci, Firefly-inspired Heartbeat Synchronization in Overlay Networks, in: Proceedings of the First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, LOS ALAMITOS, CA, IEEE Computer Society, 2007, pp. 77 - 86 (atti di: First IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Boston, Massachusetts (USA), 9-11 Luglio 2007) [Contributo in Atti di convegno]

O. Babaoglu; S. Arteconi; D. Hales, Greedy Cheating Liars and the Fools who Believe Them, in: Engineering Self-Organising Systems, BERLIN, Springer-Verlag, 2007, 4335, pp. 161 - 175 (atti di: 4th International Workshop on Engineering Self-Organizing Applications, Hakodate, Japan, 9 May 2006) [Contributo in Atti di convegno]

M. Lombardi; M. Milano, Scheduling Conditional Task Graphs, in: Principles and Practice of Constraint Programming - CP 2007, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4741, pp. 468 - 482 (atti di: Principles and Practice of Constraint Programming - CP 2007, Providence RI USA, Settembre 2007) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Towards a Unifying Theory for Choreography Conformance and Contract Compliance, in: Software Composition. Revised Selected Papers, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4829, pp. 34 - 50 (atti di: 6th International Symposium on Software Composition, Braga, 24-25 Marzo) [Contributo in Atti di convegno]

F. Montesi; C. Guidi; G. Zavattaro, Composing Services with JOLIE, in: Proceedings of 5th IEEE European Conference on Web Services (ECOWS'07), LOS ALAMITOS, CA, IEEE, 2007, pp. 13 - 22 (atti di: 5th IEEE European Conference on Web Services (ECOWS'07), Halle, Germania, 26-28 Dicembre 2007) [Contributo in Atti di convegno]

V. Ghini; S. Cacciaguerra; G. Lodi; F. Panzieri, Enhancing Mobile E-Witness with Access Point Selection Policies, in: Proc. of ITNG 2008, 5th International Conference on Information Technology : New Generations, s.l, IEEE Computer Society Press., 2007, pp. 117 - 122 (atti di: 5th International Conference on Information Technology : New Generations (ITNG 2008), Las Vegas, Nevada, USA, April 7-9, 2008) [Contributo in Atti di convegno]

C. Laneve; L. Padovani, The must preorder revisited, in: CONCUR 2007 – Concurrency Theory, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4703, pp. 212 - 225 (atti di: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007) [Contributo in Atti di convegno]

A. Riccioni; E. Denti, vLab: an Eclipse-based Virtual Laboratory, in: FIRST INTERNATIONAL CONFERENCE ON ECLIPSE TECHNOLOGIES ECLIPSE - IT 2007, NAPOLI, Cuzzolin, 2007, pp. 81 - 92 (atti di: First International Conference on Eclipse Technologies (ECLIPSE - IT '07), Napoli, Italy, October 2007) [Contributo in Atti di convegno]

A. Ricci; E. Denti, simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services, in: Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software, TORINO, Seneca Edizioni, 2007, pp. 140 - 156 (atti di: Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software, Genova, Italy, 24-25 Settembre 2007) [Contributo in Atti di convegno]

G. Zavattaro, Compositional vs. Monolilthical Modeling of Nano Devices, in: Proc. of International Conference on Computational Methods in Science and Engineering, MELVILLE, NY, American Institute of Physics (AIP) Conf. Proc., 2007, pp. 681 - 684 (atti di: International Conference on Computational Methods in Science and Engineering (ICCMSE'07), Corfu, Settembre 2007) [Contributo in Atti di convegno]

Di Gaspero, L.; Roli, Andrea, EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms, in: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, BERLIN, Springer-Verlag, 2007, 4638, pp. 76 - 90 (atti di: Engineering Stochastic Local Search Algorithms. International Workshop, SLS 2007, Brussels, September 6-8, 2007) [Contributo in Atti di convegno]

Di Gaspero, L.; di Tollo, G.; Roli, Andrea; Schaerf, A., Hybrid Local Search for Constrained Financial Portfolio Selection Problems, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, BERLIN, Springer-Verlag, 2007, 4510, pp. 44 - 58 (atti di: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels (Belgium), May 23-26, 2007) [Contributo in Atti di convegno]

L.Di Gaspero; G.di Tollo; A.Roli; A.Schaerf, Hybrid metaheuristics for portfolio selection problems, in: Proceedings of MIC2007 - The Seventh Metaheuristics International Conference, MONTREAL, s.n, 2007(atti di: MIC 2007 - The Seventh Metaheuristics International Conference, Montreal (Canada), June 25-29, 2007) [Contributo in Atti di convegno]

L.Di Gaspero; A.Roli, Metaheuristics for the Haplotype Inference Problem: a preliminary analysis, in: Proceedings of the 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, s.l, s.n, 2007(atti di: RCRA 2007 The 14th RCRA workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Rome (Italy), 5-6 July 2007) [Contributo in Atti di convegno]

D. Sangiorgi; N. i Kobayashi; E. Sumii, Environmental Bisimulations for Higher-Order Languages, in: LICS 07, LOS ALAMITOS, IEEE Computer Society, 2007, pp. 293 - 302 (atti di: 22nd IEEE Symposium on Logic in Computer Science, Wroclaw, Polonia, Luglio 2007) [Contributo in Atti di convegno]

D. Sangiorgi; N. Kobayashi; E. Sumii, Logical Bisimulations and Functional Languages, in: Lecture Notes in Computer Science, BERLIN, Springer, 2007, 4767, pp. 364 - 379 (atti di: International Symposium on Fundamentals of Software Engineering (FSEN 2007), Teheran (Iran), April 2007) [Contributo in Atti di convegno]