Per Year
- 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
- 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
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
(paper in proceedings) — Marco Alberti, Andrea Omicini
- 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
- Self-Organising News Management: The Molecules of Knowledge Approach
(paper in proceedings) — Stefano Mariani, Andrea Omicini
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
(paper in proceedings) — Stefano Mariani, Andrea Omicini
- 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
- 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
- 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
- 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
- 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
- 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
- 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 profiles
(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
- 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
- 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
publications
with
DOI
/
2005–2014
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini