Mirko Viroli » Publications » Co-Author Index

Mirko Viroli's Co-Authors Index

The following page indexes Mirko Viroli's publications in the APICe space by author. Currently, the APICe space contains 269 Mirko Viroli's publications by 101 co-authors.


A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

A [top]
Aldini, Alessandro Combining Trust and Aggregate Computing
Alessandro, Aldini Towards attack-resistant Aggregate Computing using trust mechanisms
Ali, Shaukat Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Ancona, Davide Guest Editorial
Guest Editorial
Anzengruber, Bernhard Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Arcos, Josep Lluis Description and composition of bio-inspired design patterns: a complete overview
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Audrito, Giorgio Aggregate Graph Statistics
From distributed coordination to field calculus and aggregate computing
From Field-Based Coordination to Aggregate Computing
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Aggregate Processes in Field Calculus
Space-Time Universality of Field Calculus
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Run-Time Management of Computation Domains in Field Calculus
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
The share Operator for Field-Based Coordination
A Higher-Order Calculus of Computational Fields
Compositional Blocks for Optimal Self-Healing Gradients
Optimal single-path information propagation in gradient-based algorithms
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Audrito, Giorgio and Viroli On a Higher-Order Calculus of Computational Fields
B [top]
Beal, Jacob Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Resiliency with Aggregate Computing: State of the Art and Roadmap
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Aggregate Programming: From Foundations to Applications
From distributed coordination to field calculus and aggregate computing
Self-adaptation to Device Distribution Changes in Situated Computing Systems
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Aggregate Programming for the Internet of Things
Space-Time Universality of Field Calculus
Building Blocks for Aggregate Programming of Self-Organising Applications
A calculus of computation fields
The share Operator for Field-Based Coordination
A Higher-Order Calculus of Computational Fields
Towards a Foundational API for Resilient Distributed Systems Design
Improving Gossip Dynamics Through Overlapping Replicates
Improving Gossip Dynamics Through Overlapping Replicates
Practical Aggregate Programming with Protelis
A type-sound calculus of computational fields
Formal Foundations of Sensor Network Applications
Protelis: Practical Aggregate Programming
Space-Time Programming
Operational Semantics of Proto
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Core Operational Semantics of Proto
Organizing the Aggregate: Languages for Spatial Computing
Self-Adaptation to Device Distribution in the Internet of Things
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Beal, Jacob From Field-Based Coordination to Aggregate Computing
Bergamini, Sergio Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Bini, Enrico Distributed Real-Time Shortest-Paths Computations with the Field Calculus
Brunetti, Pietro Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
Smart Augmented Fields for Emergency Operations
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Bucchiarone, Antonio Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
On the Social Implications of Collective Adaptive Systems
Buda, Claudio simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
C [top]
Cabano, Michele Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Cabri, Giacomo On the Social Implications of Collective Adaptive Systems
Canal, Carlos Preface
Preface
Carlos, Canal Preface
Preface
Preface
Casadei, Matteo Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Biochemical Tuple Spaces for Self-Organising Coordination
Chemical-Inspired Self-Composition of Competing Services
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
On the Collective Sort Problem for Distributed Tuple Spaces
Collective Sorting Tuple Spacess
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
Prototyping A&A ReSpecT in Maude
Prototyping A&A ReSpecT in Maude
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Designing Self-organising MAS Environments: The Collective Sort Case
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
A Framework for Modelling and Implementing Self-Organising Coordination
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
Core Operational Semantics of Proto
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
On the Problem of Over-clustering in Tuple-based Coordination Systems
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Casadei, Roberto Programming Actor-Based Collective Adaptive Systems
Engineering Resilient Collaborative Edge-Enabled IoT
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
A development approach for collective opportunistic Edge-of-Things services
From distributed coordination to field calculus and aggregate computing
Towards Aggregate Programming in Scala
On Execution Platforms for Large-scale Aggregate Computing
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Combining Trust and Aggregate Computing
Simulating Large-scale Aggregate MASs with Alchemist and Scala
On Context-Orientation in Aggregate Programming
From Field-Based Coordination to Aggregate Computing
Aggregate Processes in Field Calculus
Run-Time Management of Computation Domains in Field Calculus
Towards attack-resistant Aggregate Computing using trust mechanisms
Security in Collective Adaptive Systems: A Roadmap
Self-organising Coordination Regions: a Pattern for Edge Computing
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
Case studies for a new IoT programming paradigm: Fluidware
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
On the Social Implications of Collective Adaptive Systems
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
Casadei, Roberto Casadei Compositional Blocks for Optimal Self-Healing Gradients
Castelfranchi, Cristiano What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
A Conceptual Framework for Self-Organising MAS
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
Castelli, Gabriella A Coordination Approach to Adaptive Pervasive Service Ecosystems
Spatial awareness in pervasive ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
Coordinating Spatially-Situated Pervasive Service Ecosystems
Self-aware Pervasive Service Ecosystems
Best ACM SAC Articles on Coordination and Self-Adaptation
Ciatto, Giovanni Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Cimadamore, Maurizio On the reification of Java wildcards
A Prolog-oriented extension of Java programming based on generics and annotations
Integrating Java and Prolog through Generic Methods and Type Inference
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Cioffi, Marco Multi-agent Infrastructures for Objective and Subjective Coordination
Correll, Nikolaus Organizing the Aggregate: Languages for Spatial Computing
Croatti, Angelo Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
Computational Fields Meet Augmented Reality: Perspectives and Challenges
Smart Augmented Fields for Emergency Operations
Aggregate plans for multiagent systems
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
Spatial Tuples: Augmenting Reality with Tuples
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
D [top]
D'Angelo, Mirko On the Social Implications of Collective Adaptive Systems
Damiani, Ferruccio Aggregate Graph Statistics
Type-based Self-stabilisation for Computational Fields
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
From distributed coordination to field calculus and aggregate computing
A Calculus of Agents and Artifacts
Self-adaptation to Device Distribution Changes in Situated Computing Systems
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
From Field-Based Coordination to Aggregate Computing
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Aggregate Processes in Field Calculus
Space-Time Universality of Field Calculus
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Run-Time Management of Computation Domains in Field Calculus
A calculus of computation fields
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
The share Operator for Field-Based Coordination
A Higher-Order Calculus of Computational Fields
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
Compositional Blocks for Optimal Self-Healing Gradients
Standard Type Soundness for Agents and Artifacts
A type-sound calculus of computational fields
Optimal single-path information propagation in gradient-based algorithms
A Calculus of Self-stabilising Computational Fields
Self-Adaptation to Device Distribution in the Internet of Things
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
De Sanctis, Martina On the Social Implications of Collective Adaptive Systems
DeAngelis, Francesco L. Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Denti, Enrico Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Engineering a BPEL Orchestration Engine as a Multi-agent System
Di Marzo Serugendo, Giovanna Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Description and composition of bio-inspired design patterns: a complete overview
Spatial awareness in pervasive ecosystems
Injecting Self-organisation into Pervasive Service Ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-aware Pervasive Service Ecosystems
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Dobson, Simon Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
Spatial awareness in pervasive ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-aware Pervasive Service Ecosystems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Self-organising Semantic Resource Discovery for Pervasive Systems
Self-Organising Semantic Resource Discovery for Pervasive Systems
On the Social Implications of Collective Adaptive Systems
Dulman, Stefan Organizing the Aggregate: Languages for Spatial Computing
Dustdar, Schahram Engineering Resilient Collaborative Edge-Enabled IoT
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
F [top]
Fernandez-Marquez, Jose Luis Description and composition of bio-inspired design patterns: a complete overview
Spatial awareness in pervasive ecosystems
Injecting Self-organisation into Pervasive Service Ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Self-Organising Semantic Resource Discovery for Pervasive Systems
Best ACM SAC Articles on Coordination and Self-Adaptation
Ferrari, Laura Self-aware Pervasive Service Ecosystems
Ferscha, Alois HPC from a self-organisation perspective: The case of crowd steering at the urban scale
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-aware Pervasive Service Ecosystems
Fornari, Fabrizio Case studies for a new IoT programming paradigm: Fluidware
Fortino, Giancarlo A development approach for collective opportunistic Edge-of-Things services
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Modeling Opportunistic IoT Services in Open IoT Ecosystems
Case studies for a new IoT programming paradigm: Fluidware
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Fortino, Giancarlo and Russo Opportunistic cyberphysical services: {A} novel paradigm for the future Internet of Things
Francia, Matteo Towards a Foundational API for Resilient Distributed Systems Design
G [top]
Gardelli, Luca Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
On the Collective Sort Problem for Distributed Tuple Spaces
Collective Sorting Tuple Spacess
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
Design Patterns for Self-Organising Systems
Designing Self-organising MAS Environments: The Collective Sort Case
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Experimenting with Stochastic Prolog as a Simulation Language
Giannini, Paola A Calculus of Agents and Artifacts
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
Standard Type Soundness for Agents and Artifacts
H [top]
Holvoet, Tom Infrastructures for the Environment of Multiagent Systems
Environments in Multiagent Systems
I [top]
Igarashi, Atsushi Variant Parametric Types: A Flexible Subtyping Scheme for Generics
Lightweight Family Polymorphism
Variant path types for scalable extensibility
M [top]
Mamei, Marco A Coordination Approach to Adaptive Pervasive Service Ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
Coordinating Spatially-Situated Pervasive Service Ecosystems
Self-aware Pervasive Service Ecosystems
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Mariani, Stefano Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Spatial Tuples: Augmenting Reality with Tuples
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Case studies for a new IoT programming paradigm: Fluidware
Time-Fluid Field-Based Coordination
Maschek, Sascha Self-aware Pervasive Service Ecosystems
McBurney, Peter Argumentation and Artifacts for Negotiation Support
Argumentation and Artifacts for Negotiation Support
Argumentation and Artifact for Dialogue Support
Argumentation and Artifact for Dialog Support
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
Menezes, Ronaldo On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
Have ReSpecT for LogOp
Self Organization in Coordination Systems using a WordNet-based Ontology
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
On the Problem of Over-clustering in Tuple-based Coordination Systems
Molesini, Ambra Environment in Agent-Oriented Software Engineering Methodologies
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Pervasive Multiagent Systems in SAPERE
Montagna, Sara Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Gradient-based Self-organisation Patterns of Anticipative Adaptation
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
A computational framework for modelling multicellular biochemistry
A Framework for Modelling and Simulating Networks of Cells
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
A Computational Framework for Multilevel Morphologies
Description and composition of bio-inspired design patterns: a complete overview
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
A Simulation Framework for Pervasive Services Ecosystems
A coordination model of pervasive service ecosystems
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Spatial awareness in pervasive ecosystems
Injecting Self-organisation into Pervasive Service Ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-aware Pervasive Service Ecosystems
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
Self-organising Semantic Resource Discovery for Pervasive Systems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
Moro, Gianluca On Observation as a Coordination Pattern: An Ontology and a Formal Framework
N [top]
Nardini, Elena General-Purpose Coordination Abstractions for Managing Interaction in MAS
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
Description Spaces with Fuzziness
A Coordination Approach to Adaptive Pervasive Service Ecosystems
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
Coordinating Spatially-Situated Pervasive Service Ecosystems
Self-aware Pervasive Service Ecosystems
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
Semantic Tuple Centres
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Natali, Antonio An Adaptation Logic Framework for Java-based Component Systems
A Framework for Engineering Interactions in Java-based Component Systems
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
Self-organising Coordination Regions: a Pattern for Edge Computing
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
Nieminen, Jussi Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
O [top]
Oliva, Enrico An Adaptation Logic Framework for Java-based Component Systems
Arguments and Artifacts for Dispute Resolution
Argumentation and Artifacts for Negotiation Support
Argumentation and Artifacts for Negotiation Support
Argumentation and Artifact for Dialogue Support
Argumentation and Artifact for Dialog Support
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
A Framework for Engineering Interactions in Java-based Component Systems
Simulation of Minority Game in TuCSoN
Simulating Minority Game with TuCSoN
Minority Game: A Logic-Based Approach in TuCSoN
Experimenting with Stochastic Prolog as a Simulation Language
Omicini, Andrea Agent Coordination Contexts in a MAS Coordination Infrastructure
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
Agent Coordination Context: From Theory to Practice
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
General-Purpose Coordination Abstractions for Managing Interaction in MAS
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Towards an Alternative Semantics for FIPA ACL
A Semantics for the Interaction of Agents with Coordination Artifacts
Arguments and Artifacts for Dispute Resolution
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Agens Faber: Toward a Theory of Artefacts for MAS
Agents, Intelligence, and Tools
Environment in Agent-Oriented Software Engineering Methodologies
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Argumentation and Artifacts for Negotiation Support
Argumentation and Artifacts for Negotiation Support
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
Argumentation and Artifact for Dialogue Support
Argumentation and Artifact for Dialog Support
Engineering MAS Environment with Artifacts
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Operating Instructions for Intelligent Agent Coordination
Programming MAS with Artifacts
Programming MAS with Artifacts
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
A Conceptual Framework for Self-Organising MAS
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
Environment Programming in CArtAgO
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Multi-agent Infrastructures for Objective and Subjective Coordination
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
Environment-Based Coordination Through Coordination Artifacts
Coordination as a Service: Ontological and Formal Foundation
Coordination as a Service
On the Expressiveness of Event-Based Coordination Media
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
Integrating Objective & Subjective Coordination in Multi-Agent Systems
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
Description Spaces with Fuzziness
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
Have ReSpecT for LogOp
Simulation of Minority Game in TuCSoN
Simulating Minority Game with TuCSoN
Minority Game: A Logic-Based Approach in TuCSoN
Specifying Agent Observable Behaviour
Multi-Agent Systems as Composition of Observable Systems
On the Grey-Box Modelling Approach for Autonomous Agents
Tuple-based Models in the Observation Framework
A Specification Language for Agents Observable Behaviour
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
Multi-Agent Systems as Composition of Observable Systems
An Observation Approach to Semantics of Agents Communication Languages
Modelling Agents as Observable Sources
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Role-Based Access Control in MAS using Agent Coordination Contexts
RBAC for Organisation and Security in an Agent Coordination Infrastructure
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Prototyping A&A ReSpecT in Maude
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Prototyping A&A ReSpecT in Maude
Extending ReSpecT for Multiple Coordination Flows
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Pervasive Multiagent Systems in SAPERE
Self-aware Pervasive Service Ecosystems
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
Design Patterns for Self-Organising Systems
Designing Self-organising MAS Environments: The Collective Sort Case
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
Coordination Models and Languages: From Parallel Computing To Self-Organisation
A Framework for Modelling and Implementing Self-Organising Coordination
Self Organization in Coordination Systems using a WordNet-based Ontology
Semantic Tuple Centres
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Spatial Tuples: Augmenting Reality with Tuples
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Experimenting with Stochastic Prolog as a Simulation Language
Time-Aware Coordination in ReSpecT
Timed Environment for Web Agents
P [top]
Panzavolta, Emanuele Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
Parsons, Simon A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
Piancastelli, Giulio simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Pianini, Danilo Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Computational Fields Meet Augmented Reality: Perspectives and Challenges
A development approach for collective opportunistic Edge-of-Things services
From distributed coordination to field calculus and aggregate computing
On Execution Platforms for Large-scale Aggregate Computing
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Self-adaptation to Device Distribution Changes in Situated Computing Systems
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Aggregate Programming for the Internet of Things
On Context-Orientation in Aggregate Programming
From Field-Based Coordination to Aggregate Computing
Aggregate Processes in Field Calculus
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
The share Operator for Field-Based Coordination
A Higher-Order Calculus of Computational Fields
Towards a Foundational API for Resilient Distributed Systems Design
Improving Gossip Dynamics Through Overlapping Replicates
Aggregate plans for multiagent systems
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Improving Gossip Dynamics Through Overlapping Replicates
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
Practical Aggregate Programming with Protelis
A Simulation Framework for Pervasive Services Ecosystems
A coordination model of pervasive service ecosystems
Protelis: Practical Aggregate Programming
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Spatial awareness in pervasive ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Security in Collective Adaptive Systems: A Roadmap
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Self-organising Coordination Regions: a Pattern for Edge Computing
Self Organization in Coordination Systems using a WordNet-based Ontology
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Spatial Tuples: Augmenting Reality with Tuples
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Self-Adaptation to Device Distribution in the Internet of Things
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Case studies for a new IoT programming paradigm: Fluidware
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Time-Fluid Field-Based Coordination
On the Social Implications of Collective Adaptive Systems
Piunti, Michele Agents, Intelligence, and Tools
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Environment Programming in CArtAgO
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Formalising the Environment in MAS Programming: a Formal Model
Poizat, Pascal Preface
R [top]
Re, Barbara Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Case studies for a new IoT programming paradigm: Fluidware
Ricci, Alessandro Agent Coordination Contexts in a MAS Coordination Infrastructure
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
Agent Coordination Context: From Theory to Practice
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
A Semantics for the Interaction of Agents with Coordination Artifacts
An Adaptation Logic Framework for Java-based Component Systems
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Agens Faber: Toward a Theory of Artefacts for MAS
Towards agent aggregates: perspectives and challenges
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
Computational Fields Meet Augmented Reality: Perspectives and Challenges
Agents, Intelligence, and Tools
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
A Calculus of Agents and Artifacts
Engineering MAS Environment with Artifacts
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Operating Instructions for Intelligent Agent Coordination
Programming MAS with Artifacts
Programming MAS with Artifacts
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Smart Augmented Fields for Emergency Operations
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
A Conceptual Framework for Self-Organising MAS
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Environment Programming in CArtAgO
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Multi-agent Infrastructures for Objective and Subjective Coordination
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
Environment-Based Coordination Through Coordination Artifacts
On the Expressiveness of Event-Based Coordination Media
Tuple-based Coordination Models in Event-based Scenarios
Infrastructures for the Environment of Multiagent Systems
Environments in Multiagent Systems
Integrating Objective & Subjective Coordination in Multi-Agent Systems
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
A Framework for Engineering Interactions in Java-based Component Systems
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
Aggregate plans for multiagent systems
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Modelling Agents as Observable Sources
Agent Interaction Semantics by Timed Operating Instructions
Engineering a BPEL Orchestration Engine as a Multi-agent System
Formalising the Environment in MAS Programming: a Formal Model
Role-Based Access Control in MAS using Agent Coordination Contexts
RBAC for Organisation and Security in an Agent Coordination Infrastructure
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Extending ReSpecT for Multiple Coordination Flows
Standard Type Soundness for Agents and Artifacts
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
Spatial Tuples: Augmenting Reality with Tuples
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Time-Aware Coordination in ReSpecT
Timed Environment for Web Agents
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
Rimassa, Giovanni Multi-agent Infrastructures for Objective and Subjective Coordination
Integrating Objective & Subjective Coordination in Multi-Agent Systems
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
On Access Restriction with Java Wildcards
Risoldi, Matteo Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-aware Pervasive Service Ecosystems
Roli, Andrea A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
Rosi, Alberto Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Spatial awareness in pervasive ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-aware Pervasive Service Ecosystems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Russo, Wilma A development approach for collective opportunistic Edge-of-Things services
Modeling Opportunistic IoT Services in Open IoT Ecosystems
Case studies for a new IoT programming paradigm: Fluidware
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
S [top]
Saito, Chieri Lightweight Family Polymorphism
Salvaneschi, Guido On Context-Orientation in Aggregate Programming
Sanseverino, Marialuisa Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Santarelli, Marco Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
Savaglio, Claudio A development approach for collective opportunistic Edge-of-Things services
Modeling Opportunistic IoT Services in Open IoT Ecosystems
Case studies for a new IoT programming paradigm: Fluidware
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Schelfthout, Kurt Infrastructures for the Environment of Multiagent Systems
Schumacher, Michael Environments in Multiagent Systems
Schumacher, Michael Ignaz Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
Serugendo, Giovanna Di Marzo Self-Organising Semantic Resource Discovery for Pervasive Systems
Stevenson, Graeme A coordination model of pervasive service ecosystems
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Spatial awareness in pervasive ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
On the Space-time Situation of Pervasive Service Ecosystems
Self-aware Pervasive Service Ecosystems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Self-organising Semantic Resource Discovery for Pervasive Systems
Self-Organising Semantic Resource Discovery for Pervasive Systems
T [top]
Tchao, Akla Self-Organising Semantic Resource Discovery for Pervasive Systems
Tchao, Akla-Esso Self-aware Pervasive Service Ecosystems
Tolksdorf, Robert Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
On the Problem of Over-clustering in Tuple-based Coordination Systems
Tsigkanos, Christos Engineering Resilient Collaborative Edge-Enabled IoT
Tummolini, Luca What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
A Conceptual Framework for Self-Organising MAS
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
U [top]
Usbeck, Kyle Operational Semantics of Proto
Organizing the Aggregate: Languages for Spatial Computing
V [top]
Villalba, Cynthia Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Viroli, Mirko Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Agent Coordination Contexts in a MAS Coordination Infrastructure
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
Agent Coordination Context: From Theory to Practice
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
General-Purpose Coordination Abstractions for Managing Interaction in MAS
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Towards an Alternative Semantics for FIPA ACL
A Semantics for the Interaction of Agents with Coordination Artifacts
Programming Actor-Based Collective Adaptive Systems
An Adaptation Logic Framework for Java-based Component Systems
Arguments and Artifacts for Dispute Resolution
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Agens Faber: Toward a Theory of Artefacts for MAS
Aggregate Graph Statistics
Towards agent aggregates: perspectives and challenges
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Resiliency with Aggregate Computing: State of the Art and Roadmap
Type-based Self-stabilisation for Computational Fields
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Computational Fields Meet Augmented Reality: Perspectives and Challenges
Aggregate Programming: From Foundations to Applications
Engineering Resilient Collaborative Edge-Enabled IoT
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
A development approach for collective opportunistic Edge-of-Things services
From distributed coordination to field calculus and aggregate computing
Towards Aggregate Programming in Scala
On Execution Platforms for Large-scale Aggregate Computing
Agents, Intelligence, and Tools
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Environment in Agent-Oriented Software Engineering Methodologies
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Argumentation and Artifacts for Negotiation Support
Argumentation and Artifacts for Negotiation Support
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
Argumentation and Artifact for Dialogue Support
Argumentation and Artifact for Dialog Support
A Calculus of Agents and Artifacts
Engineering MAS Environment with Artifacts
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Operating Instructions for Intelligent Agent Coordination
Programming MAS with Artifacts
Programming MAS with Artifacts
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Smart Augmented Fields for Emergency Operations
Self-adaptation to Device Distribution Changes in Situated Computing Systems
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
A Conceptual Framework for Self-Organising MAS
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
Biochemical Tuple Spaces for Self-Organising Coordination
Chemical-Inspired Self-Composition of Competing Services
A computational framework for modelling multicellular biochemistry
A Framework for Modelling and Simulating Networks of Cells
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Environment Programming in CArtAgO
Combining Trust and Aggregate Computing
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
On competitive self-composition in pervasive services
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
On the Collective Sort Problem for Distributed Tuple Spaces
Collective Sorting Tuple Spacess
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Aggregate Programming for the Internet of Things
On Context-Orientation in Aggregate Programming
Multi-agent Infrastructures for Objective and Subjective Coordination
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
Environment-Based Coordination Through Coordination Artifacts
Coordination as a Service: Ontological and Formal Foundation
Coordination as a Service
On the Expressiveness of Event-Based Coordination Media
Tuple-based Coordination Models in Event-based Scenarios
From Field-Based Coordination to Aggregate Computing
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Aggregate Processes in Field Calculus
Space-Time Universality of Field Calculus
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
A Biochemical Approach to Adaptive Service Ecosystems
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
Infrastructures for the Environment of Multiagent Systems
Environments in Multiagent Systems
Building Blocks for Aggregate Programming of Self-Organising Applications
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Run-Time Management of Computation Domains in Field Calculus
A calculus of computation fields
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
The share Operator for Field-Based Coordination
A Higher-Order Calculus of Computational Fields
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
Towards a Unified Model of Spatial Computing
Integrating Objective & Subjective Coordination in Multi-Agent Systems
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
A Framework for Engineering Interactions in Java-based Component Systems
Towards a Foundational API for Resilient Distributed Systems Design
Description Spaces with Fuzziness
A Type-Passing Approach for the Implementation of Parametric Methods in {Java}
On Access Restriction with Java Wildcards
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
On the reification of Java wildcards
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
Improving Gossip Dynamics Through Overlapping Replicates
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
Aggregate plans for multiagent systems
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Preface
Preface
Preface
Guest Editorial
Guest Editorial
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
Modeling Opportunistic IoT Services in Open IoT Ecosystems
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
Have ReSpecT for LogOp
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
Simulation of Minority Game in TuCSoN
Simulating Minority Game with TuCSoN
Minority Game: A Logic-Based Approach in TuCSoN
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
A Computational Framework for Multilevel Morphologies
Compositional Blocks for Optimal Self-Healing Gradients
Specifying Agent Observable Behaviour
Multi-Agent Systems as Composition of Observable Systems
On the Grey-Box Modelling Approach for Autonomous Agents
Tuple-based Models in the Observation Framework
A Specification Language for Agents Observable Behaviour
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
Multi-Agent Systems as Composition of Observable Systems
An Observation Approach to Semantics of Agents Communication Languages
Modelling Agents as Observable Sources
Agent Interaction Semantics by Timed Operating Instructions
A core calculus for correlation in orchestration languages
Engineering a BPEL Orchestration Engine as a Multi-agent System
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
A Prolog-oriented extension of Java programming based on generics and annotations
Integrating Java and Prolog through Generic Methods and Type Inference
Description and composition of bio-inspired design patterns: a complete overview
Improving Gossip Dynamics Through Overlapping Replicates
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
Practical Aggregate Programming with Protelis
A Simulation Framework for Pervasive Services Ecosystems
Lightweight Family Polymorphism
Variant path types for scalable extensibility
Preface
Preface
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
Formalising the Environment in MAS Programming: a Formal Model
Role-Based Access Control in MAS using Agent Coordination Contexts
RBAC for Organisation and Security in an Agent Coordination Infrastructure
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Prototyping A&A ReSpecT in Maude
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Prototyping A&A ReSpecT in Maude
Extending ReSpecT for Multiple Coordination Flows
Standard Type Soundness for Agents and Artifacts
A type-sound calculus of computational fields
Optimal single-path information propagation in gradient-based algorithms
A coordination model of pervasive service ecosystems
Towards attack-resistant Aggregate Computing using trust mechanisms
Formal Foundations of Sensor Network Applications
Protelis: Practical Aggregate Programming
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
A Coordination Approach to Adaptive Pervasive Service Ecosystems
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Spatial awareness in pervasive ecosystems
Injecting Self-organisation into Pervasive Service Ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
On the Space-time Situation of Pervasive Service Ecosystems
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
Coordinating Spatially-Situated Pervasive Service Ecosystems
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Pervasive Multiagent Systems in SAPERE
Self-aware Pervasive Service Ecosystems
Security in Collective Adaptive Systems: A Roadmap
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-organising Coordination Regions: a Pattern for Edge Computing
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
Design Patterns for Self-Organising Systems
Designing Self-organising MAS Environments: The Collective Sort Case
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
Coordination Models and Languages: From Parallel Computing To Self-Organisation
A Framework for Modelling and Implementing Self-Organising Coordination
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Self Organization in Coordination Systems using a WordNet-based Ontology
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Semantic Tuple Centres
Self-organising Semantic Resource Discovery for Pervasive Systems
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Self-Organising Semantic Resource Discovery for Pervasive Systems
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Space-Time Programming
Operational Semantics of Proto
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
A Calculus of Self-stabilising Computational Fields
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
Core Operational Semantics of Proto
Spatial Tuples: Augmenting Reality with Tuples
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Best ACM SAC Articles on Coordination and Self-Adaptation
Experimenting with Stochastic Prolog as a Simulation Language
Organizing the Aggregate: Languages for Spatial Computing
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
On the Problem of Over-clustering in Tuple-based Coordination Systems
Self-Adaptation to Device Distribution in the Internet of Things
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Time-Aware Coordination in ReSpecT
Timed Environment for Web Agents
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Case studies for a new IoT programming paradigm: Fluidware
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Time-Fluid Field-Based Coordination
On the Social Implications of Collective Adaptive Systems
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
Virruso, Sascia Self Organization in Coordination Systems using a WordNet-based Ontology
W [top]
Wally, Bernhard Self-aware Pervasive Service Ecosystems
Weyns, Danny Environments in Multiagent Systems
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Y [top]
Ye, Juan Spatial awareness in pervasive ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Self-Organising Semantic Resource Discovery for Pervasive Systems
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
Self-organising Semantic Resource Discovery for Pervasive Systems
Self-Organising Semantic Resource Discovery for Pervasive Systems
Ye, Yuan Self-aware Pervasive Service Ecosystems
Z [top]
Zaghini, Nicola simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
Zambonelli, Franco Architecture and Metaphors for Eternally Adaptive Service Ecosystems
A Biochemical Approach to Adaptive Service Ecosystems
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Infrastructures for the Environment of Multiagent Systems
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
A coordination model of pervasive service ecosystems
A Coordination Approach to Adaptive Pervasive Service Ecosystems
Spatial awareness in pervasive ecosystems
Injecting Self-organisation into Pervasive Service Ecosystems
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
Coordinating Spatially-Situated Pervasive Service Ecosystems
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Pervasive Multiagent Systems in SAPERE
Self-aware Pervasive Service Ecosystems
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Case studies for a new IoT programming paradigm: Fluidware
Time-Fluid Field-Based Coordination
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Zhou, MengChu Modeling Opportunistic IoT Services in Open IoT Ecosystems