Per Year

632 publications with DOI / 1927–2015

2015 • 2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 • 1994 • 1993 • 1992 • 1991 • 1990 • 1989 • 1986 • 1985 • 1984 • 1983 • 1980 • 1979 • 1978 • 1977 • 1974 • 1972 • 1959 • 1950 • 1939 • 1937

2015

A coordination model of pervasive service ecosystems (article in journal) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Deep learning (article in journal) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (article in journal) — Stefano Mariani, Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (paper in proceedings) — Andrea Omicini
Programming Multi-agent Systems (article in journal) — Mehdi Dastani
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (paper in proceedings) — Stefano Mariani, Andrea Omicini
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (paper in proceedings) — Andrea Omicini, Stefano Mariani
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (paper in proceedings) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (paper in proceedings) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (article in journal) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Agent Environments for Multi-Agent Systems IV (edited volume) — Danny Weyns, Fabien Michel
Aggregate Programming for the Internet of Things (article in journal) — Jacob Beal, Danilo Pianini, Mirko Viroli
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Protelis: Practical Aggregate Programming (paper in proceedings) — Danilo Pianini, Mirko Viroli, Jacob Beal
Type-based Self-stabilisation for Computational Fields (article in journal) — Ferruccio Damiani, Mirko Viroli
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (paper in proceedings) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Preface (editorial/introduction/preface) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Space-Time Programming (article in journal) — Jacob Beal, Mirko Viroli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (article in journal) — Sara Montagna, Mirko Viroli, Andrea Roli
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (paper in proceedings) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Computational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
PRIMA 2015: Principles and Practice of Multi-Agent Systems (edited volume) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (paper in proceedings) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Smart Augmented Fields for Emergency Operations (paper in proceedings) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Formal Foundations of Sensor Network Applications (article in journal) — Jacob Beal, Mirko Viroli
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (paper in proceedings) — Enrico Denti, Roberta Calegari
GOTA: GO term annotation of biomedical literature (article in journal) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro

29 publications in 2015 with DOI • top • index • bottom

2014

Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (edited volume) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
Coordination-aware Elasticity (paper in proceedings) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Building Blocks for Aggregate Programming of Self-Organising Applications (paper in proceedings) — Jacob Beal, Mirko Viroli
Engineering General Intelligence, Part 2 (book) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
The IEEE-FIPA Standard on the Design Process Documentation Template (book chapter) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
Negotiation and Argumentation in Multi-Agent Systems (edited volume) — Fernando Lopes, Helder Coelho
Introduction (book chapter) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
A Calculus of Self-stabilising Computational Fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (article in journal) — Enrico Denti
Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (book chapter) — Artur Arsénio, Hugo Serra, Rui Francisco, Fernando Nabais, João Andrade, Eduardo Serrano
HPC from a self-organisation perspective: The case of crowd steering at the urban scale (paper in proceedings) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
Argumentation and Artifacts for Negotiation Support (book chapter) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (book) — Bernd Rosslenbroich
Handbook on Agent-Oriented Design Processes (edited volume) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
The SODA Methodology: Meta-Model and Process Documentation (book chapter) — Ambra Molesini, Andrea Omicini
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Distributed statistical analysis of complex systems modeled through a chemical metaphor (paper in proceedings) — Danilo Pianini, Stefano Sebastio, Andrea Vandin
Novel pervasive scenarios for home management: the Butlers architecture (article in journal) — Enrico Denti
Best ACM SAC Articles on Coordination and Self-Adaptation (editorial/introduction/preface) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (paper in proceedings) — Stefano Mariani, Andrea Omicini
Preface (editorial/introduction/preface) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (paper in proceedings) — Stefano Mariani
Bridging the Symbolic/Subsymbolic Gap (book chapter) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
The Gaia Methodology Process (book chapter) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini

25 publications in 2014 with DOI • top • index • bottom

2013

Probabilistic Modular Embedding for Stochastic Coordinated Systems (paper in proceedings) — Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (paper in proceedings) — Stefano Mariani, Andrea Omicini
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (article in journal) — Andrea Omicini, Stefano Mariani
Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (article in journal) — Houguang Yue
Nature-inspired Coordination for Complex Distributed Systems (paper in proceedings) — Andrea Omicini
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
A calculus of computation fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems (article in journal) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
On competitive self-composition in pervasive services (article in journal) — Mirko Viroli
Nature-inspired Coordination Models: Current Status, Future Trends (article in journal) — Andrea Omicini
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (article in journal) — Danilo Pianini, Sara Montagna, Mirko Viroli
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (article in journal) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Operational Semantics of Proto (article in journal) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Multi-agent Oriented Programming with JaCaMo (article in journal) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (paper in proceedings) — Stefano Mariani, Andrea Omicini
Description and composition of bio-inspired design patterns: a complete overview (article in journal) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (paper in proceedings) — Andrea Omicini, Pierluigi Contucci
Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (article in journal) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (article in journal) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter) — Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (paper in proceedings) — Stefano Mariani, Andrea Omicini

29 publications in 2013 with DOI • top • index • bottom

2012

Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal
Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni
VPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (paper in proceedings) — Marco Alberti, Andrea Omicini
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (paper in proceedings) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
Programming Directives for Elastic Computing (article in journal) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (article in journal) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Interdependent Artificial Institutions in Agent Environments (article in journal) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
Implicit: A Multi-agent Recommendation System for Web Search (article in journal) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Situation Identification Techniques in Pervasive Computing: A Review (article in journal) — Juan Ye, Simon Dobson, Susan McKeever
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N Taylor
Self-adaptive software needs quantitative verification at runtime (article in journal) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Toward Sociotechnical Urban Superorganisms (article in journal) — Franco Zambonelli
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (article in journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (paper in proceedings) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Self-Organising News Management: The Molecules of Knowledge Approach (paper in proceedings) — Stefano Mariani, Andrea Omicini

25 publications in 2012 with DOI • top • index • bottom

2011

Declarative Agent Languages and Technologies VIII (edited volume) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Living in a Digital World (article in journal) — Samuel Greengard
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (article in journal) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (article in journal) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (paper in proceedings) — Alessandro Ricci, Andrea Santi
A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Dennis Ritchie, 1941-2011 (article in journal) — Paul Hyman
Sustainable biomass power plant location in the Italian Emilia-Romagna region (article in journal) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Towards a logic framework for Web programming (article in journal) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Improving brain-computer interfaces (article in journal) — Kirk L. Kroeker
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal) — Franco Zambonelli, Mirko Viroli
The legacy of Steve Jobs (article in journal) — Michael A. Cusumano
Verifying the Evolution of Probability Distributions Governed by a DTMC (article in journal) — YoungMin Kwon, Gul Agha
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
The most ancient marketing (article in journal) — Jaron Lanier
Self-aware Pervasive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
Adaptive organizational changes in agent-oriented methodologies (article in journal) — Luca Cernuzzi, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
From Space to Stage: How Interactive Screens Will Change Urban Life (article in journal) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
The Social Compute Unit (article in journal) — Schahram Dustdar, Kamal Bhattacharya
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (paper in proceedings) — Clare Dixon, Alan Winfield, Micheal Fisher
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (article in journal) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Preface (article in journal) — Carlos Canal, Mirko Viroli
The Rise of Molecular Machines (article in journal) — Kirk L. Kroeker
BDI Agents with Objectives and Preferences (paper in proceedings) — Aniruddha Dasgupta, Aditya K. Ghose
Processes Engineering and AOSE (paper in proceedings) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (article in journal) — Peter McBurney, Simon Parsons, Mirko Viroli
Anonymity is not privacy: technical perspective (article in journal) — Vitaly Shmatikov
Programming Coordination Laws of Artifacts in CArtAgO (paper in proceedings) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
A Tour of Reaction Systems (article in journal) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Exploiting the JaCaMo framework for realising an adaptive room governance application (paper in proceedings) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Computational journalism (article in journal) — Sarah Cohen, James T. Hamilton, Fred Turner
Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal) — Andrea Omicini, Mirko Viroli
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (editorial/introduction/preface) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Description Spaces with Fuzziness (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
Will software engineering ever be engineering? (article in journal) — Michael Davis

39 publications in 2011 with DOI • top • index • bottom

2010

Agent-based Conference Management: A Case Study in SODA (article in journal) — Ambra Molesini, Enrico Denti, Andrea Omicini
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (article in journal) — Clemens Holzmann, Alois Ferscha
A Biochemical Approach to Adaptive Service Ecosystems (article in journal) — Mirko Viroli, Franco Zambonelli
Engineering Self-Coordinating Software Intensive Systems (paper in proceedings) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (article in journal) — Sagar Indurkhya, Jacob Beal
Logic-based decision support for strategic environmental assessment (article in journal) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (article in journal) — Silvano Cincotti, Marco Raberto, Andrea Teglio
Building an Agent Methodology from Fragments: the MEnSA experience (paper in proceedings) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
A Basis Set of Operators for Space-Time Computations (paper in proceedings) — Jacob Beal
Tutorial on Agent-based Modelling and Simulation (article in journal) — Charles M. Macal, Michael J. North
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (article in journal) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (paper in proceedings) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Self Organization in Coordination Systems using a WordNet-based Ontology (paper in proceedings) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings) — Francesco Calzolai, Michele Loreti
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu Zhifeng
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (paper in proceedings) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (article in journal) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko Viroli
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (article in journal) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Formal Verification of Probabilistic Swarm Behaviours (paper in proceedings) — Savas Konur, Clare Dixon, Michael Fisher
Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (book chapter) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
Trust Theory: A Socio-Cognitive and Computational Model (book) — Christiano Castelfranchi, Rino Falcone
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (article in journal) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (article in journal) — Alessandro Ricci, Enrico Denti, Michele Piunti
Implementing reactive BDI agents with user-given constraints and objectives (article in journal) — Aniruddha Dasgupta, Aditya K. Ghose

29 publications in 2010 with DOI • top • index • bottom

2009

Introducing Relevance Awareness in BDI Agents (paper in proceedings) — Emiliano Lorini, Michele Piunti
RBAC-MAS & SODA: Experimenting RBAC in AOSE (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Embodying Organisations in Multi-Agent Work Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Formalising the Environment in MAS Programming: a Formal Model (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
A SOA Based Software Engineering Design Approach in Service Engineering (paper in proceedings) — Weider D. Yu, Chia H. Ong
Modelling Periodic Data Dissemination in Wireless Sensor Networks (paper in proceedings) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
A Goal-Oriented Approach for Modelling Self-organising MAS (paper in proceedings) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci
Software Engineering: An Idea Whose Time Has Come and Gone? (article in journal) — Tom De Marco
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (paper in proceedings) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
A Process Model of Actin Polymerisation (paper in proceedings) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Making Sense of Revision-control Systems (article in journal) — Bryan O'Sullivan
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Knowledge-based coordination with a reliable semantic subscription mechanism (paper in proceedings) — Martin Murth, Eva Kuhn
Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Situated Tuple Centres in ReSpecT (paper in proceedings) — Matteo Casadei, Andrea Omicini
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (paper in proceedings) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Engineering Societies in the Agents World X (edited volume) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (paper in proceedings) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (paper in proceedings) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (paper in proceedings) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (paper in proceedings) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei, Andrea Omicini
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (article in journal) — Marco Mamei, Franco Zambonelli
General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
Parameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea Roli
On the Collective Sort Problem for Distributed Tuple Spaces (article in journal) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Environment in Agent-Oriented Software Engineering Methodologies (article in journal) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei

31 publications in 2009 with DOI • top • index • bottom

2008

On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition (paper in proceedings) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Simulation Methods in Systems Biology (paper in proceedings) — Daniel T. Gillespie
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Mirko Viroli
A&A for Modelling and Engineering Simulations in Systems Biology (article in journal) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Preface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (article in journal) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (article in journal) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (paper in proceedings) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (article in journal) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
On the reification of Java wildcards (article in journal) — Maurizio Cimadamore, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (article in journal) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Description Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler
Tool-Supported Development with Tropos: The Conference Management System Case Study (paper in proceedings) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
SPEM on Test: the SODA Case Study (paper in proceedings) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
An experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (paper in proceedings) — Mario Bravetti
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Engineering Societies in the Agents’ World VIII (edited volume) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
The BlenXLanguage: A Tutorial (paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (editorial/introduction/preface) — Peter McBurney, Andrea Omicini
Programming with models: modularity and abstraction provide powerful capabilities for systems biology (article in journal) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
Towards a Tuplespace-based Middleware for the Semantic Web (article in journal) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (special issue) — Andrea Omicini, Peter McBurney
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (paper in proceedings) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
Lightweight Family Polymorphism (article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Situating A&A ReSpecT for Pervasive Environment Applications (paper in proceedings) — Matteo Casadei, Andrea Omicini
A Process Algebraic View of Shared Dataspace Coordination (article in journal) — Nadia Busi, Gianluigi Zavattaro
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
PASSIM: a simulation-based process for the development of multi-agent systems (article in journal) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Methodologies for Designing Agent Societies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
A Multi-Theory Logic Language for the World Wide Web (paper in proceedings) — Giulio Piancastelli, Andrea Omicini
Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli, Marco Santarelli
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (paper in proceedings) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Agent Oriented Software Engineering VIII (edited volume) — Michael Luck, Lin Padgham
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (paper in proceedings) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
Introduction to AOSE Tools for the Conference Management System (paper in proceedings) — Lin Padgham, Michael Luck
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
From AO Methodologies to MAS Infrastructures: The SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
The Prometheus Design Tool – A Conference Management System Case Study (paper in proceedings) — Lin Padgham, John Thangarajah, Michael Winikoff
Hierarchical Modeling for Computational Biology (paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher

47 publications in 2008 with DOI • top • index • bottom

2007

Building Smart Environments as Agent Workspaces (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Invited Talk: A Process Algebra Master Equation (paper in proceedings) — Luca Cardelli
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Situated Cellular Agents Approach to Crowd Modeling and Simulation (article in journal) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
An Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
Integrating Software Models and Platform Models for Performance Analysis (article in journal) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Auction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
How to infer gene networks from expression proﬁles (article in journal) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Context-Dependent Evaluation Methodology for Open Source Software (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates (paper in proceedings) — George Jiri Mejtsky
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (article in journal) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Measurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
Executable cell biology (article in journal) — Jasmin Fisher, Thomas A. Henzinger
Environments for Multi-Agent Systems III (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organising Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Engineering Societies in the Agents World VII (edited volume) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
Infrastructures for the Environment of Multiagent Systems (article in journal) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (article in journal) — Mirko Viroli
Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Preface (editorial/introduction/preface) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
Practical Extensions in Agent Programming Languages (paper in proceedings) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Pervasive pheromone-based interaction with RFID tags (article in journal) — Mamei Marco, Franco Zambonelli
Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (article in journal) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Service-Oriented Agent Methodologies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Preface (article in journal) — Carlos Canal, Mirko Viroli
Environment as a First Class Abstraction in Multi-Agent Systems (article in journal) — Danny Weyns, Andrea Omicini, James J. Odell
On the Interplay of Crosscutting and MAS-Specific Styles (paper in proceedings) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (article in journal) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
Discrete Event Modeling and Simulation in Systems Biology (article in journal) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Introduction to the Special Issue: The AgentLink III Technical Forums (editorial/introduction/preface) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal) — Tristan M. Behrens, Jurgen Dix
A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (paper in proceedings) — Mirko Viroli, Matteo Casadei, Luca Gardelli
Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
Variant path types for scalable extensibility (article in journal) — Atsushi Igarashi, Mirko Viroli
Governing Environments for Agent-Based Traffic Simulations (paper in proceedings) — Michael Schumacher, Laurent Grangier, Radu Jurca
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Agent-based modeling of multicell morphogenic processes during development (article in journal) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (article in journal) — Pierluigi Contucci, Stefano Ghirlanda
Special Issue on the AgentLink III Technical Forums (special issue) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Pellet: A practical OWL-DL reasoner (article in journal) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini

55 publications in 2007 with DOI • top • index • bottom

2006

Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (paper in proceedings) — Rossella Rubino, Andrea Omicini, Enrico Denti
On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
On Coordination and its Significance to Distributed and Multi-Agent Systems (article in journal) — Sascha Ossowski, Ronaldo Menezes
Socio-technical systems (encyclopedia entry) — Brian Whitworth
Service-Oriented Design and Development Methodology (article in journal) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (paper in proceedings) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
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
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
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (article in journal) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
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 (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (article in journal) — Christine Julien, Gruia-Catalin Roman
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
The MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai Loke
SODA: A Roadmap to Artefacts (paper in proceedings) — 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
A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (article in journal) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (book chapter) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Declarative Agent Languages and Technologies III (edited volume) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli
Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Distributed Workflow upon Linkable Coordination Artifacts (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Toward Nature-Inspired Computing (article in journal) — Jiming Liu, Kwok Ching Tsui
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
A Generic Large Scale Simulator for Ubiquitous Computing (article in journal) — M. Martin, P. Nurmi
Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
Standardizing Agent Communication (book chapter) — Yannis Labrou
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

44 publications in 2006 with DOI • top • index • bottom

2005

Verifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Multi-paradigm Java-Prolog Integration in tuProlog (article in journal) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci
Effective Tool Use in a Habile Agent (paper in proceedings) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Environment-Based Coordination Through Coordination Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming Stigmergic Coordination with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
Quantitative Information in the Tuple Space Coordination Model (article in journal) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Towards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-Recuerda
An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Environments in Multiagent Systems (article in journal) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Programming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
Declarative Agent Languages and Technologies II (edited volume) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (edited volume) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial/introduction/preface) — Mirko Viroli, Andrea Omicini
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (paper in proceedings) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
A Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
More Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy Nixon
Time-Aware Coordination in ReSpecT (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Probabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Process Models for Agent-based Development (article in journal) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering Societies in the Agents World V (edited volume) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Self-Organization in Multi-Agent Systems (article in journal) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman
The AgentLink III Technical Forums: Introduction to the Special Issue (editorial/introduction/preface) — Andrea Omicini, Peter McBurney
Crowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Environments for Multi-Agent Systems (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Coordination and Composition in Multi-agent Systems (paper in proceedings) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini

37 publications in 2005 with DOI • top • index • bottom

2004

Adaptive Agents and Multiagent Systems (article in journal) — Zahia Guessoum
The Gaia Methodology (book chapter) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Coordination Infrastructures in the Engineering of Multiagent Systems (book chapter) — Andrea Omicini, Sascha Ossowski, Alessandro Ricci
Challenges and Research Directions in Agent-Oriented Software Engineering (article in journal) — Franco Zambonelli, Andrea Omicini
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (paper in proceedings) — Dieter Fensel
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
Relevance of Winning Coalitions in Indirect Control of Corporations (article in journal) — Enrico Denti, Nando Prati
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
From the Editor in Chief: Nature-Inspired Computing (article in journal) — Nigel Shadbolt
Composing Adaptive Software (article in journal) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Coordination and Collaboration Activities in Cooperative Information Systems (article in journal) — Andrea Omicini, Sascha Ossowski
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
Towards Seamless Agent Middleware (paper in proceedings) — Andrea Omicini, Giovanni Rimassa
A Programming Language for Cognitive Agents: Goal Directed 3APL (paper in proceedings) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
Declarative Agent Languages and Technologies (edited volume) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Online Engineering and Open Computational Systems (book chapter) — Martin Fredriksson, Rune Gustavsson
Verifiable Multi-agent Programs (paper in proceedings) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Probabilistic KLAIM (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reo: A Channel-based Coordination Model for Component Composition (article in journal) — Farhad Arbab
Engineering Societies in the Agents World IV (edited volume) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Verifying Communicating Agents by Model Checking in a Temporal Action Logic (paper in proceedings) — Laura Giordano, Alberto Martelli, Camilla Schwind
MAS as Complex Systems: A View on the Role of Declarative Approaches (paper in proceedings) — Andrea Omicini, Franco Zambonelli
Using Swarm Intelligence in Linda Systems (paper in proceedings) — Robert Tolksdorf, Ronaldo Menezes
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (paper in proceedings) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
Multi-agent Infrastructures for Objective and Subjective Coordination (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Dina Goldin
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (paper in proceedings) — Andrea Omicini, Alessandro Ricci
Integrating Objective & Subjective Coordination in Multi-Agent Systems (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
System Support for Pervasive Applications (article in journal) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
sTuples: Semantic Tuple Spaces (paper in proceedings) — Deepali Khushraj, Ora Lassila, Timothy W. Finin
Model Checking for ACL Compliance Verification (book chapter) — Marc-Philippe Huget, Michael J. Wooldridge
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (paper in proceedings) — Enrico Denti, Alessandro Ricci, Rossella Rubino

34 publications in 2004 with DOI • top • index • bottom

2003

The Vision of Autonomic Computing (article in journal) — Jeffrey O. Kephart, David M. Chess
Supporting Coordination in Open Computational Systems with TuCSoN (paper in proceedings) — Alessandro Ricci, Andrea Omicini
A software framework for matchmaking based on semantic web technology (paper in proceedings) — Lei Li, Ian Horrocks
First International Workshop on Theory and Practice of Open Computational Systems (editorial/introduction/preface) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
Architecture as a Coordination Tool in Multi-site Software Development (article in journal) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
Modeling Agents and their Environment (paper in proceedings) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Computation Beyond Turing Machines (article in journal) — Peter Wegner, Dina Goldin
Learning the Sequential Coordinated Behavior of Teams from Observations (paper in proceedings) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (edited volume) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
Method engineering for OO systems development (article in journal) — Brian Henderson-Sellers
MavHome: An Agent-based Smart Home (paper in proceedings) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
Engineering Societies in the Agents World III (edited volume) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
Stochastic models for DNA replication (book chapter) — Richard Cowan
Adaptiveness in Linda-Based Coordination Models (paper in proceedings) — Ronaldo Menezes, Robert Tolksdorf
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (article in journal) — Mirko Viroli
Towards a Methodology for Coordination Mechanism Selection in Open Systems (paper in proceedings) — Simon Miles, Mike Joy, Michael Luck
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Editorial Message: Special Track on Coordination models, Languages and Applications (editorial/introduction/preface) — Andrea Omicini, Sascha Ossowski
Quantitative Relations and Approximate Process Equivalences (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Activity Theory as a Framework for MAS Coordination (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (article in journal) — Franco Zambonelli, H. Van Dyke Parunak
Cooperative Information Agents VII (edited volume) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Coordination as a Service: Ontological and Formal Foundation (paper in proceedings) — Mirko Viroli, Andrea Omicini
Model Checking AgentSpeak (paper in proceedings) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
How has the 9/11 terrorist attack influenced decision making? (article in journal) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (article in journal) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Developing multiagent systems: The Gaia methodology (article in journal) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Objective versus Subjective Coordination in the Engineering of Agent Systems (paper in proceedings) — Andrea Omicini, Sascha Ossowski
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (paper in proceedings) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
Signs of a Revolution in Computer Science and Software Engineering (paper in proceedings) — Franco Zambonelli, H. Van Dyke Parunak

30 publications in 2003 with DOI • top • index • bottom

2002

Towards a Notion of Agent Coordination Context (book chapter) — Andrea Omicini
Coordination Knowledge Engineering (article in journal) — Sascha Ossowski, Andrea Omicini
Specifying Agent Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (paper in proceedings) — Mirko Viroli, Andrea Omicini
Principled Design of the Modern Web Architecture (article in journal) — Roy Thomas Fielding, Richard N. Taylor
Linear Embedding for a Quantitative Comparison of Language Expressiveness (paper in proceedings) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (paper in proceedings) — Anna Perini, Angelo Susi, Fausto Giunchiglia
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (article in journal) — Brian Henderson-Sellers
Extreme Programming of Multi-Agent Systems (paper in proceedings) — Holger Knublauch
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering Agent Societies: A Case Study in Smart Environments (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Editorial Message: Special Track on Coordination Models, Languages and Applications (editorial/introduction/preface) — Andrea Omicini, Sascha Ossowski
Virtual Enterprises and Workflow Management as Agent Coordination Issues (article in journal) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Modelling Agents as Observable Sources (article in journal) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro Ricci
Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (paper in proceedings) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Computational challenges in cell simulation: a software engineering approach (article in journal) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Coordination Tools for MAS Development and Deployment (article in journal) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (article in journal) — Mirko Viroli, Andrea Omicini
Model Checking Multi-Agent Systems with MABLE (paper in proceedings) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (paper in proceedings) — H. van Dyke Parunak, Sven Brueckner, John Sauter
A Survey of Coordination Middleware for XML-centric Applications (article in journal) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (article in journal) — Hidde De Jong

23 publications in 2002 with DOI • top • index • bottom

2001

Formal ReSpecT (paper in proceedings) — Andrea Omicini, Enrico Denti
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (book chapter) — Ian Foster
A Coordination Language for Collective Agent-based Systems: GroupLog (article in journal) — Fernanda Barbosa, José C. Cunha
Coordination as a Paradigm for Systems Integration (editorial/introduction/preface) — Andrea Omicini, George A. Papadopoulos
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (article in journal) — Enrico Denti, Andrea Omicini
Introduction to This Special Issue on Context-Aware Computing (article in journal) — Thomas Moran, Paul Dourish
Multi-Agent Systems and Applications (edited volume) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
Editorial: Why Coordination Models and Languages in AI? (editorial/introduction/preface) — Andrea Omicini, George A. Papadopoulos
Simulation-verification: biting at the state explosion problem (article in journal) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
From Tuple Spaces to Tuple Centres (article in journal) — Andrea Omicini, Enrico Denti
Coordination of Internet Agents (edited volume) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
Safe Tuplespace-based Coordination in Multiagent Systems (article in journal) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Coordination Models, Languages and Applications. Track Chair Messages (editorial/introduction/preface) — Andrea Omicini
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (article in journal) — Ian Foster, Carl Kesselman, Steven Tuecke
Gamma and the Chemical Reaction Model: Fifteen Years After (book chapter) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
Designing Agent-Oriented Systems by Analysing Agent Interactions (paper in proceedings) — Simon Miles, Mike Joy, Michael Luck
Engineering Societies in the Agents World II (edited volume) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Control-driven Constraint Propagation (article in journal) — Eric Monfroy
Self Organization and Coordination (article in journal) — Scott E. Page
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (article in journal) — Ganesh D. Bhatt
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (paper in proceedings) — Alessandro Ricci, Enrico Denti, Andrea Omicini
An Agent-based Approach for Building Complex Software Systems (article in journal) — Nicholas R. Jennings
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (paper in proceedings) — Enrico Denti, Andrea Omicini, Alessandro Ricci
On the Unusual Effectiveness of Logic in Computer Science (article in journal) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Objective Coordination in Multi-Agent System Engineering (book) — Michael Schumacher
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (article in journal) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (paper in proceedings) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Agent-Oriented Software Engineering for Internet Applications (book chapter) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
XML Dataspaces for the Coordination of Internet Agents (article in journal) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Preface: Volume 48 (editorial/introduction/preface) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (paper in proceedings) — Andrea Omicini

32 publications in 2001 with DOI • top • index • bottom

2000

Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
On the Expressiveness of Linda Coordination Primitives (article in journal) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
The LuCe Coordination Technology for MAS Design and Development on the Internet (paper in proceedings) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Selecting a Project's Methodology (article in journal) — Alistair Cockburn
Multiagent System Engineering: The Coordination Viewpoint (paper in proceedings) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
On Agent-Based Software Engineering (article in journal) — Nicholas R. Jennings
EasyLiving: Technologies for Intelligent Environments (paper in proceedings) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
Ruling Agent Motion in Structured Environments (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Amorphous Computing (article in journal) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Engineering Societies in the Agents World (edited volume) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Special Track on Coordination Models, Languages and Applications (editorial/introduction/preface) — Andrea Omicini, George A. Papadopoulos
A Coordination Infrastructure for Agent-based Internet Applications (paper in proceedings) — Enrico Denti, Andrea Omicini
Process Migration (article in journal) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (article in journal) — Michael A. Gibson, Jehoushua Bruck
Context-Dependency in Internet-Agent Coordination (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
The Gaia Methodology for Agent-Oriented Analysis and Design (article in journal) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
MARS: A Programmable Coordination Architecture for Mobile Agents (article in journal) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (article in journal) — Mirko Viroli, Antonio Natali

18 publications in 2000 with DOI • top • index • bottom

1999

On the Semantics of Tuple-based Coordination Models (paper in proceedings) — Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (paper in proceedings) — Andrea Omicini, Franco Zambonelli
On the Expressiveness of Coordination Models (paper in proceedings) — Antonio Brogi, Jean-Marie Jacquet
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (article in journal) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Comparing Coordination Models based on Shared Distributed Replicated Data (paper in proceedings) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (article in journal) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
A Methodology for Agent-Oriented Analysis and Design (paper in proceedings) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Coordination for Internet Application Development (article in journal) — Andrea Omicini, Franco Zambonelli
A Brief History of Stigmergy (article in journal) — Guy Theraulaz, Eric Bonabeau
Building Mobile Agent Applications in HiMAT (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The UMASS Intelligent Home Project (paper in proceedings) — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
Designing Multi-Agent Systems around an Extensible Communication Abstraction (paper in proceedings) — Enrico Denti, Andrea Omicini
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Co-ordination in Artificial Agent Societies (book) — Sascha Ossowski
An Architecture for Tuple-based Coordination of Multi-Agent Systems (article in journal) — Enrico Denti, Andrea Omicini
Agents with Power (article in journal) — Rune Gustavsson
Editor's Introduction: Stigmergy (article in journal) — Eric Bonabeau

20 publications in 1999 with DOI • top • index • bottom

1998

Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (article in journal) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
T Spaces (article in journal) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
KLAIM: A Kernel Language for Agent Interaction and Mobility (article in journal) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Collective dynamics of ‘small-world’ networks (article in journal) — Duncan J. Watts, Steven H. Strogatz
On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Understanding Code Mobility (article in journal) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Towards a Hierarchy of Negative Test Operators for Generative Communication (paper in proceedings) — Gianluigi Zavattaro
Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (paper in proceedings) — Cristiano Castelfranchi, Rino Falcone
Co-ordination of Mobile Information Agents in TuCSoN (article in journal) — Andrea Omicini, Franco Zambonelli
Agent Communication Languages: Rethinking the Principles (article in journal) — Munindar P. Singh
Decision procedures for BDI logics (article in journal) — Anand S. Rao, Michael P. Georgeff
On the Expressive Power of a Language for Programming Coordination Media (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
Distributed Agents Supporting Event-Driven Design Processes (book chapter) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Modelling Social Action for AI Agents (article in journal) — Cristiano Castelfranchi
A Formal Specification of dMARS (paper in proceedings) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge

15 publications in 1998 with DOI • top • index • bottom

1997

Issues in Agent-Based Software Engineering (paper in proceedings) — Michael J. Wooldridge
Programmable Coordination Media (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
“Go to the Ant”: Engineering Principles from Natural Agent Systems (article in journal) — H. Van Dyke Parunak
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (paper in proceedings) — Leon J. Osterweil
Why Interaction Is More Powerful Than Algorithms (article in journal) — Peter Wegner

5 publications in 1997 with DOI • top • index • bottom

1996

Logic Tuple Spaces for the Coordination of Heterogeneous Agents (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Coordination Models and Languages as Software Integrators (article in journal) — Paolo Ciancarini
A Software Environment for Concurrent Coordinated Programming (paper in proceedings) — Anne-Alexandra Holzbacher
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (paper in proceedings) — Stan Franklin, Art Graesser
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (paper in proceedings) — Anand S. Rao

6 publications in 1996 with DOI • top • index • bottom

1995

Intelligent Agents: Theory and Practice (article in journal) — Michael J. Wooldridge, Nicholas R. Jennings
Context and Consciousness: Activity Theory and Human-Computer Interaction (edited volume) — Bonnie A. Nardi
Integration of object-oriented analysis and performance simulation for engineering computer-based systems (paper in proceedings) — Richard Goldgar, Ramon D. Acosta
Law-Governed Linda as a Coordination Model (paper in proceedings) — Naftaly H. Minsky, Jerrold Leichter
Computational Research on Interaction and Agency (article in journal) — Philip E. Agre
Guarantees for Autonomy in Cognitive Agent Architecture (paper in proceedings) — Cristiano Castelfranchi
Specification and Analysis of System Architecture Using Rapide (article in journal) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (article in journal) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Agent Coordination and Control through Logic Theories (paper in proceedings) — Andrea Omicini, Enrico Denti, Antonio Natali

9 publications in 1995 with DOI • top • index • bottom

1994

The Interdisciplinary Study of Coordination (article in journal) — Thomas W. Malone, Kevin Crowston
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (paper in proceedings) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
Moving Prolog Toward Objects (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini
Object-Oriented Computations in Logic Programming (paper in proceedings) — Andrea Omicini, Antonio Natali
Distributed Programming with Logic Tuple Spaces (article in journal) — Paolo Ciancarini
Modularity in Logic Programming (article in journal) — Michele Bugliesi, Evelina Lamma, Paola Mello
Embedding as a Tool for Language Comparison (article in journal) — Frank S. de Boer, Catiuscia Palamidessi

7 publications in 1994 with DOI • top • index • bottom

1993

Foundations for Interaction: The Dependence Theory (paper in proceedings) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Agent-Oriented Programming (article in journal) — Yoav Shoham
Elements of Interaction: Turing Award Lecture (article in journal) — Robin Milner
Techniques for Implementing Contexts in Logic Programming (paper in proceedings) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming (paper in proceedings) — Antonio Natali, Andrea Omicini
Science for the post-normal age (article in journal) — Silvio O. Funtowicz, Jerome R. Ravetz
An Overview of Manifold and its Implementation (article in journal) — Farhad Arbab, Ivan Herman, Per Spilling

7 publications in 1993 with DOI • top • index • bottom

1992

A calculus of mobile processes, I (article in journal) — Robin Milner, Joachim Parrow, David Walker
A calculus of mobile processes, II (article in journal) — Robin Milner, Joachim Parrow, David Walker
Coordination Languages and Their Significance (article in journal) — David Gelernter, Nicholas Carriero
Design principles for cognitive artifacts (article in journal) — Donald A. Norman
Parallel Logic Programming using the Linda Model of Computation (paper in proceedings) — Paolo Ciancarini
The Chemical Abstract Machine (article in journal) — Gérard Berry
Co-ordinating Plans of Autonomous Agents (book) — Frank von Martial

7 publications in 1992 with DOI • top • index • bottom

1991

Separating Concurrent Languages with Categories of Language Embeddings (paper in proceedings) — Ehud Shapiro
Quintus Prolog 3.0 (article in journal) — Ken Johnson
Intelligence without Representation (article in journal) — Rodney A. Brooks
The Concurrent Language, Shared Prolog (article in journal) — Antonio Brogi, Paolo Ciancarini

4 publications in 1991 with DOI • top • index • bottom

1990

Equivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. Smolka
The GAMMA Model and its Discipline of Programming (article in journal) — Jean-Pierre Banâtre, Daniel Le Métayer
IEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard Board
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan Christoff
Concepts and Paradigms of Object-oriented Programming (article in journal) — Peter Wegner

5 publications in 1990 with DOI • top • index • bottom

1989

How to Write Parallel Programs: A Guide to the Perplexed (article in journal) — Nicholas Carriero, David Gelernter
Linda in Context (article in journal) — Nicholas Carriero, David Gelernter