Modelling and analysis of social contagion in dynamic networks

A hybrid language for formal modeling and analysis of multiagent systems

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

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

A formal approach to building compositional agent-based simulations

Modelling of human performance-related hazards in ATM

An adaptive agent model for affective social decision making

Agent-based modelling of hazards in air traffic management

Modelling of human performance-related hazards in ATM

Agent-based analysis and support for incident management

Specification and verification of dynamics in agent models

Representation for reciprocal agent-environment interaction

BDI-modelling of complex intracellular dynamics

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

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

Automated formal analysis of human multi-issue negotiation processes

A language and environment for analysis of dynamics by simulation.

Simulation and analysis of adaptive agents: an integrative modeling approach

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