Pubblicazioni

S. Salti; L. Di Stefano, On-Line Learning of the Transition Model for Recursive Bayesian Estimation, in: Proceedings of the 2nd International Workshop on Machine Learning for Vision-based Motion Analysis (MLVMA’09), LOS ALAMITOS,CA, IEEE Computer Society, 2009, pp. 1 - 8 (atti di: The 2nd International Workshop on Machine Learning for Vision-based Motion Analysis (MLVMA’09), Kyoto, Japan, September 28, 2009) [Contributo in Atti di convegno]

F. Tombari; A. Lanza; L. Di Stefano; S. Mattoccia, Non-linear Parametric Bayesian Regression for Robust Background Subtraction, in: Proceedings of IEEE Workshop on Motion and Video Computing 2009, s.l, s.n, 2009, 1, pp. 25 - 31 (atti di: IEEE Workshop on Motion and Video Computing 2009, Snowbird, Utah (USA), 9 Dicembre 2009) [Contributo in Atti di convegno]

S. Mignani; C. Sartori., A “IN-DEEP” BEHAVIORAL MODEL FOR E-LEARNING ASSESSMENT., in: Proceedings of IADIS International Conference e-Learning 2009, s.l, s.n, 2009, V II, 2, pp. 160 - 164 (atti di: The IADIS e-Learning 2009 conference aims to address the main issues of concern within e-Learning. This conference covers both technical as well as the non-technical aspects of e-Learning. E-learning platforms often include assessment tools to measure the outcomes of the learning process., Algarve, Portugal, 17-19 june 2009) [Contributo in Atti di convegno]

Ambra Molesini; Andrea Omicini; Mirko Viroli, Environment in Agent-Oriented Software Engineering Methodologies, «MULTIAGENT AND GRID SYSTEMS», 2009, 5(1), pp. 37 - 57 [Articolo in rivista]

Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini, Environment Programming in CArtAgO, in: Multi-Agent Programming II: Languages, Platforms and Applications, BERLIN, Springer, 2009, pp. 259 - 288 (Multiagent Systems, Artificial Societies, and Simulated Organizations) [Capitolo/Saggio in libro]

Luca Gardelli; Mirko Viroli; Andrea Omicini, Combining Simulation and Formal Tools for Developing Self-Organizing MAS, in: Multi-Agent Systems: Simulation and Applications, BOCA RATON, FL, CRC Press, 2009, pp. 133 - 165 [Capitolo/Saggio in libro]

Andrea Omicini; Michele Piunti; Alessandro Ricci; Mirko Viroli, Agents, Intelligence, and Tools, in: Artificial Intelligence: An International Perspective, BERLIN, Springer, 2009, pp. 157 - 173 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Ambra Molesini; Enrico Denti; Andrea Omicini, RBAC-MAS & SODA: Experimenting RBAC in AOSE, in: Engineering Societies in the Agents World IX, Heidelberg, Springer, 2009, pp. 69 - 84 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Enrico Oliva; Mirko Viroli; Andrea Omicini; Peter McBurney, Argumentation and Artifact for Dialog Support, in: Argumentation in Multi-Agent Systems, Heidelberg, Springer, 2009, pp. 107 - 121 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

Elena Nardini; Andrea Omicini; Mirko Viroli, General-Purpose Coordination Abstractions for Managing Interaction in MAS, in: The WI-IAT 2009 Workshops Proceedings, LOS ALAMITOS, CA, IEEE CS, 2009, pp. 501 - 506 (atti di: 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'09), Milano, Italy, 15-18 September 2009) [Contributo in Atti di convegno]

Giulio Piancastelli; Andrea Omicini; Enrico Denti, Towards a Logic Language and Framework for Web Programming, in: Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, AACHEN, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2009, 487, pp. 15 - 19 (atti di: Day Dedicated to Prof. Alberto Martelli, Turin, Italy, 3 June 2008) [Contributo in Atti di convegno]

A.Asperti; N.Busi, Mobile Petri nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, V.19, n.6, pp. 1265 - 1278 [Articolo in rivista]

C. Raffaelli; S. Aleksic; F. Callegati; W. Cerroni; G. Maier; A. Pattavina; M. Savi, Optical Packet Switching, in: Enabling Optical Internet with Advanced Network Technologies, LONDON, springer-verlag, 2009, pp. 31 - 85 (computer communications and networks) [Capitolo/Saggio in libro]

L. Nanni; A. Lumini, Ensemble of neural networks for automated cell phenotype image classification., in: Biomedical Image Analysis and Machine Learning Technologies: Applications and Techniques., NEW YORK, Medical Information Science Reference, 2009, pp. 234 - 259 [Capitolo/Saggio in libro]

R. Demangeon. D. Hirschkoff; D. Sangiorgi, Termination in Higher-Order Concurrent Calculi, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5961, pp. 81 - 96 (atti di: Fundamentals of Software Engineering, Third IPM International Conference, Kish Island, Iran, April 15-17, 2009) [Contributo in Atti di convegno]

R. Demangeon; D. Hirschkoff; D. Sangiorgi, Mobile Processes and Termination, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5700, pp. 250 - 273 (atti di: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, Udine, Settembre 7-10, 2009) [Contributo in Atti di convegno]

D. Sangiorgi, On the origins of bisimulation and coinduction, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31, number 4, article 41, pp. 1 - 41 [Articolo in rivista]

E. Elsborg; T. T. Hildebrandt; D. Sangiorgi, Type Systems for Bigraphs, in: Lecture Notes in Computer Science, BERLIN, Springer, 2009, 5474, pp. 126 - 140 (atti di: Trustworthy Global Computing, 4th International Symposium, Barcelona, Spain, November 3-4, 2008) [Contributo in Atti di convegno]

P. Ciancarini; GP. Favini, Detecting clones in game-playing software, «ENTERTAINMENT COMPUTING», 2009, 1, pp. 9 - 15 [Articolo in rivista]

M. Casadei; M. Viroli; L. Gardelli, On the Collective Sort Problem for Distributed Tuple Spaces, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74(9), pp. 702 - 722 [Articolo in rivista]