Pubblicazioni

M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A computational logic application framework for service discovery and contracting, «INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH», 2011, 8, pp. 1 - 25 [Articolo in rivista]

O. Kafali; P. Torroni, Social commitment delegation and monitoring, in: Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6814, pp. 171 - 189 (atti di: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, July 17-18, 2011) [Contributo in Atti di convegno]

O. Kafali; F. Toni; P. Torroni, Reasoning about exceptions to contracts, in: Computational Logic in Multi-Agent Systems12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 6814, pp. 225 - 242 (atti di: 12th International Workshop on Computational Logic in Multi-Agent Systems, Barcelona, Spain, July 17-18, 2011) [Contributo in Atti di convegno]

O. Kafali; P. Torroni, Diagnosing commitments: delegation revisited (extended abstract), in: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, RICHLAND, SOUTH CAROLINA, IFAAMAS, 2011, pp. 1175 - 1176 (atti di: 10th International Conference on Autonomous Agents and Multiagent Systems, Taipei, Taiwan, May 2-6, 2011) [Contributo in Atti di convegno]

O. Kafali; F. Toni; P. Torroni, Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract), in: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, RICHLAND, SOUTH CAROLINA, IFAAMAS, 2011, pp. 1167 - 1168 (atti di: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011) [Contributo in Atti di convegno]

J. Leite; P. Torroni; T. Agotnes; G. Boella; L. van der Torre, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, HEIDELBERG, Springer-Verlag, 2011, pp. 398 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

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, Prototype reduction techniques: A comparison among different approaches, «EXPERT SYSTEMS WITH APPLICATIONS», 2011, 38, pp. 11820 - 11828 [Articolo in rivista]

L. Nanni; S. Brahnam; A. Lumini, Texture descriptors for generic pattern classification problems, «EXPERT SYSTEMS WITH APPLICATIONS», 2011, 38, pp. 9340 - 9345 [Articolo in rivista]

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]

Helmy A.; Landfeldt B.; Bononi L., Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami, Florida, USA, October 31 - November 4, 2011 ACM 2011, NEW YORK, ACM, 2011, pp. 448 . [Curatela]

Chowdhury K.; Doost-Mohammady R.; Meleis W.; Di Felice M.; Bononi L., Cooperation and Communication in Cognitive Radio Networks based on TV Spectrum Experiments, in: 2011 Proceedings of the 12-th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM), 20-24 June 2011, Lucca, Italy, Piscataway NY, IEEE Press, 2011, pp. 1 - 9 (atti di: 12-th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM),, Lucca, Italy, 20-24 June 2011) [Contributo in Atti di convegno]

Di Felice M.; Chowdhury K.R.; Kassler A.; Bononi L., Adaptive Sensing Scheduling and Spectrum Selection in Cognitive Wireless Mesh Networks, in: 2011 Proceedings of 20th International Conference on Computer Communications and Networks (ICCCN 2011), Piscataway NY, IEEE Press, 2011, pp. 1 - 6 (atti di: 20th International Conference on Computer Communications and Networks (ICCCN 2011), Maui, Hawaii, July 31 - Aug. 4, 2011) [Contributo in Atti di convegno]

Di Felice M.; Bedogni L.; Bononi L., Dynamic backbone for fast information delivery in vehicular ad hoc networks: an evaluation study, in: Proceedings of the 8th ACM Symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks (ACM PE-WASUN 2011), NEW YORK, NY, ACM, 2011, pp. 1 - 8 (atti di: 8th ACM Symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks (ACM PE-WASUN 2011), Miami, Florida, USA, October 31-November 4, 2011) [Contributo in Atti di convegno]

Di Felice M.; Chowdhury K.R.; Bononi L., Cooperative Spectrum Management in Cognitive Vehicular Ad Hoc Networks, in: Proceedings of the 3rd IEEE Vehicular Technology Conference 2011 (IEEE VNC 2011), Piscataway NY, IEEE Press, 2011, pp. 47 - 54 (atti di: 3rd IEEE Vehicular Networking Conference 2011 (IEEE VNC 2011), Amsterdam, The Netherlands, November 14-16, 2011) [Contributo in Atti di convegno]

Banchs A.; Bononi L., 2011 Workshops Proceedings of the IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (IEEE WoWMoM 2011 Workshops), Piscataway NY, IEEE Press, 2011, pp. 2 . [Curatela]

R. Gorrieri; C. Versari, An Operational Petri Net Semantics for A2CCS, «FUNDAMENTA INFORMATICAE», 2011, 109(2), pp. 135 - 160 [Articolo in rivista]

A. Aldini; R. Gorrieri, Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, HEIDELBERG, Springer-Verlag, 2011, pp. 285 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]