Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

7311 pubblicazioni

  • 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]

  • STEFANO FERRETTI; MARCO ROCCETTI; SILVIA MIRRI; LUDOVICO ANTONIO MURATORI; PAOLA SALOMONI, Why LAUGHing is better tHAN SMILing, «INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING», 2007, 1:4, pp. 1 - 23 [Articolo in rivista]

  • O. Babaoglu; G.P. Jesi; A.Montresor, Proximity-Aware Superpeer Overlay Topologies, «IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT», 2007, 4, pp. 74 - 83 [Articolo in rivista]

  • V. Ghini; G. Lodi; F. Panzieri, Mobile E-Witness, «MULTIMEDIA TOOLS AND APPLICATIONS», 2007, 37, pp. 293 - 318 [Articolo in rivista]

  • 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]

  • P. Gardner; C. Laneve; L. Wischik, Linear forwarders, «INFORMATION AND COMPUTATION», 2007, 205(10), pp. 1526 - 1550 [Articolo in rivista]

  • 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]

  • V. Danos C. Laneve, Proceedings of the First Workshop on Concurrent Models in Molecular Biology (BioConcur 2003), AMSTERDAM, Elsevier, 2007, pp. 80 (Electronic Notes in Theoretical Computer Science -- vol 180(3)). [Curatela]

  • 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]

  • Nanni, Loris; Lumini, Alessandra, A multi-matcher for Ear Authentication, «PATTERN RECOGNITION LETTERS», 2007, 28, pp. 2219 - 2226 [Articolo in rivista]

  • Yehuda, Naveh; Roli, Andrea, Special Issue on Local Search, NEW YORK, Springer, 2007, pp. 143 (Constraints). [Curatela]

  • Naveh, Y.; Roli, Andrea, Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction, «CONSTRAINTS», 2007, 12, pp. 261 - 262 [Replica/breve intervento (e simili)]

  • T.Bartz-Beielstein; M.J.Blesa; C.Blum; B.Naujoks; A.Roli; G.Rudolph; M.Sampels, Hybrid Metaheuristics: Preface to the proceedings of HM2007, in: Hybrid Metaheuristics - 4th International Workshop, BERLIN, Springer-Verlag, 2007, pp. V - VI [Breve introduzione]

  • Bartz Beielstein, T.; Blesa, M. J.; Blum, C.; Naujoks, B.; Roli, Andrea; Rudolph, G.; Sampels, M., Hybrid Metaheuristics - 4th International Workshop, BERLIN, Springer-Verlag, 2007, pp. 211 (Lecture Notes in Computer Science). [Curatela]

  • 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]