Per Year

105 publications / 2006

2006

A Survey of Programming Languages and Platforms for Multi-Agent Systems (Informatica) — Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah Seghrouchni, Jorge J. Gómez-Sanz, João Leite, Gregory O’Hare, Alexander Pokahr, Alessandro Ricci
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005 @ AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (E4MAS 2006 @ AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (AOSE 2005 @ AAMAS 2005) — Luca Cernuzzi, Franco Zambonelli
Coordination as a Service (Fundamenta Informaticae) — Mirko Viroli, Andrea Omicini
Preface (Declarative Agent Languages and Technologies III) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
On Coordination and its Significance to Distributed and Multi-Agent Systems (Concurrency and Computation: Practice and Experience) — Sascha Ossowski, Ronaldo Menezes
Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
Socio-technical systems (encyclopedia entry) — Brian Whitworth
Service-Oriented Design and Development Methodology (International Journal of Web Engineering and Technology) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (MAS&S'06 @ ISC'06) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron Sun
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Software Engineering for Multi-Agent Systems IV (SELMAS 2005 @ ICSE 2005) — Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky
Web Services Implementation Methodology for SOA Application (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (DALT 2004 @ AAMAS 2004) — L. Robert Pokorny, C. R. Ramakrishnan
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (SELMAS 2005 @ ICSE 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agents and Peer-to-Peer Computing (AP2PC 2005 @ AAMAS 2005) — Zoran Despotovic, Sam Joseph, Claudio Sartori
Environments for Multi-Agent Systems II (E4MAS 2005 @ AAMAS 2005) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
An agent oriented tool for method engineering (EUMAS 2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
Agent-Oriented Software Engineering VI (AOSE 2005 @ AAMAS 2005) — Jörg P. Müller, Franco Zambonelli
SHRDLU (encyclopedia entry) — Nigel Ward
Bio-inspired Mechanisms for Artificial Self-organised Systems (Informatica) — Jean-Pierre Mano, Christine Bourjot, Gabriel Lopardo, Pierre Glize
Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Linkable Coordination Artifacts for Inter-Organisational Workflow (CIOW 2006 @ AAMAS 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Encyclopedia of Cognitive Science (edited volume) — Lynn Nadel
Tools for kinetic modeling of biochemical networks (Nature Biotechnology) — Rui Alves, Fernando Antunes, Armindo Salvador
5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006) — Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone
SPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-Sellers
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (FOCLASA 2005 @ CONCUR'05) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — 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 (ESOA 2005 @ AAMAS 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
WOA 2006 – Dagli Oggetti agli Agenti (WOA 2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (IEEE Transactions on Software Engineering) — Christine Julien, Gruia-Catalin Roman
Issues in Multiagent Resource Allocation (Informatica) — Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A. Rodríguez-Aguilar, Paulo Sousa
STRIPS (encyclopedia entry) — David Furcy, Sven Koenig
Simulation (Multiagent Engineering) — Rainer Herrler, Franziska Klügl
On Self-Organising Mechanisms from Social, Business and Economic Domains (Informatica) — Salima Hassas, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Cristiano Castelfranchi
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
OWL-S for Describing Artifacts (EUMAS 2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
A Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (AICA 2006) — Michele Cabano, Cesare Monti, Giulio Piancastelli
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
StoKlaim: A Stochastic Extension of Klaim (technical report) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
The MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai Loke
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (paper in proceedings) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner
Declarative Agent Languages and Technologies IV (DALT 2006 @ AAMAS 2006) — Matteo Baldoni, Ulle Endriss
Multiagent Engineering (edited volume) — Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol
Case Studies for Self-organization in Computer Science (Journal of Systems Architecture) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Declarative Agent Languages and Technologies III (DALT 2005 @ AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Special Issue “Hot Topics in European Agent Research II” (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams
4th European Workshop on Multi-Agent Systems (EUMAS 2006) (EUMAS 2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
Simulating Minority Game with TuCSoN (MAS&S'06 @ ISC'06) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. North
Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams
Toward Nature-Inspired Computing (Communications of the ACM) — Jiming Liu, Kwok Ching Tsui
Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison (Informatica) — Carole Bernon, Vincent Chevrier, Vincent Hilaire, Paul Marrow
Agens Faber: Toward a Theory of Artefacts for MAS (CoOrg 2005 @ COORDINATION 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (E4MAS 2005 @ AAMAS 2005) — H. Van Dyke Parunak
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006 @ AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06) — Andrea Omicini
Handbook of Constraint Programming (edited volume) — Francesca Rossi, Peter van Beek, Toby Walsh
A Generic Large Scale Simulator for Ubiquitous Computing (paper in proceedings) — M. Martin, P. Nurmi
Logics for Artificial Intelligence (Intelligenza Artificiale) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
The World According To Brahms: Modeling and Simulating Work Practice (book chapter) — Maarten Sierhuis
Multiagent System Technologies (MATES 2006) — Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
On the Expressive Power of KLAIM-based Calculi (Theoretical Computer Science) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Programming MAS with Artifacts (PROMAS 2005 @ AAMAS 2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems) — Atsushi Igarashi, Mirko Viroli
A Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. Giaglis
Multiagent Systems (Intelligenza Artificiale) — Andrea Omicini, Agostino Poggi
Zooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Standardizing Agent Communication (book chapter) — Yannis Labrou
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (AAMAS 2006) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Lime: A coordination model and middleware supporting mobility of hosts and agents (ACM Transactions on Software Engineering and Methodology) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Engineering Societies in the Agents World VI (ESAW 2005) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems (SAC 2006) — Ronaldo Menezes, Alan Wood
Programming Multi-Agent Systems (PROMAS 2005 @ AAMAS 2005) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
Process Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Self-Organisation and Emergence in MAS: An Overview (Informatica) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Stanley: The robot that won the DARPA Grand Challenge (Journal of Field Robotics) — Sebastian Thrun, Mike Montemerlo, Hendrik Dahlkamp, David Stavens, Andrei Aron, James Diebel, Philip Fong, John Gale, Morgan Halpenny, Gabriel Hoffmann, Kenny Lau, Celia Oakley, Mark Palatucci, Vaughan Pratt, Pascal Stang, Sven Strohband, Cedric Dupont, Lars‐Erik Jendrossek, Christian Koelen, Charles Markey, Carlo Rummel, Joe van Niekerk, Eric Jensen, Philippe Alessandrini, Gary Bradski, Bob Davies, Scott Ettinger, Adrian Kaehler, Ara Nefian, Pamela Mahoney
The Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. Gerhart

105 publications / 2006 • top • index • bottom

publications / 2006 / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Mattia Matteini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Federico Sabbatini