Pubblicazioni

M. Dastani; A. El-fallah Seghrouchni; J. Leite; P. Torroni, Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, HEIDELBERG, Springer, 2010, pp. 193 (Lecture Notes in Computer Science). [Curatela]

F. Chesani; P. Mello; M. Montali; P. Torroni, Role Monitoring in Open Agent Societies, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 112 - 121 (atti di: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]

F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework, «MULTIAGENT AND GRID SYSTEMS», 2010, 6, pp. 165 - 190 [Articolo in rivista]

M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, «FUNDAMENTA INFORMATICAE», 2010, 102(3-4), pp. 325 - 361 [Articolo in rivista]

F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring Time-Aware Social Commitments with Reactive Event Calculus, in: Proceedings of the 20th European Meeting on Cybernetics and Systems Research (EMCSR 2010) - International Workshop From Agent Theory to Agent Implementation (AT2AI-7), VIENNA, Austrian Society for Cybernetics Studies, 2010, 6/6, pp. 447 - 452 (atti di: 7th International Workshop From Agent Theory to Agent Implementation, University of Vienna, Vienna, Austria, April 6-9, 2010) [Contributo in Atti di convegno]

F. Chesani; P. Mello; M. Montali; P. Torroni, Declarative Technologies for Open Agent Systems and Beyond, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 1 - 5 (atti di: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]

M. Dastani; A. El Fallah Seghrouchni; J. Leite; P. Torroni, Preface, in: Languages, Methodologies, and Development Tools for Multi-Agent Systems. Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, HEIDELBERG, Springer, 2010, pp. V - V [Breve introduzione]

Lombardi M. ; Benini L. ; Garg A. ; De Micheli G., Methods for Designing Reliable Probe Arrays, in: BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on, s.l, IEEE Press, 2010, pp. 306 - 307 (atti di: BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on, Philadelphia, PA, May 31 2010-June 3 2010) [Contributo in Atti di convegno]

Magno M. ; Lanza A. ; Brunelli D. ; Di Stefano L. ; Benini L., Energy aware multimodal embedded video surveillance, in: VLSI System on Chip Conference (VLSI-SoC), 2010 18th IEEE/IFIP, s.l, IEEE Press, 2010, pp. 264 - 269 (atti di: VLSI System on Chip Conference (VLSI-SoC), 2010 18th IEEE/IFIP, Madrid, Spain, 27-29 Sept. 2010) [Contributo in Atti di convegno]

M. Gaspari; G. Roveda, Informatica per l'impresa tra soluzioni proprietarie ed Open Source, BOLOGNA, PITAGORA, 2010, pp. 306 . [Monografia/Trattato scientifico in forma di libro]

D. Guidi; M. Gaspari; G. Profiti, Web Services Integration in Multi-Agent Systems, in: Developing Advanced Web Services through P2P Computing and Autonomous Agents: Trends and Innovations, HERSHEY, IGI GLOBAL, 2010, pp. 1 - 17 [Capitolo/Saggio in libro]

C. Laneve; T. Lascu; V. Sordoni, The Interval Analysis of Multilinear Expressions, in: null, 2010, 267, pp. 43 - 53 (atti di: Tools for Automatic Program AnalysiS (TAPAS), Perpignan, France, 17 September 2010) [Contributo in Atti di convegno]

C. Laneve; A. Vitale, The Expressive Power of Synchronizations, in: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, NY, IEEE Computer Society, 2010, --, pp. 382 - 391 (atti di: 25th Annual IEEE Symposium on Logic in Computer Science, Edimburgo, 11-14 July 2010) [Contributo in Atti di convegno]

C. Laneve; J. Su, Web Services and Formal Methods, 6th International Workshop, AMSTERDAM, Springer, 2010, pp. 195 (Lecture Notes in Computer Science). [Curatela]

Andrea Omicini; Mirko Viroli, WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*, AACHEN, Sun SITE Central Europe, RWTH Aachen University, 2010, pp. 173 (CEUR WORKSHOP PROCEEDINGS). [Curatela]

R. Cappelli; M. Ferrara; D. Maltoni; M. Tistarelli;, MCC: a Baseline Algorithm for Fingerprint Verification in FVC-onGoing, in: 11th International Conference on Control, Automation, Robotics and Vision, s.l, IEEE, 2010, pp. 19 - 23 (atti di: 11th International Conference on Control, Automation, Robotics and Vision, Singapore, 7-10 December, 2010) [Contributo in Atti di convegno]

P. Bellavista, (invited panelist) Mobile Multimedia Middleware: Central for Next Generation Mobile Multimedia Applications?, in: Proceedings of the 3rd Workshop on Mobile Video Delivery (MoViD), within ACM Multimedia 2010, NEW YORK, ACM Press, 2010, pp. 70 - 71 (atti di: 3rd Workshop on Mobile Video Delivery (MoViD), within ACM Multimedia 2010, Firenze, Italia, 25-29 Ottobre 2010) [Contributo in Atti di convegno]

S. Montagna; M. Viroli, A Framework for Modelling and Simulating Networks of Cells, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2010, 268, pp. 115 - 129 [Articolo in rivista]

M. Viroli; M. Casadei, Chemical-Inspired Self-Composition of Competing Services, in: Proceedings of the 25th Annual ACM Symposium on Applied Computing (SAC 2010), NEW YORK, ACM, 2010, III, pp. 2029 - 2036 (atti di: 25th Annual ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland, 22-26 March 2010) [Contributo in Atti di convegno]

U. Dal Lago; S. Martini; D. Sangiorgi, Light Logics and Higher-Order Processes, in: null, 2010, 41, pp. 46 - 60 (atti di: 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, 30th August 2010) [Contributo in Atti di convegno]