Pubblicazioni
-
M. Magnani; D. Montesi, A unified approach to structured and XML data modeling and manipulation, «DATA & KNOWLEDGE ENGINEERING», 2006, 59, pp. 25 - 62 [Articolo in rivista]
-
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Compliance Verification of Agent Interaction: a Logic-Based Software Tool, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20(2-4), pp. 133 - 157 [Articolo in rivista]
-
P. Giannini; D. Sangiorgi; A. Valente, Safe Ambients: Abstract machine and distributed implementation, «SCIENCE OF COMPUTER PROGRAMMING», 2006, 59, pp. 209 - 249 [Articolo in rivista]
-
Marco Alberti ; Evelina Lamma ; Marco Gavanelli ; Paola Mello ; Giovanni Sartor ; Paolo Torroni, Mapping Deontic Operators to Abductive Expectations, «COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY», 2006, 12(2-3), pp. 205 - 225 [Articolo in rivista]
-
Ricci Alessandro; Viroli Mirko; Omicini Andrea, Agent Coordination Contexts in a MAS Coordination Infrastructure, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20, pp. 179 - 202 [Articolo in rivista]
-
I. Bartolini; P. Ciaccia; M. Patella, Adaptively Browsing Image Databases with PIBE, «MULTIMEDIA TOOLS AND APPLICATIONS», 2006, 31, pp. 247 - 327 [Articolo in rivista]
-
Mollona; E.; Hales; D., Economia della conoscenza, governo delle risorse umane e confini dell’impresa. Strategie organizzative emergenti in una simulazione ad agenti, «SISTEMI INTELLIGENTI», 2006, 2, pp. 283 - 320 [Articolo in rivista]
-
Antonio Natali; Enrico Oliva; Alessandro Ricci; Mirko Viroli, A Framework for Engineering Interactions in Java-based Component Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 154(1), pp. 43 - 61 [Articolo in rivista]
-
E. Mollona; Hales D., Knowledge-Based Jobs and the Boundaries of Firms: Agent-based Simulation of Firms Learning and Workforce Skill Set Dynamics, «COMPUTATIONAL ECONOMICS», 2006, 27, pp. 35 - 62 [Articolo in rivista]
-
Omicini Andrea; Ricci Alessandro; Viroli Mirko, Agens Faber: Toward A Theory of Artefacts for MAS, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2006, 150(3), pp. 21 - 36 [Articolo in rivista]
-
P. Coppola; S. Martini, Optimizing optimal reduction. A type inference algorithm for elementary affine logic, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2006, 7, pp. 219 - 260 [Articolo in rivista]
-
O. Babaoglu; M. Jelasity; A.-M. Kermarrec; A. Montresor; M. van Steen, Managing Clouds: A Case for a Fresh Look at Large Unreliable Dynamic Networks, «OPERATING SYSTEMS REVIEW», 2006, 40, pp. 9 - 13 [Articolo in rivista]
-
O. Babaoglu; D. Hales, Towards Automatic Social Bootstrapping of Peer-to-Peer Protocols, «OPERATING SYSTEMS REVIEW», 2006, 40, pp. 56 - 60 [Articolo in rivista]
-
N. Dragoni; M. Gaspari., Crash Failure Detection in Asynchronous Agent Communication Languages, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2006, 13(3), pp. 355 - 390 [Articolo in rivista]
-
Viroli Mirko; Omicini Andrea, Coordination as a Service, «FUNDAMENTA INFORMATICAE», 2006, 73, pp. 507 - 534 [Articolo in rivista]
-
Viroli Mirko; Ricci Alessandro; Omicini Andrea, Operating Instructions for Intelligent Agent Coordination, «KNOWLEDGE ENGINEERING REVIEW», 2006, 21, pp. 49 - 69 [Articolo in rivista]
-
A. Bevilacqua; A. Gherardi; R. Guerrieri, Evaluation of skin ageing through wrinkle analysis in capacitive images, «INTERNATIONAL JOURNAL OF MODERN PHYSICS C», 2006, 17 No 11, pp. 1663 - 1678 [Articolo in rivista]
-
Omicini Andrea; Poggi Agostino, Multiagent Systems, «INTELLIGENZA ARTIFICIALE», 2006, III, pp. 76 - 83 [Articolo in rivista]
-
O. Babaoglu; G. Canright; A. Deutsch; G. Di Caro; F. Ducatelle; L. Gambardella; N. Ganguly; M. Jelasity; R. Montemanni; A. Montresor; T. Urnes, Design Patterns from Biology for Distributed Computing, «ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS», 2006, 1, pp. 26 - 66 [Articolo in rivista]
-
Atsushi Igarashi; Mirko Viroli, Variant parametric types: A flexible subtyping scheme for generics, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2006, 28(5), pp. 795 - 847 [Articolo in rivista]