Mirko Viroli

According to our database1, Mirko Viroli authored at least 235 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Higher-Order Calculus of Computational Fields.
ACM Trans. Comput. Log., 2019

Modelling and simulation of Opportunistic IoT Services with Aggregate Computing.
Future Generation Comp. Syst., 2019

2018
Programming Actor-Based Collective Adaptive Systems.
Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.
ACM Trans. Model. Comput. Simul., 2018

Towards attack-resistant Aggregate Computing using trust mechanisms.
Sci. Comput. Program., 2018

Optimal single-path information propagation in gradient-based algorithms.
Sci. Comput. Program., 2018

Spatial Tuples: Augmenting reality with tuples.
Expert Systems, 2018

Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things.
Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT.
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.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.
Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

From Field-Based Coordination to Aggregate Computing.
Proceedings of the Coordination Models and Languages, 2018

Space-Time Universality of Field Calculus.
Proceedings of the Coordination Models and Languages, 2018

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

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

Aggregate plans for multiagent systems.
IJAOSE, 2017

Aggregate Graph Statistics.
Proceedings of the Proceedings First Workshop on Architectures, 2017

Modeling Opportunistic IoT Services in Open IoT Ecosystems.
Proceedings of the 18th Workshop "From Objects to Agents", 2017

Combining Trust and Aggregate Computing.
Proceedings of the Software Engineering and Formal Methods, 2017

Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration.
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Practical Aggregate Programming with Protelis.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Towards a Foundational API for Resilient Distributed Systems Design.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

Compositional Blocks for Optimal Self-Healing Gradients.
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.
Proceedings of the Coordination Models and Languages, 2017

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

A type-sound calculus of computational fields.
Sci. Comput. Program., 2016

Spatial computing: introduction to the special issue.
Knowledge Eng. Review, 2016

Spatial awareness in pervasive ecosystems.
Knowledge Eng. Review, 2016

Resiliency with Aggregate Computing: State of the Art and Roadmap.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Aggregate Programming: From Foundations to Applications.
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.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Self-Adaptation to Device Distribution Changes.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Run-Time Management of Computation Domains in Field Calculus.
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.
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.
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016

Simulating Large-scale Aggregate MASs with Alchemist and Scala.
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Towards Aggregate Programming in Scala.
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

Improving Gossip Dynamics Through Overlapping Replicates.
Proceedings of the Coordination Models and Languages, 2016

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

Formal foundations of sensor network applications.
SIGSPATIAL Special, 2015

A coordination model of pervasive service ecosystems.
Sci. Comput. Program., 2015

Developing pervasive multi-agent systems with nature-inspired coordination.
Pervasive and Mobile Computing, 2015

Type-based Self-stabilisation for Computational Fields.
Logical Methods in Computer Science, 2015

Aggregate Programming for the Internet of Things.
IEEE Computer, 2015

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Computational Fields Meet Augmented Reality: Perspectives and Challenges.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Protelis: practical aggregate programming.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Programming very-large scale systems of wearables.
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.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Smart Augmented Fields for Emergency Operations.
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.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Programming Mirror Worlds: An Agent-Oriented Programming Perspective.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

2014
Best ACM SAC Articles on Coordination and Self-Adaptation.
TAAS, 2014

Building Blocks for Aggregate Programming of Self-Organising Applications.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Predictable Self-Organization with Computational Fields.
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.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014

A Calculus of Self-stabilising Computational Fields.
Proceedings of the Coordination Models and Languages, 2014

2013
Operational semantics of proto.
Sci. Comput. Program., 2013

On competitive self-composition in pervasive services.
Sci. Comput. Program., 2013

Semantic tuple centres.
Sci. Comput. Program., 2013

Simulation in Agent-Oriented Software Engineering: The SODA case study.
Sci. Comput. Program., 2013

Description and composition of bio-inspired design patterns: a complete overview.
Natural Computing, 2013

Injecting Self-Organisation into Pervasive Service Ecosystems.
MONET, 2013

Chemical-oriented simulation of computational systems with ALCHEMIST.
J. Simulation, 2013

Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A Calculus of Computational Fields.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

Engineering Pervasive Multiagent Systems in SAPERE.
Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012
Standard Type Soundness for Agents and Artifacts.
Sci. Ann. Comp. Sci., 2012

Towards a Comprehensive Approach to Spontaneous self-composition in Pervasive Ecosystems.
Proceedings of the 13th Workshop on Objects and Agents, 2012

A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems.
Proceedings of the 13th Workshop on Objects and Agents, 2012

Self-Organising Semantic Resource Discovery for Pervasive Systems.
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.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Gradient-Based Self-Organisation Patterns of Anticipative Adaptation.
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.
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.
Proceedings of the ACM Symposium on Applied Computing, 2012

A model for drosophila melanogaster development from a single cell to stripe pattern formation.
Proceedings of the ACM Symposium on Applied Computing, 2012

Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp.
Proceedings of the ACM Symposium on Applied Computing, 2012

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

A Computational Framework for Multilevel Morphologies.
Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012

2011
Middleware Infrastructures for Self-organising Pervasive Computing Systems.
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011

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

simpA: An agent-oriented approach for programming concurrent applications on top of Java.
Sci. Comput. Program., 2011

Preface.
Sci. Comput. Program., 2011


Coordination models and languages: from parallel computing to self-organisation.
Knowledge Eng. Review, 2011

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

A survey on nature-inspired metaphors for pervasive service ecosystems.
Int. J. Pervasive Computing and Communications, 2011

Environment programming in multi-agent systems: an artifact-based perspective.
Autonomous Agents and Multi-Agent Systems, 2011

Coordinating Spatially-Situated Pervasive Service Ecosystems.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

A Simulation Framework for Pervasive Services Ecosystems.
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.
Proceedings of the Software Engineering for Resilient Systems, 2011

A Coordination Approach to Adaptive Pervasive Service Ecosystems.
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

Core operational semantics of Proto.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Programming coordination laws of artifacts in CArtAgO.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Description spaces with fuzziness.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010
A biochemical approach to adaptive service ecosystems.
Inf. Sci., 2010

A Framework for Modelling and Simulating Networks of Cells.
Electr. Notes Theor. Comput. Sci., 2010

From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems.
Proceedings of the 11th WOA 2010 Workshop, 2010

A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN.
Proceedings of the 11th WOA 2010 Workshop, 2010

Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces.
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.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Chemical-inspired self-composition of competing services.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Coordination in open and dynamic environments with TuCSoN semantic tuple centres.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009
Agents, Intelligence and Tools.
Proceedings of the Artificial Intelligence: An International Perspective, 2009

On the collective sort problem for distributed tuple spaces.
Sci. Comput. Program., 2009

Environment in agent-oriented software engineering methodologies.
Multiagent and Grid Systems, 2009

Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services.
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

A framework for modelling and implementing self-organising coordination.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A biochemical metaphor for developing eternally adaptive service ecosystems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Using probabilistic model checking and simulation for designing self-organizing systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments.
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.
Proceedings of the Second Multi-Agent Logics, 2009

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming.
Proceedings of the Languages, 2009

A Calculus of Agents and Artifacts.
Proceedings of the Software and Data Technologies - 4th International Conference, 2009

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
Proceedings of the ICSOFT 2009, 2009

General-Purpose Coordination Abstractions for Managing Interaction in MAS.
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.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

A computational framework for modelling multicellular biochemistry.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

An experience on probabilistic model checking and stochastic simulation to design self-organizing systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

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

2008
On the reification of Java wildcards.
Sci. Comput. Program., 2008

An Adaptation Logic Framework for Java-based Component Systems.
J. UCS, 2008

Lightweight family polymorphism.
J. Funct. Program., 2008

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

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus.
Electr. Notes Theor. Comput. Sci., 2008

Prototyping A&A ReSpecT in Maude.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Artifacts in the A&A meta-model for multi-agent systems.
Autonomous Agents and Multi-Agent Systems, 2008

Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems.
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.
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.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Architecture and Metaphors for Eternally Adaptive Service Ecosystems.
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.
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007
Timed environment for web agents.
Web Intelligence and Agent Systems, 2007

Engineering a BPEL orchestration engine as a multi-agent system.
Sci. Comput. Program., 2007

Preface.
Sci. Comput. Program., 2007

A core calculus for correlation in orchestration languages.
J. Log. Algebr. Program., 2007

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications.
Electr. Notes Theor. Comput. Sci., 2007

Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Infrastructures for the environment of multiagent systems.
Autonomous Agents and Multi-Agent Systems, 2007

Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts.
Applied Artificial Intelligence, 2007

On the Problem of Over-clustering in Tuple-based Coordination Systems.
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.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Reifying wildcards in Java using the EGO approach.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

The A&AProgramming Model and Technology for Developing Agent Environments in MAS.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.
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.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

Variant path types for scalable extensibility.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications.
Proceedings of the Languages, 2007

A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems.
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.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

Design Patterns for Self-organising Systems.
Proceedings of the Multi-Agent Systems and Applications V, 2007

Self-organized over-clustering avoidance in tuple-space systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Give agents their artifacts: the A&A approach for engineering working environments in MAS.
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.
ACM Trans. Program. Lang. Syst., 2006

Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.
Sci. Comput. Program., 2006

Operating instructions for intelligent agent coordination.
Knowledge Eng. Review, 2006

Coordination as a Service.
Fundam. Inform., 2006

Agens Faber: Toward a Theory of Artefacts for MAS.
Electr. Notes Theor. Comput. Sci., 2006

A Framework for Engineering Interactions in Java-based Component Systems.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres.
Electr. Notes Theor. Comput. Sci., 2006

Agent coordination contexts in a mas coordination infrastructure.
Applied Artificial Intelligence, 2006

simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications.
Proceedings of the 7th WOA 2006 Workshop, 2006

Minority Game: A Logic-Based Approach in TuCSoN.
Proceedings of the 7th WOA 2006 Workshop, 2006

Simulation of Minority Game in TuCSoN.
Proceedings of the 7th WOA 2006 Workshop, 2006

Collective Sorting Tuple Spaces.
Proceedings of the 7th WOA 2006 Workshop, 2006

Editorial message: special track on object oriented programming languages and systems.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Case of Self-Organising Environment for MAS: the Collective Sort Problem.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS.
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts.
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

Designing Self-organising MAS Environments: The Collective Sort Case.
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006

2005
Environments in multiagent systems.
Knowledge Eng. Review, 2005

On Access Restriction with Java Wildcards.
Journal of Object Technology, 2005

Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS.
Informatica (Slovenia), 2005

Effective and Efficient Compilation of Run-Time Generics in Java.
Electr. Notes Theor. Comput. Sci., 2005

RBAC for Organisation and Security in an Agent Coordination Infrastructure.
Electr. Notes Theor. Comput. Sci., 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Process-algebraic approaches for multi-agent systems: an overview.
Appl. Algebra Eng. Commun. Comput., 2005

An algebraic approach for modelling organisation, roles and contexts in MAS.
Appl. Algebra Eng. Commun. Comput., 2005

On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS.
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.
Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005

Understanding access restriction of variant parametric types and Java wildcards.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A timed extension of ReSpecT.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Editorial message: special track on object oriented programming languages and systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Programming MAS with Artifacts.
Proceedings of the Programming Multi-Agent Systems, 2005

Cognitive Stigmergy: A Framework Based on Agents and Artifacts.
Proceedings of the EUMAS 2005, 2005

Time-Aware Coordination in ReSpecT.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in .
Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005

Lightweight Family Polymorphism.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
Towards a Formal Foundation to Orchestration Languages.
Electr. Notes Theor. Comput. Sci., 2004

Verifying Properties of Coordination by Well-Structured Transition Systems.
Electr. Notes Theor. Comput. Sci., 2004

On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study.
Electr. Notes Theor. Comput. Sci., 2004

Multi-Agent Infrastructures For Objective And Subjective Coordination.
Applied Artificial Intelligence, 2004

Timed Coordination Artifacts with ReSpecT.
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.
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.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Editorial message: special track on object oriented programming language and systems.
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.
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Environment-Based Coordination Through Coordination Artifacts.
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

Instructions-Based Semantics of Agent Mediated Interaction.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Coordination Artifacts: Environment-Based Coordination for Intelligent Agents.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Agent Interaction Semantics by Timed Operating Instructions.
Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003
Coordination as a Service: Ontological and Formal Foundation.
Electr. Notes Theor. Comput. Sci., 2003

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.
Electr. Notes Theor. Comput. Sci., 2003

A Type-Passing Approach for the Implementation of Parametric Methods in Java.
Comput. J., 2003

Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN.
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.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Operational Semantics for Agents by Iterated Refinement.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Operational semantics for agents: the grey-box modeling approach.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Modelling Agents as Observable Sources.
J. UCS, 2002

An Observation Approach to the Semantics of Agent Communication Languages.
Applied Artificial Intelligence, 2002

Have ReSpecT for LogOp.
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.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Extending ReSpecT for Multiple Coordination Flows.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Tuple-Based Coordination Models in Event-Based Scenarios.
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

A Specification Language for Agents Observable Behavior.
Proceedings of the International Conference on Artificial Intelligence, 2002

An Operational Framework for the Semantics of Agent Communication Languages.
Proceedings of the Engineering Societies in the Agents World III, 2002

On Variance-Based Subtyping for Parametric Types.
Proceedings of the ECOOP 2002, 2002

Tuple-Based Models in the Observation Framework.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Specifying agent observable behaviour.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Multi-Agent Systems as Composition of Observable Systems.
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.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Parametric polymorphism in Java: an efficient implementation for parametric methods.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000
On the Consistent Observation of Active Systems.
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.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

On Observing and Constraining Active Systems.
Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000


  Loading...