Per Year

83 publications without IRIS ID / 2006

2006

A Survey of Programming Languages and Platforms for Multi-Agent Systems (article in journal) — 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
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (paper in proceedings) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
Preface (editorial/introduction/preface) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
On Coordination and its Significance to Distributed and Multi-Agent Systems (article in journal) — Sascha Ossowski, Ronaldo Menezes
Metodologie per l'ingegneria del software: approccio ad agenti (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Socio-technical systems (encyclopedia entry) — Brian Whitworth
Service-Oriented Design and Development Methodology (article in journal) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Verifying Multi-agent Programs by Model Checking (article in journal) — 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 (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Software Engineering for Multi-Agent Systems IV (edited volume) — 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
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (paper in proceedings) — L. Robert Pokorny, C. R. Ramakrishnan
Agents and Peer-to-Peer Computing (edited volume) — Zoran Despotovic, Sam Joseph, Claudio Sartori
Environments for Multi-Agent Systems II (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
An agent oriented tool for method engineering (paper in proceedings) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
Agent-Oriented Software Engineering VI (edited volume) — Jörg P. Müller, Franco Zambonelli
SHRDLU (encyclopedia entry) — Nigel Ward
Bio-inspired Mechanisms for Artificial Self-organised Systems (article in journal) — 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 (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Encyclopedia of Cognitive Science (edited volume) — Lynn Nadel
Tools for kinetic modeling of biochemical networks (article in journal) — Rui Alves, Fernando Antunes, Armindo Salvador
5th International Joint Conference on Autonomous Agents and Multiagent Systems (edited volume) — Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone
SPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-Sellers
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (paper in proceedings) — 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
WOA 2006 – Dagli Oggetti agli Agenti (edited volume) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (article in journal) — Christine Julien, Gruia-Catalin Roman
Issues in Multiagent Resource Allocation (article in journal) — 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 (book chapter) — Rainer Herrler, Franziska Klügl
On Self-Organising Mechanisms from Social, Business and Economic Domains (article in journal) — Salima Hassas, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Cristiano Castelfranchi
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro
OWL-S for Describing Artifacts (paper in proceedings) — Rossella Rubino, Ambra Molesini, Enrico Denti
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 (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings) — 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
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 (edited volume) — Matteo Baldoni, Ulle Endriss
Multiagent Engineering (edited volume) — Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol
Case Studies for Self-organization in Computer Science (article in journal) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Collective Sorting Tuple Spaces (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
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 (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Special Issue “Hot Topics in European Agent Research II” (special issue) — Andrea Omicini, Paolo Petta, Matjaz Gams
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. North
Toward Nature-Inspired Computing (article in journal) — Jiming Liu, Kwok Ching Tsui
Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison (article in journal) — Carole Bernon, Vincent Chevrier, Vincent Hilaire, Paul Marrow
Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (paper in proceedings) — H. Van Dyke Parunak
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
Formal ReSpecT in the A&A Perspective (paper in proceedings) — 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 (article in journal) — 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 (edited volume) — Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
A Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. Giaglis
Standardizing Agent Communication (book chapter) — Yannis Labrou
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (paper in proceedings) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Lime: A coordination model and middleware supporting mobility of hosts and agents (article in journal) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Engineering Societies in the Agents World VI (edited volume) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems (paper in proceedings) — Ronaldo Menezes, Alan Wood
Programming Multi-Agent Systems (edited volume) — 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 (article in journal) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Stanley: The robot that won the DARPA Grand Challenge (article in journal) — 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

83 publications in 2006 without IRIS ID • top • index • bottom

publications without IRIS ID / 2006 / personal

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