All publications without IRIS ID in the APICe Space (1990—2021)

2020 (8)

• Burden of Persuasion in Argumentation

• The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling

• Arg-tuProlog: a modular logic argumentation tool for PIL

• Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time

• Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles

• Special Issue “Multi-Agent Systems” 2019

• Time-Fluid Field-Based Coordination

• A Model for the Burden of Persuasion in Argumentation

  [top]

2019 (24)

• Towards Adaptive Flow Programming for the IoT: The Fluidware Approach

• On Context-Orientation in Aggregate Programming

• Coordination in Socio-technical Systems: Where are we now? Where do we go next?

• Case studies for a new IoT programming paradigm: Fluidware

• A Higher-Order Calculus of Computational Fields

• Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach

• Self-organising Coordination Regions: a Pattern for Edge Computing

• Engineering Resilient Collaborative Edge-Enabled IoT

• Security in Collective Adaptive Systems: A Roadmap

• Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration

• Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems

• Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT

• Special Issue "Multi-Agent Systems"

• Evaluating Origin–Destination Matrices Obtained from CDR Data

• From distributed coordination to field calculus and aggregate computing

• On a Higher-Order Calculus of Computational Fields

• Aggregate Processes in Field Calculus

• The share Operator for Field-Based Coordination

• Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept

• A development approach for collective opportunistic Edge-of-Things services

• Deliver intelligence to integrate care: the Connecare way

• Client-side Computational Optimization

• Big Data from the Cloud to the Edge: The Aggregate Computing Solution

• Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing

  [top]

2018 (14)

• Aggregate Graph Statistics

• Space-Time Universality of Field Calculus

• Engineering Resilient Collective Adaptive Systems by Self-Stabilisation

• From Field-Based Coordination to Aggregate Computing

• Coordination of Complex Socio-technical Systems: Challenges and Opportunities

• Programming Actor-Based Collective Adaptive Systems

• Opportunistic cyberphysical services: {A} novel paradigm for the future Internet of Things

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

• The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis

• Towards attack-resistant Aggregate Computing using trust mechanisms

• Combining Trust and Aggregate Computing

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

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

• Distributed Speaking Objects: a Case for Massive Multiagent Systems

  [top]

2017 (18)

• Spiking Neural Networks as Timed Automata

• Compositional Blocks for Optimal Self-Healing Gradients

• Preface

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

• Modeling Opportunistic IoT Services in Open IoT Ecosystems

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

• Coordinating Distributed Speaking Objects

• Agents and Multi-Agent Systems for Health Care. 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers

• Formal Validation of Neural Networks as Timed Automata

• Practical Aggregate Programming with Protelis

• Towards Argumentation-based Recommendations for Personalised Patient Empowerment

• Context Reasoning and Prediction in Smart Environments: the Home Manager case

• Towards a Foundational API for Resilient Distributed Systems Design

• Augmented societies with mirror worlds

• The impact of self-loops in random boolean network dynamics

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

• An Argumentation-based Perspective over the Social IoT

• Modeling Opportunistic IoT Services in Open IoT Ecosystems

  [top]

2016 (18)

• A type-sound calculus of computational fields

• Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces

• Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK

• A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf

• Run-Time Management of Computation Domains in Field Calculus

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

• Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems

• Aggregate Programming: From Foundations to Applications

• Special Section on Coordination in Large-Scale Socio-Technical Systems

• Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework

• Improving Gossip Dynamics Through Overlapping Replicates

• Cross-organism learning method to discover new gene functionalities

• Building Smart Spaces on the Home Manager platform

• On Execution Platforms for Large-scale Aggregate Computing

• Self-adaptation to Device Distribution Changes in Situated Computing Systems

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

• Simulating Large-scale Aggregate MASs with Alchemist and Scala

• Towards Aggregate Programming in Scala

  [top]

2015 (14)

• Protelis: Practical Aggregate Programming

• Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification

• GOTA: GO term annotation of biomedical literature

• Aggregate Programming for the Internet of Things

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

• Towards agent aggregates: perspectives and challenges

• Programming Multi-agent Systems

• A coordination model of pervasive service ecosystems

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

• Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities

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

• Formal Foundations of Sensor Network Applications

• Type-based Self-stabilisation for Computational Fields

• Space-Time Programming

  [top]

2014 (14)

• Distributed statistical analysis of complex systems modeled through a chemical metaphor

• A Calculus of Self-stabilising Computational Fields

• Best ACM SAC Articles on Coordination and Self-Adaptation

• Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications

• Building Blocks for Aggregate Programming of Self-Organising Applications

• Cross-domain Text Classification through Iterative Refining of Target Categories Representations

• Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification

• The Autonomy of Automated Systems

• Towards a Unified Model of Spatial Computing

• Extending a Smart Home Multi-Agent System with Role-Based Access Control

• On the Origin of Autonomy. A New Look at the Major Transitions in Evolution

• Handbook on Agent-Oriented Design Processes

• Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations

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

  [top]

2013 (28)

• Multi-agent Oriented Programming with JaCaMo

• Chemical-oriented Simulation of Computational Systems with ALCHEMIST

• Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion

• On competitive self-composition in pervasive services

• Injecting Self-organisation into Pervasive Service Ecosystems

• Software Agents: Twenty Years and Counting

• Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)

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

• 1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013)

• Special Issue on Software Agents

• Self-Organising Semantic Resource Discovery for Pervasive Systems

• Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK

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

• Composing Gradients for a Context-Aware Navigation of Users in a Smart-City

• 6th International Spatial Computing Workshop (SCW 2013)

• Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin

• Operational Semantics of Proto

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

• Self-Organising Semantic Resource Discovery for Pervasive Systems

• Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation

• Organizing the Aggregate: Languages for Spatial Computing

• From Actors and Concurrent Objects to Agent-Oriented Programming in {\simpal}

• Coupling software architecture and human architecture for collaboration-aware system adaptation

• From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus

• Engineering Confluent Computational Fields: from Functions to Rewrite Rules

• Predicting Social Density in Mass Events to Prevent Crowd Disasters.

• A calculus of computation fields

• Domain Independent Text Categorization

  [top]

2012 (36)

• A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation

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

• Programming Distributed Multi-Agent Systems in simpAL

• Linda in space-time: an adaptive coordination model for mobile ad-hoc environments

• Programming Directives for Elastic Computing

• Towards the Analysis & Prediction of Complex System Behaviour in SAPERE

• Bottom-Up Argumentation

• Situation Identification Techniques in Pervasive Computing: A Review

• Self-adaptive software needs quantitative verification at runtime

• Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks

• Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure

• Self-organising Semantic Resource Discovery for Pervasive Systems

• Typing Multi-Agent Programs in simpAL

• Gradient-based Self-organisation Patterns of Anticipative Adaptation

• Toward Sociotechnical Urban Superorganisms

• Standard Type Soundness for Agents and Artifacts

• Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach

• Distributed Systems. Concepts and Design

• Interdependent Artificial Institutions in Agent Environments

• Implicit: A Multi-agent Recommendation System for Web Search

• A Computational Framework for Multilevel Morphologies

• Architecture-driven modeling of adaptive collaboration structures in large-scale social web applications

• Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry

• Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective

• A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems

• Perspectives on Spin Glasses

• From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies

• BIO-CORE: Bio-inspired Self-organising Mechanisms Core

• On the Space-time Situation of Pervasive Service Ecosystems

• The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi

• Proceedings of the AI*IA 2012 Doctoral Consortium

• An Eclipse-based IDE for Agent-Oriented Programming in simpAL

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

• Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems

• A Programming Paradigm based on Agent-Oriented Abstractions

• Self-Organising News Management: The Molecules of Knowledge Approach

  [top]

2011 (65)

• An introduction to Bisimulation and Coinduction

• Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs

• Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks

• From Manifesta to Krypta: The Relevance of Categories for Trusting Others

• Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective

• Verifying the Evolution of Probability Distributions Governed by a DTMC

• Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda

• Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems

• Coordinating Spatially-Situated Pervasive Service Ecosystems

• Living in a digital world

• Unsupervised Learning of True Ranking Estimators using the Belief Function Framework

• One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches

• The Social Compute Unit

• Debt Deleveraging and Business Cycles. An Agent-Based Perspective

• Reasoning with Categories for Trusting Strangers: a Cognitive Architecture

• Anonymity is not privacy: technical perspective

• Global Democracy: Normative and Empirical Perspectives

• From Space to Stage: How Interactive Screens Will Change Urban Life

• Exploiting the Eclipse Ecosystem for Agent-Oriented Programming

• Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems

• Self-organising Pervasive Ecosystems: A Crowd Evacuation Example

• Abstraction in hardware system design

• Preface

• A Calculus of Agents and Artifacts

• Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project

• The software industry is the problem

• Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions

• Distributed Computing. Principles, Algorithms, and Systems

• Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents

• Multi-level models and infrastructures for simulating biological system development

• Improving brain-computer interfaces

• Sustainable biomass power plant location in the Italian Emilia-Romagna region

• Software Engineering for Self-Organizing Systems

• The most ancient marketing

• Middleware Infrastructures for Self-organising Pervasive Computing Systems

• Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces

• A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems

• BDI Agents with Objectives and Preferences

• Towards Social-ICT Organisms

• Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn

• Facing Openness with Socio Cognitive Trust and Categories

• Enhancing Privacy in Multi-Agent Systems

• Core Operational Semantics of Proto

• simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java

• Dennis Ritchie, 1941-2011

• An interaction-oriented agent framework for open environments

• Will software engineering ever be engineering?

• A Coordination Approach to Adaptive Pervasive Service Ecosystems

• Deep diving into BitTorrent locality

• The legacy of Steve Jobs

• Model-driven communications and collaborative software development

• Adaptive organizational changes in agent-oriented methodologies

• JaCa-Android: an agent-based platform for building smart mobile applications

• Principles of Elastic Processes

• The Rise of Molecular Machines

• Description and Composition of Bio-Inspired Design Patterns: the Gossip Case

• A Simulation Framework for Pervasive Services Ecosystems

• Seeing is not enough

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

• A Tour of reaction Systems.

• Exploiting the JaCaMo framework for realising an adaptive room governance application

• Description and Composition of Bio-Inspired Design Patterns: the Gradient Case

• A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems

• Computational journalism

• Java Security Architecture Revisited

  [top]

2010 (49)

• From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development

• Applying Process Document Standarization to INGENIAS

• A Glimpse of the ASPECS Process documented with the FIPA DPDF Template

• A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents

• A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems

• MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)

• Logic-based decision support for strategic environmental assessment

• MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)

• Tutorial on Agent-based Modelling and Simulation

• WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*

• The O-MaSE Process: a Standard View

• Formal Verification of Probabilistic Swarm Behaviours

• A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems

• JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications

• Simulation and Analysis of Distributed Systems in Klaim

• Artificial Life XII

• A Basis Set of Operators for Space-Time Computations

• Risk Analysis and Deployment Security Issues in a Multi-Agent System

• Chemical-Inspired Self-Composition of Competing Services

• Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments

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

• Exploiting Agent-Oriented Programming for Developing Android Applications

• Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications

• Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces

• Towards Model-driven Communications

• Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments

• Engineering Self-Coordinating Software Intensive Systems

• Interacting with Virtual Plants: a Client-Server Approach

• Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems

• Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy

• A Biochemical Approach to Adaptive Service Ecosystems

• Developing Web Client Applications with JaCa-Web

• MetaSelf: An Architecture and a Development Method for Dependable Self-* systems

• Transitivity in Trust. A Discussed Property

• A Framework for Modelling and Simulating Networks of Cells

• Using Domain Specific Languages for platform-based software development: The case of Android

• Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition

• Exploring the Boundaries: When Method Fragmentation is not Convenient

• Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments

• The Description Logic Handbook: Theory, Implementation, and Applications

• Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient

• Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace

• Programming Open Systems with Agents, Environments and Organizations

• Simulate plants: a client-server graphic approach

• Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template

• Artificial Intelligence: A Modern Approach

• Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres

• Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge

• Using Event-Driven Lightweight DSC-based Agents for MAS Modelling

  [top]

2009 (54)

• Implicit Culture Framework for behavior transfer. Definition, implementation and applications

• SOA/WS Applications using Cognitive Agents working in CArtAgO Environments

• Agent-based Modelling of Stem Cells

• A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems

• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

• Self-Organising Coordination Systems

• Modelling Periodic Data Dissemination in Wireless Sensor Networks

• Using Jason, MOISE, and CArtAgO to develop a team of cowboys

• Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies

• Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments

• A MAS Metamodel-Driven Approach to Process Fragments Selection

• The Craft of Prolog

• Embodied Organisations in MAS Environments

• An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications

• Biochemical Tuple Spaces for Self-Organising Coordination

• A SOA Based Software Engineering Design Approach in Service Engineering

• Gaia4E: A Tool Supporting the Design of MAS using Gaia

• Argumentation and Artifact for Dialog Support

• Introducing Relevance Awareness in BDI Agents

• Designing a Development Environment for Logic and Multi-Paradigm Programming

• Special Issue "Engineering Environments in Multi-Agent Systems"

• Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments

• An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems

• Mathematics for Economics: A Statistical Mechanics Perspective

• Information, Physics, and Computation

• Manipulation implicite d'une organisation multiagent via l'environnement

• RBAC-MAS & SODA: Experimenting RBAC in AOSE

• Formalising the Environment in MAS Programming: a Formal Model

• Towards a Logic Language and Framework for Web Programming

• Testing Techniques for Software Agents

• Interactive Graphical Maps for Infocenter via Model to Model Transformation

• Empirical comparison of methods for information systems development according to SOA

• Environment Programming in CArtAgO

• Declarative Specification and Verification of Service Choreographies

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

• Knowledge-based coordination with a reliable semantic subscription mechanism

• A Formal Definition of Colture

• Special Track on: Agent-Oriented Software Engineering Methodologies and Systems

• On the Collective Sort Problem for Distributed Tuple Spaces

• Costruire sistemi software: dai modelli al codice

• Programming Pervasive and Mobile Computing Applications: The TOTA Approach

• Making Sense of Revision-control Systems

• Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments

• Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia

• A Goal-Oriented Approach for Modelling Self-organising MAS

• Parameter tuning of a stochastic biological simulator by metaheuristics

• Introducing Relevance Awareness in BDI Agents

• Software Engineering: An Idea Whose Time Has Come and Gone?

• Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

• Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems

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

• A computational framework for modelling multicellular biochemistry

• A Process Model of Actin Polymerisation

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

  [top]

2008 (75)

• Il Milione. Viaggio nella logica computazionale in Italia

• Special Issue “Agents, Institutions and Legal Theory”

• A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

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

• Writing a thesis with LaTeX

• Smart Environments as Agent Workspaces

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

• From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS

• Hierarchical Modeling for Computational Biology

• Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking

• A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies

• Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems

• Agent-oriented AmI Engineering

• Simulation Methods in Systems Biology

• PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets

• Engineering Self-organising Systems with the Multiagent Paradigm

• Situating A&A ReSpecT for Pervasive Environment Applications

• From AO Methodologies to MAS Infrastructures: The SODA Case Study

• Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art

• Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments

• Automating Workflow using Dialectical Argumentation

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

• Econophysics and the Current Economic Turmoil

• Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT

• Lightweight Family Polymorphism

• From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS

• Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model

• An Adaptation Logic Framework for Java-based Component Systems

• An Agent Framework for Ubiquitous Services

• Towards a Logic Language and Framework for Web Programming

• Agent Oriented Software Engineering VIII

• Towards a Tuplespace-based Middleware for the Semantic Web

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

• Integrating Java and Prolog through Generic Methods and Type Inference

• A Multi-Theory Logic Programming Language for the World Wide Web

• Tool-Supported Development with Tropos: The Conference Management System Case Study

• Architecture and Metaphors for Eternally Adaptive Service Ecosystems

• PASSIM: a simulation-based process for the development of multi-agent systems

• Methodologies for Designing Agent Societies

• Agent Roles: from Methodologies to Infrastructures

• The BlenXLanguage: A Tutorial

• Increasing interactivity in Agent-based Advanced Pocket-Device Service Application

• Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach

• Argumentation and Artifact for Dialogue Support

• Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms

• Phase Transitions in Social Sciences: Two-populations Mean Field Theory

• Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments

• The Architecture and Design of a Malleable Object-Oriented Prolog Engine

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

• Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems

• Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation

• A Decentralized and Ontology-Based Approach to Infrastructure Monitoring

• Preface

• A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks

• Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study

• Experimenting with Stochastic Prolog as a Simulation Language

• Argumentation and Artifacts for Intelligent Multi-agent Systems

• Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

• An experimental environment for teaching Java Security

• Model-driven Generation of Graphical Maps for e-Contents

• La costruzione dei sistemi software: dai modelli al codice

• Toward a Framework for Collaborative Learning based on Agent-based Technologies

• RBAC-MAS & SODA: Experimenting RBAC in AOSE

• Mathematics and Social Science: A Statistical Mechanics Approach to Immigration

• On the reification of Java wildcards

• La cultura componibile. Dalla frammentazione alla disgregazione del sapere

• A Process Algebraic View of Shared Dataspace Coordination

• Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems

• Fast self-healing gradients.

• Introduction to AOSE Tools for the Conference Management System

• Designing a Development Environment for Logic and Multi-Paradigm Programming

• Introducing Join-Computing

• Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems

• Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX

• The Prometheus Design Tool ? A Conference Management System Case Study

  [top]

2007 (77)

• Supporting Requirements Analysis in Tropos: a Planning-Based Approach

• tuProlog 2.0: One Step Beyond

• Design Patterns for Self-Organising Systems

• Co-Argumentation Artifact for Agent Societies

• Governing Environments for Agent-Based Traffic Simulations

• Situated Cellular Agents Approach to Crowd Modeling and Simulation

• ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

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

• Executable cell biology

• From AOSE Methodologies to MAS Infrastructures: The SODA Case Study

• Service-Oriented Agent Methodologies

• What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software

• Evaluating Procedural Alternatives. A Case Study in E-Voting

• Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)

• Guest Editorial

• A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces

• Extrospection: Agents Reasoning About the Environment

• Engineering a BPEL Orchestration Engine as a Multi-agent System

• Distributed Systems. Principles and Paradigms

• Sistemi Distribuiti

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

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

• Infrastructures for the Environment of Multiagent Systems

• How to infer gene networks from expression profiles

• Geo-Linda: a Geometry Aware Distributed Tuple Space

• A Survey on Context-Aware Systems

• The LighTS Tuple Space Framework and its Customization for Context-aware Applications

• Method fragments for agent design methodologies: from standardisation to research

• Using Eclipse in Building Model-driven e-Learning Supports

• Intentional Systems Theory

• Measurement and Control of Self-organised Behaviour in Robot Swarms

• Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

• Discrete Event Modeling and Simulation in Systems Biology

• Decentralized Regulation of Distributed Systems: Beyond Access Control

• CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems

• Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities

• A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates

• Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design

• Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications

• Prototyping A&A ReSpecT in Maude

• Preface

• What is “paradigm”?

• Formal ReSpecT in the A&A Perspective

• B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification

• simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java

• Pervasive pheromone-based interaction with RFID tags

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

• Context-Dependent Evaluation Methodology for Open Source Software

• An Agent-Oriented Programming Model for SOA & Web Services

• Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae

• Auction Negotiation for Mobile Rideshare Service

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

• CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS

• A core calculus for correlation in orchestration languages

• vLab: an Eclipse-based Virtual Laboratory

• Special Issue on the AgentLink III Technical Forums

• Developing Multi-Agent Systems with JADE

• Agent-based modeling of multicell morphogenic processes during development

• Self-Organized Over-Clustering Avoidance in Tuple-Space Systems

• Programming Multi-Agent Systems in AgentSpeak using Jason

• RESTful Web Services

• simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services

• Invited Talk: A Process Algebra Master Equation

• Variant path types for scalable extensibility

• Design Patterns for Multiagent Systems to Elevate Pocket Device Applications

• Preface

• Model Checking Multi-agent systems with Logic Based Petri Nets

• A Survey of Service Oriented Development Methodologies

• A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods

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

• Practical Extensions in Agent Programming Languages

• Pellet: A practical OWL-DL reasoner

• Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration

• ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology

• Exploiting the Environment for Coordinating Agent Intentions

• Towards Integrating Agents with Objects Tracing Systems in AmI

• Experiences in Automated Workflows using Dialectical Argumentation

  [top]

2006 (64)

• A Survey of Environments and Mechanisms for Human-Human Stigmergy

• Service-Oriented Design and Development Methodology

• Formal ReSpecT in the A&A Perspective

• StoKlaim: A Stochastic Extension of Klaim

• Interactive Computation: The New Paradigm

• Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications

• Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology

• Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research

• Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications

• On Coordination and its Significance to Distributed and Multi-Agent Systems

• Verifying Multi-agent Programs by Model Checking

• Standardizing Agent Communication

• Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS

• L' Uso dei Web Service nella Catena del Valore della Logistica Integrata

• Verification of Multi-agent Systems Via Bounded Model Checking

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

• SODA: A Roadmap to Artefacts

• Variant Parametric Types: A Flexible Subtyping Scheme for Generics

• EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications

• Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation

• On the Expressive Power of KLAIM-based Calculi

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

• Preface

• SPI - A Role for Method Engineering

• Agens Faber: Toward a Theory of Artefacts for MAS

• Tools for kinetic modeling of biochemical networks.

• Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS

• The World According To Brahms: Modeling and Simulating Work Practice

• Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres

• A Design Theory for Pervasive Information Systems

• CArtAgO: An Infrastructure for Engineering Computational Environments in MAS

• Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems}

• On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation

• Fundamentals of natural computing: basic concepts, algorithms, and applications

• Modeling and Verification of Distributed Autonomous Agents Using Logic Programming

• OWL-S for Describing Artifacts

• WOA 2006 – Dagli Oggetti agli Agenti

• Cognitive Stigmergy: A Framework Based on Agents and Artifacts

• A Generic Large Scale Simulator for Ubiquitous Computing

• Toward Nature-Inspired Computing

• 3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006)

• Special Issue “Hot Topics in European Agent Research II”

• Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source

• Metodologie per l'ingegneria del software: approccio ad agenti

• Programming MAS with Artifacts

• On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation

• Cognitive Modeling of Social Behaviours

• An agent oriented tool for method engineering

• The MHS Methodology: Analysis and Design for Context-Aware Systems

• BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)

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

• Case Studies for Self-organization in Computer Science

• Linkable Coordination Artifacts for Inter-Organisational Workflow

• Process Calculi Abstractions for Biology

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

• Collective Sorting Tuple Spacess

• Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach

• Lime: A coordination model and middleware supporting mobility of hosts and agents

• The Plausibility of Life: Resolving Darwin's Dilemma

• Logics for Artificial Intelligence

• Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer

• Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents

• Web Services Implementation Methodology for SOA Application

• The Fading Concept in Tuple-Space Systems

  [top]

2005 (50)

• Distributed Instance Retrieval in Heterogeneous Ontologies

• Composition of a New Process to Meet Agile Needs Using Method Engineering

• Environment-Based Coordination Through Coordination Artifacts

• Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies

• The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal

• Crowd Modeling and Simulation: Towards 3D Visualization

• Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware

• Engineering MAS Environment with Artifacts

• RBAC for Organisation and Security in an Agent Coordination Infrastructure

• MAS Meta-models on Test: UML vs. OPM in the SODA Case Study

• Environments in Multiagent Systems

• Probabilistic Linda-based Coordination Languages

• Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts

• Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums”

• Process Models for Agent-based Development

• Self-Organization in Multi-Agent Systems

• Time-Aware Coordination in ReSpecT

• Programming Stigmergic Coordination with the TOTA Middleware

• Special Issue “Hot Topics in European Agent Research I”

• Transactions on Computational Systems Biology III

• SODA: A Roadmap to Artefacts

• Effective Tool Use in a Habile Agent

• WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi

• Drago: Distributed reasoning architecture for the semantic web

• Programming Multi-Agent Systems in 3APL

• Towards CSpaces: A New Perspective for the Semantic Web

• Verifying Multi-agent Systems via Unbounded Model Checking

• Special Issue "Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità"

• On Access Restriction with Java Wildcards

• A Trust Analysis Methodology for Pervasive Computing Systems

• Developing MAS Solutions with Gaia and AUML

• “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages

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

• More Principled Design of Pervasive Computing Systems

• An Agent-Oriented Conceptual Framework for Systems Biology

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

• Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts

• Message from the Program Chairs

• On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

• Coordination and Composition in Multi-agent Systems

• Quantitative Information in the Tuple Space Coordination Model

• Cognitive Stigmergy: A Framework Based on Agents and Artifacts

• Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations

• Reliable Distributed Systems. Technologies, Web Services, and Applications

• Special Issue "Process Algebras and Multi-Agent Systems"

• Programming MAS with Artifacts

• Preface

• $-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems

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

• Agent Interaction Semantics by Timed Operating Instructions

  [top]

2004 (44)

• Relevance of Winning Coalitions in Indirect Control of Corporations

• Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information

• Engineering Trust in Complex System through Mediating Infrastructures

• System Support for Pervasive Applications

• Ant Colony Optimization

• From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs

• A Programming Language for Cognitive Agents: Goal Directed 3APL

• Model Checking for ACL Compliance Verification

• sTuples: Semantic Tuple Spaces

• Online Engineering and Open Computational Systems

• Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems

• Verifying Communicating Agents by Model Checking in a Temporal Action Logic

• Guest Editorial

• sTuples: Semantic Tuple Spaces

• From the Editor in Chief: Nature-Inspired Computing

• Models and Metaphors from Biology to Bioinformatics Tools

• Agent Coordination Context: From Theory to Practice

• C@sa: Intelligent Home Control and Simulation

• An Agent-oriented Conceptual Framework for Biological Systems Simulation

• What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication

• Coordination Infrastructures in the Engineering of Multiagent Systems

• The Gaia Methodology

• Programming Pervasive and Mobile Computing Applications with the TOTA Middleware

• MAS as Complex Systems: A View on the Role of Declarative Approaches

• WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali

• Engineering Societies in the Agents World IV

• Integrating and Orchestrating Services upon an Agent Coordination Infrastructure

• A Semantics for the Interaction of Agents with Coordination Artifacts

• Reo: A Channel-based Coordination Model for Component Composition

• An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure

• Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems

• Special Issue “Coordination and Collaboration Technologies”

• Experiencing AUML in the GAIA Methodology

• Adaptive Agents and Multiagent Systems

• Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model

• Probabilistic KLAIM

• ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications

• A Conceptual Framework for Self-Organising MAS

• Verifiable Multi-agent Programs

• Using Swarm Intelligence in Linda Systems

• Composing Adaptive Software

• Preface

• Paradigm and Software Engineering

• From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools

  [top]

2003 (41)

• WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva

• First International Workshop on Theory and Practice of Open Computational Systems

• Modeling Agents and their Environment

• Introduzione alla Programmazione a oggetti in Java

• Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management

• Adaptiveness in Linda-Based Coordination Models

• Developing multiagent systems: The Gaia methodology

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

• From SHIQ and RDF to OWL: The Making of a Web Ontology Language

• Learning the Sequential Coordinated Behavior of Teams from Observations

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

• Preface

• Editorial Message: Special Track on Coordination models, Languages and Applications

• MavHome: An Agent-based Smart Home

• Towards a Methodology for Coordination Mechanism Selection in Open Systems

• Method engineering for OO systems development

• Activity Theory as a Framework for MAS Coordination

• Signs of a Revolution in Computer Science and Software Engineering

• Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis

• How has the 9/11 terrorist attack influenced decision making?

• Model Checking AgentSpeak

• Lean Software Development: An Agile Toolkit

• Quantitative Relations and Approximate Process Equivalences

• Investigations

• A Type-Passing Approach for the Implementation of Parametric Methods in {Java}

• Coordination as a Service: Ontological and Formal Foundation

• Engineering Societies in the Agents World III

• Reasoning about Organisation: Shaping the Infrastructure

• Task-Oriented Engineering of Coordinated Software Systems

• The Vision of Autonomic Computing

• Objective versus Subjective Coordination in the Engineering of Agent Systems

• Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems

• Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications

• Rethinking MAS Infrastructure based on Activity Theory

• Cooperative Information Agents VII

• Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures

• Supporting Coordination in Open Computational Systems with TuCSoN

• Architecture as a Coordination Tool in Multi-site Software Development

• A software framework for matchmaking based on semantic web technology

• Preface

• Computation Beyond Turing Machines

  [top]

2002 (45)

• The TROPOS Analysis Process as Graph Transformation System

• Linear Embedding for a Quantitative Comparison of Language Expressiveness

• Tuple-based Coordination Models in Event-based Scenarios

• Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources

• On the Grey-Box Modelling Approach for Autonomous Agents

• Editorial Message: Special Track on Coordination Models, Languages and Applications

• Have ReSpecT for LogOp

• Modeling and Simulation of Genetic Regulatory Systems: A Literature Review

• Special Issue "Coordination and Knowledge Engineering"

• Agent-Based Modeling: Methods and Techniques for Simulating Human Systems

• Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology

• Design Principles of a Reactive Behavioral System for the Intelligent Room

• An Observation Approach to Semantics of Agents Communication Languages

• Extending ReSpecT for Multiple Coordination Flows

• An Introduction to MultiAgent Systems

• The Complementary Nature of Coordination Dynamics: Self-organization and Agency

• Objects and Agents Compared

• Coordination Knowledge Engineering

• Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project

• Engineering Agent Societies: A Case Study in Smart Environments

• Principled Design of the Modern Web Architecture

• Towards an Alternative Semantics for FIPA ACL

• Specifying Agent Observable Behaviour

• Towards a Notion of Agent Coordination Context

• A Survey of Coordination Middleware for XML-centric Applications

• Virtual Enterprises and Workflow Management as Agent Coordination Issues

• Objective vs. Subjective Coordination in Agent-based Systems: A Case Study

• Tuple-based Models in the Observation Framework

• Modelling Agents as Observable Sources

• Co-operating Sequential Processes

• A Specification Language for Agents Observable Behaviour

• Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002

• On the Expressiveness of Event-Based Coordination Media

• Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles

• A Framework for Systemic Coordination in Open Computational Systems

• Coordination Tools for MAS Development and Deployment

• Bisimulation for Labelled Markov Processes

• Agent Coordination Contexts: Experiments in TuCSoN

• Extreme Programming of Multi-Agent Systems

• Computational challenges in cell simulation: a software engineering approach

• Agile development of a clinical multi-agent system: An Extreme Programming case study

• Model Checking Multi-Agent Systems with MABLE

• Coordination Tools for the Development of Agent-based Systems

• The Logic of Scientific Discovery

• Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)

  [top]

2001 (50)

• Introduzione alla Programmazione a oggetti in Java

• The TuCSoN Coordination Infrastructure for Virtual Enterprises

• Multi-Agent Systems as Composition of Observable Systems

• Control-driven Constraint Propagation

• Special Issue "Coordination as a Paradigm for Systems Integration"

• Probabilistic Extensions of Process Algebras

• Multi-Agent Systems as Composition of Observable Systems

• Safe Tuplespace-based Coordination in Multiagent Systems

• Objective Coordination in Multi-Agent System Engineering. Design and Implementation

• Enlightened Agents in TuCSoN

• Gamma and the Chemical Reaction Model: Fifteen Years After

• An Assembly Process Model for Method Engineering

• Designing Agent-Oriented Systems by Analysing Agent Interactions

• An Agent-based Approach for Building Complex Software Systems

• XML Dataspaces for the Coordination of Internet Agents

• An Approach for Method Reengineering

• Questions and Answers: Reasoning and Querying in Description Logic

• Self Organization and Coordination

• Formal ReSpecT

• Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems

• Engineering Societies in the Agents World II

• On Observation as a Coordination Pattern: An Ontology and a Formal Framework

• A Coordination Language for Collective Agent-based Systems: GroupLog

• Declarative Programming — Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000

• Statistical Physics of Spin Glasses and Information Processing: An Introduction

• Special Issue "Coordination Models and Languages in AI"

• The OPEN Process Framework: An Introduction

• Coordination as a Paradigm for Systems Integration

• The Anatomy of the Grid: Enabling Scalable Virtual Organizations

• Preface

• WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software

• Agent-Oriented Software Engineering for Internet Applications

• Multi-Agent Systems and Applications

• Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management

• On the Notion of Agent Coordination Context: Preliminary Notes

• Coordination Models, Languages and Applications. Track Chair Messages

• Coordination of Internet Agents. Models, Technologies, and Applications

• Simulation-verification: biting at the state explosion problem

• Enlightened Agents in TuCSoN

• LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents

• tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures

• Introduction to This Special Issue on Context-Aware Computing

• Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People

• Tuple-based Technologies for Coordination

• Preface

• An Algorithm for Winning Coalitions in Indirect Control of Corporations

• Editorial: Why Coordination Models and Languages in AI?

• The Anatomy of the Grid: Enabling Scalable Virtual Organizations

• From Tuple Spaces to Tuple Centres

• SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems

  [top]

2000 (31)

• Fondamenti di Informatica A (Parte II)

• EasyLiving: Technologies for Intelligent Environments

• Process Migration

• Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels

• Mind the Gap! Towards a unified view of CSCW

• Amorphous Computing

• Formal ReSpecT

• Hybrid Coordination Models for Handling Information Exchange among Internet Agents

• Amorphous Computing

• The LuCe Coordination Technology for MAS Design and Development on the Internet

• MARS: A Programmable Coordination Architecture for Mobile Agents

• Special Track on Coordination Models, Languages and Applications

• Ruling Agent Motion in Structured Environments

• Folk Physics for Apes: The Chimpanzee's Theory of How the World Works

• Selecting a Project's Methodology

• From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems

• On the Expressiveness of Linda Coordination Primitives

• SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems

• Architectural Styles and the Design of Network-based Software Architectures

• The Gaia Methodology for Agent-Oriented Analysis and Design

• Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature

• Context-Dependency in Internet-Agent Coordination

• Persistent Turing Machines as a Model of Interactive Computation

• WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software

• A Coordination Infrastructure for Agent-based Internet Applications

• Multiagent System Engineering: The Coordination Viewpoint

• Preface

• On Agent-Based Software Engineering

• Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach

• Introduzione alla Programmazione a oggetti in Java

• Engineering Societies in the Agents World

  [top]

1999 (34)

• Coordination Models for Multi-Agent Systems

• Coordination for Internet Application Development

• Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework

• Adopting an Object-Oriented Data Model in Inductive Logic Programming

• The UMASS Intelligent Home Project

• Extreme Programming Explained: Embrace Change

• Hierarchical simulation approach to accurate fault modeling for system dependability evaluation

• Tuple Centres for the Coordination of Internet Agents

• A Methodology for Agent-Oriented Analysis and Design

• Swarm Intelligence: From Natural to Artificial Systems

• Engineering Multi-Agent Systems in LuCe

• Mathematical Models of Interactive Computing

• Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications

• Comparing Coordination Models based on Shared Distributed Replicated Data

• On the Expressiveness of Coordination Models

• Coordination Technologies for Internet Agents

• Distributed Cognition, Coordination and Environment Design

• Fondamenti di Informatica A (Parte I)

• The Explorable Topology: Supporting Agent Autonomy on the Internet

• On the Semantics of Tuple-based Coordination Models

• Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology

• Designing Multi-Agent Systems around an Extensible Communication Abstraction

• Meta-Modelling Based Assembly Techniques for Situational Method Engineering

• A Brief History of Stigmergy

• Editor's Introduction: Stigmergy

• Introduction to Econophysics: Correlations and Complexity in Finance

• Coinductive Models of Finite Computing Agents

• Coordination Technology for the Development of Multi-Agent Systems on the Web

• An Architecture for Tuple-based Coordination of Multi-Agent Systems

• Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices

• Building Mobile Agent Applications in HiMAT

• Agents with Power

• The HiMAT Model for Mobile Agent Applications

• Implementing the ACLT Coordination Model

  [top]

1998 (26)

• On the Expressive Power of KLAIM-based Calculi

• A process algebraic view of Linda coordination primitives

• Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction

• Collective Dynamics of `Small-World' Networks

• Coordination Models and Languages

• Designing for the Dynamics of Cooperative Work Activities

• On the Incomparability of Gamma and Linda

• A Comprehensive View of Process Engineering

• Modelling Social Action for AI Agents

• KLAIM: A Kernel Language for Agent Interaction and Mobility

• Distributed Agents Supporting Event-Driven Design Processes

• A Formal Specification of dMARS

• On the Expressive Power of a Language for Programming Coordination Media

• Understanding Code Mobility

• Decision procedures for BDI logics

• TuCSoN: a Coordination model for Mobile Information Agents

• Towards Empirical Computer Science

• T Spaces

• Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature?

• Co-ordination of Mobile Information Agents in TuCSoN

• Planning and acting in partially observable stochastic domains

• Towards a Hierarchy of Negative Test Operators for Generative Communication

• Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction

• A Fuzzy Description Logic

• Coordination of Mobile Agents for Information Systems: the TuCSoN Model

• Modeling and evaluating design alternatives for an on-line instrumentation system: a case study

  [top]

1997 (13)

• Programmable Coordination Media

• Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9

• Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work

• Why Interaction Is More Powerful Than Algorithms

• Issues in Agent-Based Software Engineering

• Situational Method Engineering

• Semantics and Conversations for an Agent Communication Language

• Expressive Power of the ACLT Reaction Specification Language

• Merging Logic Programming into Web-based Technology: A Coordination-based Approach

• Designing Multi-Agent Systems around a Programmable Communication Abstraction

• “Go to the Ant”: Engineering Principles from Natural Agent Systems

• Learning with an Object-Oriented Data Model

• A Tutorial on (Co)Algebras and (Co)Induction

  [top]

1996 (13)

• Method engineering: engineering of information systems development methods and tools

• Coordination Models and Languages as Software Integrators

• Integrating Knowledge Acquisition in Plan Selection

• An Extensible Framework for the Development of Coordinated Applications

• Context and Consciousness: Activity Theory and Human-Computer Interaction

• Foundations of Distributed Artificial Intelligence

• Logic Tuple Spaces for the Coordination of Heterogeneous Agents

• Bulk Primitives in Linda Run-Time Systems

• An Object-Oriented Approach to Planning

• Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents

• A Software Environment for Concurrent Coordinated Programming

• AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language

• The Structure of Scientific Revolutions

  [top]

1995 (16)

• BDI Agents: From Theory to Practice

• Reactive, Generative, and Stratified Models of Probabilistic Processes

• A distributed semantics for EMPA based on stochastic contextual nets

• Computational Research on Interaction and Agency

• Agent Coordination and Control through Logic Theories

• Specification and Analysis of System Architecture Using Rapide

• Law-Governed Linda as a Coordination Model

• 1st International Conference on Multiagent Systems

• Intelligent Agents: Theory and Practice

• La programmazione logica nello sviluppo del software: dai modelli agli strumenti

• Integration of object-oriented analysis and performance simulation for engineering computer-based systems

• Programmazione Logica Orientata agli Oggetti

• A Petri Net Semantics for pi-Calculus

• Cognitive and Social Action

• Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti

• Robot Control Systems as Contextual Logic Programs

  [top]

1994 (10)

• Distributed Programming with Logic Tuple Spaces

• Scale in Distributed Systems

• Embedding as a Tool for Language Comparison

• A Structured Logic Programming Approach to Robot Programming

• Modularity in Logic Programming

• Open Logic Theory Composition in a Software Engineering Perspective

• The Interdisciplinary Study of Coordination

• A Multi-Agent Framework and Programming Environment for Autonomous Robotics

• Object-Oriented Computations in Logic Programming

• Moving Prolog Toward Objects

  [top]

1993 (13)

• Foundations for Interaction: The Dependence Theory

• Elements of Interaction: Turing Award Lecture

• Tools, Language and Cognition in Human Evolution

• Exploiting Logic Programming in Robot Applications

• An Overview of Manifold and its Implementation

• Agent-Oriented Programming

• Objects with State in CSM

• Objects with State in Contextual Logic Programming

• A History of Speculation on the Relation between Tools and Languages

• Techniques for Implementing Contexts in Logic Programming

• From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support

• Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale

• The Origins of Order: Self-organization and Selection in Evolution

  [top]

1992 (16)

• CSM User's Guide

• Methodology EngineeringR: a proposal for situation-specific methodology construction

• Design principles for cognitive artifacts

• The Chemical Abstract Machine

• A calculus of mobile processes, II

• Coordination Languages and Their Significance

• Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System

• A Calculus of Mobile Processes, II

• Implementing Contexts in Logic Programming

• A Calculus of Mobile Processes, I

• Objects as Evolving Contexts

• An Abstract Architecture for Rational Agents

• Barbed Bisimulation

• The Semantics of a Parallel Language based on a Shared Data Space

• Parallel Logic Programming using the Linda Model of Computation

• A calculus of mobile processes, I

  [top]

1991 (8)

• Intelligence Without Reason

• Separating Concurrent Languages with Categories of Language Embeddings

• Generalizing Term Subsumption Languages to Fuzzy Logic

• The Concurrent Language, Shared Prolog

• Cognitive Artifacts

• Modeling Rational Agents within a BDI Architecture

• Intelligence without Representation

• The Concept of Activity as a Basic Unit of Analysis for CSCW Research

  [top]

1990 (3)

• Concepts and Paradigms of Object-oriented Programming

• The GAMMA Model and its Discipline of Programming

• What is Intention?

  [top]

  [total: 971]