A hybrid language for formal modeling and analysis of multiagent systems

Modelling and analysis of social contagion in dynamic networks

A formal approach to building compositional agent-based simulations

Agent-based modelling of social emotional decision making in emergency situations

An ambient agent system assisting humans in complex tasks by analysis of a human's state and performance

Modelling and analysis of social contagion processes with dynamic networks

An adaptive agent model for affective social decision making

Modelling of human performance-related hazards in ATM

Agent-based modelling of hazards in air traffic management

Modelling of human performance-related hazards in ATM

Specification and verification of dynamics in agent models

Representation for reciprocal agent-environment interaction

Agent-based analysis and support for incident management

BDI-modelling of complex intracellular dynamics

A formal method to analyze human reasoning and interpretation in incident mangement.

Automated formal analysis of human multi-issue negotiation processes

Formalisation of Damasio's theory of emotion, feeling and core consciousness

On the use of organisation modelling techniques to address biologica organisation.

Formal analysis of trust dynamics in human and software agent experiments

Modeling centralized organization of organizational change