Mirko Viroli

Christos Tsigkanos

Schahram Dustdar

Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018

Programming Actor-Based Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Towards attack-resistant Aggregate Computing using trust mechanisms.

[BibT_eX]

[DOI]

Alessandro Aldini

Sci. Comput. Program., 2018

Optimal single-path information propagation in gradient-based algorithms.

[BibT_eX]

[DOI]

Giorgio Audrito

Sci. Comput. Program., 2018

Spatial Tuples: Augmenting reality with tuples.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2018

On Distributed Runtime Verification by Aggregate Computing.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

Distributed Real-Time Shortest-Paths Computations with the Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

From Field-Based Coordination to Aggregate Computing.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

Space-Time Universality of Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2018

2017

Self-Adaptation to Device Distribution in the Internet of Things.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2017

Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE.

[BibT_eX]

[DOI]

Angelo Croatti

Int. J. Distributed Syst. Technol., 2017

Aggregate plans for multiagent systems.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2017

Aggregate Graph Statistics.

[BibT_eX]

[DOI]

Giorgio Audrito

Proceedings of the Proceedings First Workshop on Architectures, 2017

Modeling Opportunistic IoT Services in Open IoT Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop "From Objects to Agents", 2017

Combining Trust and Aggregate Computing.

[BibT_eX]

[DOI]

Alessandro Aldini

Proceedings of the Software Engineering and Formal Methods, 2017

Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration.

[BibT_eX]

[DOI]

Simon Dobson

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Practical Aggregate Programming with Protelis.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Towards a Foundational API for Resilient Distributed Systems Design.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Compositional Blocks for Optimal Self-Healing Gradients.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.

[BibT_eX]

[DOI]

Giorgio Audrito

Proceedings of the Coordination Models and Languages, 2017

2016

SASO 2014: Selected, Revised, and Extended Best Papers.

[BibT_eX]

[DOI]

Ada Diaconescu

Nagarajan Kandasamy

ACM Trans. Auton. Adapt. Syst., 2016

A type-sound calculus of computational fields.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Spatial computing: introduction to the special issue.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2016

Spatial awareness in pervasive ecosystems.

[BibT_eX]

[DOI]

Simon A. Dobson

Graeme Stevenson

Knowl. Eng. Rev., 2016

Resiliency with Aggregate Computing: State of the Art and Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Aggregate Programming: From Foundations to Applications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Self-Adaptation to Device Distribution Changes.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Run-Time Management of Computation Domains in Field Calculus.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Spatial Tuples: Augmenting Physical Reality with Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016

On execution platforms for large-scale aggregate computing.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

Simulating Large-scale Aggregate MASs with Alchemist and Scala.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Towards Aggregate Programming in Scala.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

Improving Gossip Dynamics Through Overlapping Replicates.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

2015

A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development.

[BibT_eX]

[DOI]

Andrea Roli

Simul., 2015

Formal foundations of sensor network applications.

[BibT_eX]

[DOI]

ACM SIGSPATIAL Special, 2015

A coordination model of pervasive service ecosystems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Developing pervasive multi-agent systems with nature-inspired coordination.

[BibT_eX]

[DOI]

Pervasive Mob. Comput., 2015

Type-based Self-stabilisation for Computational Fields.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Aggregate Programming for the Internet of Things.

[BibT_eX]

[DOI]

Computer, 2015

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Computational Fields Meet Augmented Reality: Perspectives and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Protelis: practical aggregate programming.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Programming very-large scale systems of wearables.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Smart Augmented Fields for Emergency Operations.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

Towards Agent Aggregates: Perspectives and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Programming Mirror Worlds: An Agent-Oriented Programming Perspective.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

2014

Best ACM SAC Articles on Coordination and Self-Adaptation.

[BibT_eX]

[DOI]

Gabriella Castelli

ACM Trans. Auton. Adapt. Syst., 2014

Building Blocks for Aggregate Programming of Self-Organising Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Predictable Self-Organization with Computational Fields.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

HPC from a self-organisation perspective: The case of crowd steering at the urban scale.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

A Calculus of Self-stabilising Computational Fields.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2014

2013

Operational semantics of proto.

[BibT_eX]

[DOI]

Kyle Usbeck

Sci. Comput. Program., 2013

On competitive self-composition in pervasive services.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Semantic tuple centres.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

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

[BibT_eX]

[DOI]

Josep Lluís Arcos

Nat. Comput., 2013

Injecting Self-Organisation into Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2013

Chemical-oriented simulation of computational systems with ALCHEMIST.

[BibT_eX]

[DOI]

J. Simulation, 2013

Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A Calculus of Computational Fields.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Engineering Pervasive Multiagent Systems in SAPERE.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012

Standard Type Soundness for Agents and Artifacts.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2012

Organizing the Aggregate: Languages for Spatial Computing

[BibT_eX]

[DOI]

CoRR, 2012

Towards a Comprehensive Approach to Spontaneous self-composition in Pervasive Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Objects and Agents, 2012

A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Objects and Agents, 2012

Self-Organising Semantic Resource Discovery for Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

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

[BibT_eX]

[DOI]

Graeme Stevenson

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Gradient-Based Self-Organisation Patterns of Anticipative Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Pervasive ecosystems: a coordination model based on semantic chemistry.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

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

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp.

[BibT_eX]

[DOI]

Ronaldo Menezes

Proceedings of the ACM Symposium on Applied Computing, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

A Computational Framework for Multilevel Morphologies.

[BibT_eX]

[DOI]

Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

2011

Middleware Infrastructures for Self-organising Pervasive Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2011

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

[BibT_eX]

[DOI]

Giulio Piancastelli

Sci. Comput. Program., 2011

Self-aware Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

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

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2011

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

[BibT_eX]

[DOI]

Peter McBurney

Simon Parsons

Knowl. Eng. Rev., 2011

A survey on nature-inspired metaphors for pervasive service ecosystems.

[BibT_eX]

[DOI]

Int. J. Pervasive Comput. Commun., 2011

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

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

Coordinating Spatially-Situated Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

A Simulation Framework for Pervasive Services Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

Self-organising Pervasive Ecosystems: A Crowd Evacuation Example.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems, 2011

A Coordination Approach to Adaptive Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Core operational semantics of Proto.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Programming coordination laws of artifacts in CArtAgO.

[BibT_eX]

[DOI]

Marco Sbaraglia

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Description spaces with fuzziness.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Description and composition of bio-inspired design patterns: the gradient case.

[BibT_eX]

[DOI]

Josep Lluís Arcos

Proceedings of the 3rd Workshop on Biologically Inspired Algorithms for Distributed Systems, 2011

A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

A biochemical approach to adaptive service ecosystems.

[BibT_eX]

[DOI]

Inf. Sci., 2010

A Framework for Modelling and Simulating Networks of Cells.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Self Organization in Coordination Systems Using a WordNet-Based Ontology.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Chemical-inspired self-composition of competing services.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Coordination in open and dynamic environments with TuCSoN semantic tuple centres.

[BibT_eX]

[DOI]

Emanuele Panzavolta

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Agents, Intelligence and Tools.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: An International Perspective, 2009

On the collective sort problem for distributed tuple spaces.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

Environment in agent-oriented software engineering methodologies.

[BibT_eX]

[DOI]

Ambra Molesini

Multiagent Grid Syst., 2009

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

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

A framework for modelling and implementing self-organising coordination.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A biochemical metaphor for developing eternally adaptive service ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

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

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

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

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Languages, 2009

A Calculus of Agents and Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - 4th International Conference, 2009

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.

[BibT_eX]

Proceedings of the ICSOFT 2009, 2009

General-Purpose Coordination Abstractions for Managing Interaction in MAS.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Biochemical Tuple Spaces for Self-organising Coordination.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

A computational framework for modelling multicellular biochemistry.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Combining Simulation and Formal Tools for Developing Self-Organizing MAS.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - Simulation and Applications., 2009

Environment Programming in CArtAgO.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008

On the reification of Java wildcards.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2008

An Adaptation Logic Framework for Java-based Component Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

Lightweight family polymorphism.

[BibT_eX]

[DOI]

Chieri Saito

J. Funct. Program., 2008

Designing self-organising environments with agents and artefacts: a simulation-driven approach.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2008

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

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2008

Arguments and Artifacts for Dispute Resolution.

[BibT_eX]

Enrico Oliva

Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

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

[BibT_eX]

[DOI]

Marco Santarelli

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

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

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Integrating Java and Prolog through generic methods and type inference.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Architecture and Metaphors for Eternally Adaptive Service Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

Argumentation and Artifact for Dialogue Support.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

Timed environment for web agents.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2007

Engineering a BPEL orchestration engine as a multi-agent system.

[BibT_eX]

[DOI]

Enrico Denti

Sci. Comput. Program., 2007

A core calculus for correlation in orchestration languages.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

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

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Prototyping A&A ReSpecT in Maude.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Preface.

[BibT_eX]

[DOI]

Carlos Canal

Pascal Poizat

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Infrastructures for the environment of multiagent systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2007

Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2007

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

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

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

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Reifying wildcards in Java using the EGO approach.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

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

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

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

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

Variant path types for scalable extensibility.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

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

[BibT_eX]

[DOI]

Giulio Piancastelli

Proceedings of the Languages, 2007

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

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Systems, Second International Workshop, 2007

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

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

Design Patterns for Self-organising Systems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications V, 2007

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Give agents their artifacts: the A&A approach for engineering working environments in MAS.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Variant parametric types: A flexible subtyping scheme for generics.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Operating instructions for intelligent agent coordination.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2006

Coordination as a Service.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

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

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Agent coordination contexts in a mas coordination infrastructure.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2006

simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Minority Game: A Logic-Based Approach in TuCSoN.

[BibT_eX]

[DOI]

Enrico Oliva

Proceedings of the 7th WOA 2006 Workshop, 2006

Simulation of Minority Game in TuCSoN.

[BibT_eX]

[DOI]

Enrico Oliva

Proceedings of the 7th WOA 2006 Workshop, 2006

Collective Sorting Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Editorial message: special track on object oriented programming languages and systems.

[BibT_eX]

[DOI]

Davide Ancona

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Case of Self-Organising Environment for MAS: the Collective Sort Problem.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Designing Self-organising MAS Environments: The Collective Sort Case.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

2005

Environments in multiagent systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2005

On Access Restriction with Java Wildcards.

[BibT_eX]

[DOI]

J. Object Technol., 2005

Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2005

Agens Faber: Toward a Theory of Artefacts for MAS.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Coordination and Organisation, 2005

A Framework for Engineering Interactions in Java-based Component Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Preface.

[BibT_eX]

[DOI]

Dina Q. Goldin

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Preface.

[BibT_eX]

[DOI]

Carlos Canal

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

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

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

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

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS.

[BibT_eX]

[DOI]

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Understanding access restriction of variant parametric types and Java wildcards.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A timed extension of ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial message: special track on object oriented programming languages and systems.

[BibT_eX]

[DOI]

Davide Ancona

Rajeev R. Raje

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Programming MAS with Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2005

Cognitive Stigmergy: A Framework Based on Agents and Artifacts.

[BibT_eX]

Proceedings of the EUMAS 2005, 2005

Time-Aware Coordination in ReSpecT.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

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

[BibT_eX]

[DOI]

Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005

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

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Effective and Efficient Compilation of Run-Time Generics in Java.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Towards a Formal Foundation to Orchestration Languages.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

RBAC for Organisation and Security in an Agent Coordination Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Multi-Agent Infrastructures For Objective And Subjective Coordination.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2004

Timed Coordination Artifacts with ReSpecT.

[BibT_eX]

Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

A Conceptual Framework for Self-Organising MAS.

[BibT_eX]

Cristiano Castelfranchi

Luca Tummolini

Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

Integrating objective & subjective coordination in multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Editorial message: special track on object oriented programming language and systems.

[BibT_eX]

[DOI]

Davide Ancona

Rajeev R. Raje

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

"Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages.

[BibT_eX]

[DOI]

Luca Tummolini

Cristiano Castelfranchi

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Environment-Based Coordination Through Coordination Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Instructions-Based Semantics of Agent Mediated Interaction.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Coordination Artifacts: Environment-Based Coordination for Intelligent Agents.

[BibT_eX]

[DOI]

Cristiano Castelfranchi

Luca Tummolini

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Agent Interaction Semantics by Timed Operating Instructions.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

Full-fledged generics for object-oriented programming languages.

[BibT_eX]

[DOI]

PhD thesis, 2003

Verifying Properties of Coordination by Well-Structured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of FOCLASA 2003, 2003

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

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

[BibT_eX]

[DOI]

Ronaldo Menezes

Proceedings of FOCLASA 2003, 2003

A Type-Passing Approach for the Implementation of Parametric Methods in Java.

[BibT_eX]

[DOI]

Comput. J., 2003

Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN.

[BibT_eX]

Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Operational Semantics for Agents by Iterated Refinement.

[BibT_eX]

[DOI]

Federico Bergenti

Proceedings of the Declarative Agent Languages and Technologies, 2003

Operational semantics for agents: the grey-box modeling approach.

[BibT_eX]

[DOI]

Federico Bergenti

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Modelling Agents as Observable Sources.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2002

Coordination as a Service: Ontological and Formal Foundation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

An Observation Approach to the Semantics of Agent Communication Languages.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2002

Have ReSpecT for LogOp.

[BibT_eX]

Ronaldo Menezes

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

On the Expressiveness of Event-based Coordination Media.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Extending ReSpecT for Multiple Coordination Flows.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Tuple-Based Coordination Models in Event-Based Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

A Specification Language for Agents Observable Behavior.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

An Operational Framework for the Semantics of Agent Communication Languages.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World III, 2002

On Variance-Based Subtyping for Parametric Types.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2002, 2002

Tuple-Based Models in the Observation Framework.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Specifying agent observable behaviour.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Multi-Agent Systems as Composition of Observable Systems.

[BibT_eX]

Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

On observation as a coordination paradigm: an ontology and a formal framework.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Parametric polymorphism in Java: an efficient implementation for parametric methods.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

On the Consistent Observation of Active Systems.

[BibT_eX]

Antonio Natali

Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

Parametric polymorphism in Java: an approach to translation based on reflective features.

[BibT_eX]

[DOI]

Antonio Natali

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

On Observing and Constraining Active Systems.

[BibT_eX]

[DOI]