Pubblicazioni

M. Prandini, Securing a Linux-based Multi-User Web Server, in: Proceedings of the third international conference on Communication, Network, and Information Security, CALGARY, ACTA Press, 2006, pp. 165 - 171 (atti di: Third international conference on Communication, Network, and Information Security, Cambridge, MA, USA, 9-11 Ottobre 2006) [Contributo in Atti di convegno]

M. prandini; e.faldella; r. laschi, Mandatory Access Control applications to web hosting, in: EC2ND 2006 Proceedings of the second European conference on computer network defence, LONDON, Springer-Verlag, 2006, pp. 13 - 22 (atti di: EC2ND 2006 Second European conference on computer network defence, Pontypridd (Cardiff), Wales, UK, 13-15 Dicembre 2006) [Contributo in Atti di convegno]

Almeida, F.; Blesa, M.; Blum, C.; Moreno, J. M.; Roli, Andrea; Sampels, M., Hybrid Metaheuristics - Third International Workshop, HM 2006, BERLIN, Springer, 2006, pp. I-X,1-192 (Lecture Notes in Computer Science). [Curatela]

A. Roli, Symmetry-breaking and local search, in: Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale, s.l, s.n, 2006, pp. 89 - 97 (atti di: Workshop su Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale, Udine, 23 giugno 2006) [Contributo in Atti di convegno]

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]

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]