Per anno

44 pubblicazioni con DOI / 2006

2006

Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (articolo in atti) — Rossella Rubino, Andrea Omicini, Enrico Denti
On the Expressive Power of KLAIM-based Calculi (articolo in rivista) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
Zooming Multi-Agent Systems (articolo in atti) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
On Coordination and its Significance to Distributed and Multi-Agent Systems (articolo in rivista) — Sascha Ossowski, Ronaldo Menezes
Socio-technical systems (voce di enciclopedia) — Brian Whitworth
Service-Oriented Design and Development Methodology (articolo in rivista) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (articolo in atti) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Verifying Multi-agent Programs by Model Checking (articolo in rivista) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (curatela) — Ron Sun
Web Services Implementation Methodology for SOA Application (articolo in atti) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (articolo in atti) — L. Robert Pokorny, C. R. Ramakrishnan
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Interactive Computation: The New Paradigm (curatela) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (articolo in rivista) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (articolo in atti) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (capitolo di libro) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (articolo in rivista) — Christine Julien, Gruia-Catalin Roman
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (articolo in atti) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Verification of Multi-agent Systems Via Bounded Model Checking (articolo in atti) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
The MHS Methodology: Analysis and Design for Context-Aware Systems (articolo in atti) — Evi Syukur, Seng Wai Loke
SODA: A Roadmap to Artefacts (articolo in atti) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (articolo in atti) — Rafael H. Bordini, Jomi F. Hübner
A Framework for Engineering Interactions in Java-based Component Systems (articolo in atti) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (articolo in rivista) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (capitolo di libro) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Declarative Agent Languages and Technologies III (curatela) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (libro) — Marco Mamei, Franco Zambonelli
Agent Coordination Contexts in a MAS Coordination Infrastructure (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Distributed Workflow upon Linkable Coordination Artifacts (articolo in atti) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Toward Nature-Inspired Computing (articolo in rivista) — Jiming Liu, Kwok Ching Tsui
Agens Faber: Toward a Theory of Artefacts for MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (articolo in atti) — H. Van Dyke Parunak
A Generic Large Scale Simulator for Ubiquitous Computing (articolo in rivista) — M. Martin, P. Nurmi
Cognitive Modeling of Social Behaviours (capitolo di libro) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Programming MAS with Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (articolo in rivista) — Atsushi Igarashi, Mirko Viroli
Standardizing Agent Communication (capitolo di libro) — Yannis Labrou
Lime: A coordination model and middleware supporting mobility of hosts and agents (articolo in rivista) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Engineering Societies in the Agents World VI (curatela) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems (articolo in atti) — Ronaldo Menezes, Alan Wood

44 pubblicazioni nel 2006 con DOI • in cima • indice • in fondo

pubblicazioni con DOI / 2006 / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Cristian Cosci • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini