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

Pubblicazioni

2006 Elimina filtro
Contributo in atti di convegno Elimina filtro

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

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

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

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

  • Mandreoli, F.; Martoglia, R.; Penzo, Wilma; Sassatelli, S., Semantic Query Routing Experiences in a PDMS, in: Proceedings of the 3rd Italian Semantic Web Workshop on Semantic Web Applications and Perspectives (SWAP 2006), PISA, Tumarello G., Bouquet P., Signore O. (CEUR Proc.), 2006(atti di: 3rd Italian Semantic Web Workshop on Semantic Web Applications and Perspectives (SWAP 2006), Pisa, 18-20 December 2006) [Contributo in Atti di convegno]

  • 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, The Range Constraint: Algorithms and Implementation, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings, Heidelberg, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3990, pp. 59 - 73 (atti di: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006) [Contributo in Atti di convegno]

  • C. Bessiere; E. Hebrard; B. Hnich; Z. Kiziltan; T. Walsh, Among, Common, and Disjoint Constraints, in: ., «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3978, pp. 29 - 43 (atti di: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005) [Contributo in Atti di convegno]

  • M. Bravetti, Stochastic and Real Time in Process Algebra: A Conceptual Overview, in: null, 2006, 162, pp. 113 - 119 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contributo in Atti di convegno]