Pubblicazioni

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]

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]

Z. Kiziltan; B. Hnich, Proceedings of the CP 2006 Doctoral Programme. The Doctoral Programme of the Twelfth International Conference on Principles and Practice of Constraint Programming, CP 2006, Nantes, France, September 24–29, 2006., S.L., S.N., 2006, pp. 233 . [Curatela]

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]

M. Bravetti; H. Hermanns; J.-P. Katoen, YMCA -Why Markov Chain Algebra?, in: null, 2006, 162, pp. 107 - 112 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro - ITALY, 01-05 August 2005) [Contributo in Atti di convegno]

J.C.M. Baeten; M. Bravetti, A Generic Process Algebra, in: Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Amsterdam, Elsevier, 2006, 162, pp. 65 - 71 (atti di: Essays on Algebraic Process Calculi (APC 25), Bertinoro, Italy, August 01-05, 2005) [Contributo in Atti di convegno]

Sangiorgi D., Termination of processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2006, 16, pp. 1 - 39 [Articolo in rivista]

M. Roffilli; V. Maniezzo; M. A. Boschetti, GRID-based services for optimized freight distribution, in: proc. IEEE International Conference on Services Systems and Services Management" (ICSSSM06), PISCATAWAY, ieee, 2006, pp. 558 - 563 (atti di: IEEE International Conference on Services Systems and Services Management" (ICSSSM06), Troyes - F, 25-27 October 2006) [Contributo in Atti di convegno]

M. Bravetti; A. Casalboni; M. Nunez; I. Rodriguez, From Theoretical e-barter Models to an Implementation Based on Web Services, in: null, 2006, 159, pp. 241 - 264 (atti di: IPM International Workshop on Foundations of Software Engineering (Theory and Practice) (FSEN'05), Tehran (Iran), October 2005) [Contributo in Atti di convegno]

A. Bolognesi; P. Ciancarini; R. Moretti, On the Education of Future Software Engineers, in: Software Engineering Education in the Modern Age, BERLIN HEIDELBERG, Springer, 2006, pp. 186 - 205 (Lecture Notes in Computer Science 4309) [Capitolo/Saggio in libro]

D. Bottazzi; A. Corradi; R. Montanari, Context-Aware Middleware Solutions for Anytime and Anywhere Emergency Assistance to Elderly People, «IEEE COMMUNICATIONS MAGAZINE», 2006, 44, pp. 82 - 90 [Articolo in rivista]

A. Corradi; R. Montanari; A. Toninelli, Dynamic Configuration of Semantic-based Service Provisioning to Portable Devices, in: Proceedings of International Symposium on Applications and the Internet (SAINT 2006), s.l, IEEE Computer Society, 2006, pp. 62 - 71 (atti di: SAINT 2006 International Symposium onApplications and the Internet, Phoenix, 23-27 Jan. 2006) [Contributo in Atti di convegno]

A. Toninelli; R. Montanari; L. Kagal; O. Lassila, A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments, in: A Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing Environments, s.l, Springer-Verlag, 2006, pp. 473 - 486 (atti di: 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, 5-9 November 2006) [Contributo in Atti di convegno]

Bononi L.; Bracuto M.; D'Angelo G.; Donatiello L., An Adaptive Load Balancing Middleware for Distributed Simulation, in: Frontiers of High Performance Computing and Networking, NEW YORK, Springer Berlin / Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4331/2006, pp. 873 - 883 (atti di: International Workshop on Middleware Performance (WOMP 2006), Sorrento (Italy), December 4-7, 2006) [Contributo in Atti di convegno]

G. landi; E. Loli Piccolomini, Representation of high resolution images from low sampled Fourier data. Applications to dynamic MRI., «JOURNAL OF MATHEMATICAL IMAGING AND VISION», 2006, 26, pp. 27 - 40 [Articolo in rivista]

G. Moro; S. Bergamaschi; S. Joseph; J.H. Morin; A.M. Ouksel, Databases, Information Systems and Peer-to-Peer Computing., BERLIN / HEIDELBERG, Springer, 2006, pp. 417 (LNCS vol. 4125). [Curatela]