Pubblicazioni

  • M. Casadei; M. Mamei; C. Villalba; M. Viroli; F. Zambonelli, Middleware Infrastructures for Self-organising Pervasive Computing Systems, in: Self-organising Software, BERLIN, Springer Berlin Heidelberg, 2011, pp. 313 - 344 (NATURAL COMPUTING SERIES) [Capitolo/Saggio in libro]

  • J. Leite; P. Torroni; T. Agotnes; G. Boella; L. van der Torre, Preface, in: Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII Barcelona, Spain, July 17-18, 2011 Proceedings, HEIDELBERG, Springer-Verlag, 2011, pp. IV - VII (LECTURE NOTES IN COMPUTER SCIENCE) [Breve introduzione]

  • L. Nanni; A. Lumini; C. Manna, An artificial intelligence tool for predicting embryos quality, in: Artificial Intelligence: Approaches, Tools and Applications, HAUPPAUGE, NY, Nova Publishers, 2011, pp. 115 - 126 [Capitolo/Saggio in libro]

  • L. Nanni; A. Lumini; C. Manna, Artificial intelligence techniques for assisting the decision of making or postponing the embryo transfer, in: PERSPECTIVES ON PATTERN RECOGNITION, HAUPPAUGE, NY, Nova Publishers, 2011, pp. 137 - 152 [Capitolo/Saggio in libro]

  • L. Nanni; S. Brahnam; A. Lumini, Fusion of lighting insensitive approaches for illumination robust face recognition, in: Biometrics: Theory, Applications and Issues, HAUPPAUGE, NY, Nova Publishers, 2011, pp. 81 - 105 [Capitolo/Saggio in libro]

  • R. Gorrieri; M. Vernali, On Intransitive Non-interference in Some Models of Concurrency, in: Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2011, pp. 125 - 151 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • I. Lanese; A. Ravara; H. T. Vieira, Behavioral Theory for Session-Oriented Calculi, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 189 - 213 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • C. Ferreira; I. Lanese; A. Ravara; H. T. Vieira; G. Zavattaro, Advanced Mechanisms for Service Combination and Transactions, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 302 - 325 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • M. Bartoletti; L. Caires; I. Lanese; F. Mazzanti; D. Sangiorgi; H. T. Vieira; R. Zunino, Tools and Verification, in: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, BERLIN, Springer, 2011, pp. 408 - 427 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • M. A. Boschetti; V. Maniezzo, Combining Exact Methods and Heuristics, in: J.J. COCHRAN L.A. COX P. KESKINOCAK J.P. KHAROUFEH J. COLE SMITH, Wiley Encyclopedia of Operations Research and Management Science, HOBOKEN, John Wiley & Sons, Inc, 2011, pp. 747 - 755 [Voce in dizionario o enciclopedia]

  • A. Carbonaro, Forum Summarization to Support Tutor and Teacher in group interaction management, in: LYTRAS M.D. DE PABLOS P.O. DAMIANI E, Semantic Web Personalization and Context Awareness: Management of Personal Identities and Social Networking, HERSHEY, Information Science Reference, 2011, pp. 22 - 31 [Capitolo/Saggio in libro]

  • A.Roli; S.Benedettini; R.Serra; M.Villani, Analysis of attractor distances in Random Boolean Networks, in: Volume 226: Neural Nets WIRN10, AMSTERDAM, IOS Press, 2011, pp. 201 - 208 (FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS) [Capitolo/Saggio in libro]

  • M. Boreale; M. Bravetti, Advanced Mechanisms for Service Composition, Query and Discovery, in: Rigorous Software Engineering for Service-Oriented Systems, HEIDELBERG, Springer, 2011, pp. 282 - 301 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • M. Milano, Constraint Programming Links with Math Programming, in: Wiley Encyclopedia of Operations Research and Management Science, Hoboken, Wiley, 2011, pp. 951 - 965 [Capitolo/Saggio in libro]

  • L. Caires; R. De Nicola; R. Pugliese; V. Vasconcelos; G. Zavattaro, Core Calculi for Service-Oriented Computing, in: M. WIRSING M. HOLZL, Results of the SENSORIA Project - LNCS 6582, BERLIN, Springer, 2011, pp. 153 - 188 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • Vitali F, A Standard-Based Approach for the Management of Legislative Documents, in: Legislative XML for the Semantic Web. Principles, Models, Standards for Document Management, BERLIN, Springer Verlag, 2011, pp. 35 - 48 [Capitolo/Saggio in libro]

  • Palmirani M; Vitali F, Akoma-Ntoso for Legal Documents, in: Legislative XML for the Semantic Web. Principles, Models, Standards for Document Management, BERLIN, Springer Verlag, 2011, pp. 75 - 100 [Capitolo/Saggio in libro]

  • A. Checchinato; A. Ricci; M. Russo; I. Tozzi, Altri elementi patrimoniali, in: Principi contabili e di bilancio, ROMA, RIREA, 2011, pp. 517 - 634 [Capitolo/Saggio in libro]

  • Davide Sangiorgi, The pi-calculus, in: Encyclopedia of Parallel Computing, Berlino, Springer, 2011, pp. 1554 - 1562 [Capitolo/Saggio in libro]