Pubblicazioni

D. Rossi, X-Folders: documents on the move, «CONCURRENCY AND COMPUTATION», 2006, 18(4), pp. 409 - 425 [Articolo in rivista]

C. Blum; A. Roli; M. Sampels, Journal of Mathematical Modelling and Algorithms: Special issue on Hybrid Metaheuristics, BERLIN, Springer, 2006, pp. 1-137 (Journal of Mathematical Modelling and Algorithms). [Curatela]

S. Autexier; C. Sacerdoti Coen, A Formal Correspondence between OMDoc with Alternative Proofs and the lambda-bar-mu-mu-tilde-Calculus, in: Lecture Notes in Computer Science - Lecture Notes in Artificial Intelligence Mathematical Knowledge Management, 5th International Conference, MKM 2006, s.l, Springer, 2006, 4108, pp. 67 - 81 (atti di: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, 11-12/08/2006) [Contributo in Atti di convegno]

Nanni, Loris; Lumini, Alessandra, An advanced multi-modal method for human authentication featuring biometrics data and tokenised random numbers, «NEUROCOMPUTING», 2006, 29, pp. 1706 - 1710 [Articolo in rivista]

C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro, SOCK : A Calculus for Service Oriented Computing, in: Service Oriented Computing. Proceedings, BERLIN, Springer, 2006, 4294, pp. 327 - 338 (atti di: International Conference on Service Oriented Computing (ICSOC'06), Chicago, IL, USA, December 4-7, 2006) [Contributo in Atti di convegno]

Bragadin G.L.; Grilli S.; Luccarini L.; Mancini M.; Mello P.; Sottara D., Tecniche di intelligenza artificiale per la gestione e il controllo di impianti di depurazione. Caso di studio: SBR in scala pilota alimentato con refluo reale., in: Ambiente: tecnologie, controlli e certificazioni per il recupero e la valorizzazione di materiali ed energie., RIMINI, Maggioli Editore, 2006, pp. 106 - 111 (atti di: ECOMONDO 10^ Fiera Internazionale del Recupero di Materia ed Energia e dello Sviluppo Sostenibile., Rimini, 8-11 novembre 2006) [Contributo in Atti di convegno]

M. Bravetti; G. Zavattaro, Service Oriented Computing: A New Challenge for Process Algebras, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, 2006, 162, pp. 121 - 125 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contributo in Atti di convegno]

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