A Coordination Approach to Adaptive Pervasive Service Ecosystems

A Framework for Engineering Interactions in Java-based Component Systems

A Framework for Modelling and Simulating Networks of Cells

A Prolog-oriented extension of Java programming based on generics and annotations

A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems

A biochemical approach to adaptive service ecosystems

A biochemical metaphor for developing eternally adaptive service ecosystems

A computational framework for modelling multicellular biochemistry

A coordination model of pervasive service ecosystems

A core calculus for correlation in orchestration languages

A framework for modelling and implementing self-organising coordination

A model for drosophila melanogaster development from a single cell to stripe pattern formation

article

A quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue

A self-organising solution to the collective sort problem in distributed tuple spaces

A timed extension of ReSpecT

AGENT COORDINATION CONTEXTS IN A MAS COORDINATION INFRASTRUCTURE

Agens Faber: Toward a Theory of Artefacts for MAS

Agent Coordination Contexts for the formal specification and enactment of coordination and security policies

Agents, Intelligence and Tools

scientific article published in 2009

An Observation Approach to the Semantics of Agent Communication Languages

An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts

An algebraic approach for modelling organisation, roles and contexts in MAS

scholarly article by Andrea Omicini et al published 7 July 2005 in Applicable Algebra in Engineering Communication and Computing

An experience on probabilistic model checking and stochastic simulation to design self-organizing systems

Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks

Architecture and Metaphors for Eternally Adaptive Service Ecosystems

article published in Studies in Computational Intelligence

Argumentation and Artifact for Dialogue Support

article published in 2009

Artifacts in the A&A meta-model for multi-agent systems

article

Biochemical Tuple Spaces for Self-organising Coordination

Chemical-inspired self-composition of competing services

article

Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks

Combining self-organisation, context-awareness and semantic reasoning

Coordination as a Service: Ontological and Formal Foundation

Coordination in open and dynamic environments with TuCSoN semantic tuple centres

Coordination models and languages: from parallel computing to self-organisation

article published in 2011

Core operational semantics of Proto

Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report

scientific article published on 04 September 2024

Description and composition of bio-inspired design patterns

article

Description and composition of bio-inspired design patterns: a complete overview

article

Description spaces with fuzziness

Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres

article published in 2006

Dynamic composition of coordination abstractions for pervasive systems

article

Editorial message

Effective and Efficient Compilation of Run-Time Generics in Java

article published in 2005

Engineering a BPEL orchestration engine as a multi-agent system

Environment programming in multi-agent systems: an artifact-based perspective

Environments in multiagent systems

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments

General-Purpose Coordination Abstractions for Managing Interaction in MAS

Give agents their artifacts

Gradient-Based Self-Organisation Patterns of Anticipative Adaptation

Guest Editorial

Guest Editorial

Guest Editorial

INFRASTRUCTURE FOR RBAC-MAS: AN APPROACH BASED ON AGENT COORDINATION CONTEXTS

Infrastructures for the environment of multiagent systems

Injecting Self-Organisation into Pervasive Service Ecosystems

Integrating Java and Prolog through generic methods and type inference

Lightweight Family Polymorphism

Lightweight family polymorphism

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

MULTI-AGENT INFRASTRUCTURES FOR OBJECTIVE AND SUBJECTIVE COORDINATION

Middleware Infrastructures for Self-organising Pervasive Computing Systems

Modelling and simulation of Opportunistic IoT Services with Aggregate Computing

Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems

On Access Restriction with Java Wildcards

On competitive self-composition in pervasive services

article

On the Problem of Over-clustering in Tuple-based Coordination Systems

On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in TuCSoN

article published in 2006

On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study

On the collective sort problem for distributed tuple spaces

On the reification of Java wildcards

Operating instructions for intelligent agent coordination

Operational semantics of proto

Optimal single-path information propagation in gradient-based algorithms

Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties

scientific article published on 13 September 2024

Parametric polymorphism in Java

Pervasive ecosystems

Preface

Preface

Preface

Preface

Preface

Preface

Process-algebraic approaches for multi-agent systems: an overview

scholarly article by Mirko Viroli & Andrea Omicini published 31 May 2005 in Applicable Algebra in Engineering Communication and Computing

Programming MAS with Artifacts

Programming coordination laws of artifacts in CArtAgO

Prototyping A&A ReSpecT in Maude

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus

RBAC for Organisation and Security in an Agent Coordination Infrastructure

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

Reifying wildcards in Java using the EGO approach

Self Organization in Coordination Systems Using a WordNet-Based Ontology

Self-Organising Semantic Resource Discovery for Pervasive Systems

Self-aware Pervasive Service Ecosystems

Self-organising Pervasive Ecosystems: A Crowd Evacuation Example

Self-organized over-clustering avoidance in tuple-space systems

article

Semantic tuple centres

Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case

article published in 2007

Simulation in Agent-Oriented Software Engineering: The SODA case study

Space-time programming

scientific article published in July 2015

Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces

Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces

Spatial Tuples: Augmenting reality with tuples

Standard Type Soundness for Agents and Artifacts

scholarly article published 2012

The A&A Programming Model and Technology for Developing Agent Environments in MAS

Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems

article published in 2012

Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach

Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems

Towards a Formal Foundation to Orchestration Languages

Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services

article published in 2010

Towards attack-resistant Aggregate Computing using trust mechanisms

article by Roberto Casadei et al published December 2018 in Science of Computer Programming

Understanding access restriction of variant parametric types and Java wildcards

Using Ant’s Brood Sorting to Increase Fault Tolerance in Linda’s Tuple Distribution Mechanism

article

Using probabilistic model checking and simulation for designing self-organizing systems

Variant parametric types

Variant path types for scalable extensibility

Variant path types for scalable extensibility

Verifying Properties of Coordination by Well-Structured Transition Systems

simpA

article published in 2007

simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications

simpA: An agent-oriented approach for programming concurrent applications on top of Java