J Treur | TU Delft Repository

JT

J Treur

Book chapter (2)

Conference paper (7)

Journal article (17)

26 records found

1

Modelling and analysis of social contagion in dynamic networks

Journal article (2014) - Alexei Sharpanskykh (author), J Treur (author)

A hybrid language for formal modeling and analysis of multiagent systems

Conference paper (2014) - Alexei Sharpanskykh (author), J Treur (author)

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

Journal article (2013) - T Bosse (author), F Both (author), M de Vos (author), R Duell (author), M Hoogendoorn (author), R Lambalgen (author), MCA Klein (author), A van der Mee (author), R Oorburg (author), Alexei Sharpanskykh (author), J Treur (author)

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

Book chapter (2013) - T Bosse (author), M Hoogendoorn (author), M Klein (author), Alexei Sharpanskykh (author), J Treur (author), J van der Wal (author), N van Wissen (author)

A formal approach to building compositional agent-based simulations

Book chapter (2013) - C.M. Jonker (author), J Treur (author)

Modelling and analysis of social contagion processes with dynamic networks

Journal article (2013) - Alexei Sharpanskykh (author), J Treur (author)

Agent-based modelling of hazards in air traffic management

Conference paper (2012) - T Bosse (author), Alexei Sharpanskykh (author), J Treur (author), H.A.P. Blom (author), SH Stroeve (author)

Modelling of human performance-related hazards in ATM

Conference paper (2012) - T Bosse (author), Alexei Sharpanskykh (author), J Treur (author), H.A.P. Blom (author), SH Stroeve (author)

An adaptive agent model for affective social decision making

Journal article (2012) - Alexei Sharpanskykh (author), J Treur (author)

Modelling of human performance-related hazards in ATM

Conference paper (2011) - T Bosse (author), Alexei Sharpanskykh (author), J Treur (author), H.A.P. Blom (author), SH Stroeve (author)

Agent-based analysis and support for incident management

Journal article (2009) - M Hoogendoorn (author), C.M. Jonker (author), J Treur (author), M Verhaegh (author)

Specification and verification of dynamics in agent models

Journal article (2009) - T Bosse (author), C.M. Jonker (author), L Meij van der (author), Alexei Sharpanskykh (author), J Treur (author)

Representation for reciprocal agent-environment interaction

Journal article (2009) - T Bosse (author), C.M. Jonker (author), J Treur (author)

Automated formal analysis of human multi-issue negotiation processes

Journal article (2008) - T Bosse (author), C.M. Jonker (author), L van der Meij (author), J Treur (author)

BDI-modelling of complex intracellular dynamics

Journal article (2008) - C.M. Jonker (author), JL Snoep (author), J Treur (author), HV Westerhoff (author), W.C.A. Wijngaards (author)

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

Journal article (2008) - T Bosse (author), C.M. Jonker (author), J Treur (author)

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

Journal article (2008) - T Bosse (author), M Hoogendoorn (author), C.M. Jonker (author), J Treur (author)

Analysis of meeting protocols by formalisation, simulation, and verification

Journal article (2007) - C.M. Jonker (author), M.C. Schut (author), J Treur (author), pI Yolum (author)

Formal analysis of trust dynamics in human and software agent experiments

Conference paper (2007) - T Bosse (author), C.M. Jonker (author), J Treur (author), D Tykhonov (author)

A formal empirical analysis method for human reasoning and interpretation

Conference paper (2007) - T Bosse (author), M Hoogendoorn (author), C.M. Jonker (author), J Treur (author)