Pubblicazioni

N. Busi; G. Zavattaro, A Process Algebraic View of Coordination, in: null, 2006, 162, pp. 141 - 145 (atti di: Workshop "Essays on Algebraic Process Calculi" (APC 25), Bertinoro, Italy, 01-05 August 2005) [Contributo in Atti di convegno]

F. Callegati; W. Cerroni; G. Corazza; C. Raffaelli, Optical Packet Switching: A Network Perspective, in: Networking Workshop, TORINO, s.n, 2006(atti di: 2006, Courmayer, 11-13 Gennaio) [Contributo in Atti di convegno]

C.Blum; A.Roli; M.Sampels, Hybrid Metaheuristics: Editorial to the special issue, in: Journal of Mathematical Modelling and Algorithms: Special issue on Hybrid Metaheuristics, BERLIN, Springer, 2006, pp. 1 - 3 [Breve introduzione]

F. Almeida; M. Blesa; C. Blum; J.M. Moreno; A. Roli; M. Sampels, Hybrid Metaheuristics: Preface to the proceedings of HM2006, in: Hybrid Metaheuristics - Third International Workshop, HM 2006, BERLIN, Springer, 2006, pp. V - VI [Breve introduzione]

P. Bellavista; C.-M. Chen; A. Corradi; M. Daneshmand, Proceedings of the 11th IEEE International Syposium on Computers and Communications (ISCC'06), LOS ALAMITOS, CALIFORNIA, IEEE Computer Society Press, 2006, pp. 1041 . [Curatela]

N. Busi; R. Gorrieri, On the Computational Power of Brane Calculi, in: Transactions on Computational Systems Biology VI, Heidelberg, Springer, 2006, pp. 16 - 43 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

R.Baldacci; V.Maniezzo; D. Vigo, Exact solution of mixed CARP instances, in: Proceedings of ODYSSEUS 2006, s.l, s.n, 2006(atti di: ODYSSEUS 2006, Third International Workshop on Freight Transportation and Logistics, Altea (Spain), May 23-26, 2006) [Riassunto (Abstract)]

D. Sangiorgi, Bisimulation and Co-induction: Some Problems, in: null, 2006, 162, pp. 311 - 315 (atti di: Proceedings of the Workshop "Essays on Algebraic Process Calculi", Bertinoro, Agosto 2006) [Contributo in Atti di convegno]

Y. Deng; D. Sangiorgi, Ensuring termination by typability, «INFORMATION AND COMPUTATION», 2006, 204, pp. 1045 - 1082 [Articolo in rivista]

D. Sangiorgi, Beyond Bisimulation: The "up-to" Techniques, in: Lecture Notes in Computer Science, BERLIN, Springer, 2006, 411, pp. 161 - 171 (atti di: Formal Methods for Components and Objects, 4th International Symposium, Amsterdam, Novembre 2005) [Contributo in Atti di convegno]

A. Carbonaro; R. Ferrini, Managing concepts inside e-Learning system, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2006, 2 (3), pp. 51 - 62 [Articolo in rivista]

A. Carbonaro; R. Ferrini, Ontology-based Video Annotation and Recommendation in a Semantic Education Framework, in: Proceedings of the Semantic Web Education and Training Workshop, CHANGCHUN, Jilin University Press, 2006, pp. 15 - 22 (atti di: Semantic Web Education and Training Workshop, Beijing China, September 2006) [Contributo in Atti di convegno]

R. Baldacci; M. Boschetti; V. Maniezzo; A. Mingozzi, Decomposition, relaxation and metaheuristic generation, in: Atti Matheuristics 2006, 1st Workshop on Mathematical Contributions to Metaheuristics, s.l, s.n, 2006(atti di: Matheuristics 2006, 1st Workshop on Mathematical Contributions to Metaheuristics, Bertinoro (FC), Italy, 27-30 August 2006) [Riassunto (Abstract)]

F. Callegati, Optical Core Networks Research in e-Photon/ONe, in: 2006 International Conference on Transparent Optical Networks (ICTON), PISCATAWAY, IEEE, 2006, 3, pp. 57 - 60 (atti di: 2006 International Conference on Transparent Optical Networks (ICTON), Nottingham, UK, 12-22 Giugno 2006) [Contributo in Atti di convegno]

F. Callegati; J. Aracil; L. Wosinska; N. Andriolli; D. Careglio; A. Giorgetti; J. Fdez-Palacios; C. Gauger; M. Klinkowski; O. Gonz ?ales de Dios; G. Hu; E. Karasan; F. Matera; H. Overby; C. Raffaelli; L. Rea; N. Sengezer; M. Tornatore; K. Vlachos, Research on Optical Core Networks in the e-Photon/ONe Network of Excellence, in: IEEE INFOCOM 2006 High-Speed Networking Workshop, PISCATAWAY, IEEE, 2006(atti di: IEEE 25th Annual Conference on Computer Communications (INFOCOM 2006), Barcellona (SPAIN), 23-29 Aprile 2006) [Contributo in Atti di convegno]

E. Bonada; F. Callegati; D. Careglio; W. Cerroni; M. Klinkowski; G. Muretto; C. Raffaelli; J. Sole-Pareta;, SCWS Technique for QoS Support in Connection-Oriented Optical Packet Switching Network, in: 2006 International Conference on Transparent Optical Networks, PISCATAWAY, IEEE, 2006, 4, pp. 1 - 56 (atti di: 2006 International Conference on Transparent Optical Networks, Nottingham, 18-22 Giugno 2006) [Contributo in Atti di convegno]

A. Frisch; B. Hnich; Z. Kiziltan; I. Miguel; T. Walsh, Propagation Algorithms for Lexicographic Ordering Constraints, «ARTIFICIAL INTELLIGENCE», 2006, 170(10), pp. 803 - 834 [Articolo in rivista]

C. Bessiere; E. Hebrard; B. Hnich; Z. Kiziltan; T. Walsh, The Slide Meta-Constraint, in: Proceedings of Third International Workshop on Constraint Propagation and Implementation. Nantes, France, September 2006. Held in conjunction with the Twelfth International Conference on Principles and Practice of Constraint Programming (CP 2006), s.l, s.n, 2006, pp. 19 - 30 (atti di: Third International Workshop on Constraint Propagation And Implementation, Nantes, France, September 25, 2006) [Contributo in Atti di convegno]

C. Bessiere; E. Hebrard; B. Hnich; Z. Kiziltan; T. Walsh, The Roots Constraint, in: ., «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4204, pp. 75 - 90 (atti di: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006) [Contributo in Atti di convegno]

C. Bessiere; E. Hebrard; B. Hnich; Z. Kiziltan; T. Walsh, Filtering Algorithms for the NValue Constraint, «CONSTRAINTS», 2006, 11(4), pp. 271 - 293 [Articolo in rivista]