Modelling and analysis of social contagion in dynamic networks

A hybrid language for formal modeling and analysis of multiagent systems

A formal approach to building compositional agent-based simulations

Modelling and analysis of social contagion processes with dynamic networks

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

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

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

Agent-based analysis and support for incident management

Representation for reciprocal agent-environment interaction

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

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

Automated formal analysis of human multi-issue negotiation processes

BDI-modelling of complex intracellular dynamics

Simulation and analysis of adaptive agents: an integrative modeling approach

A formal empirical analysis method for human reasoning and interpretation

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