Pubblicazioni

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]

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

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]