Kim Dung Dang

A methodology to derive a valid scenario of an interactive storytelling

Ronan Champagnat, Michel Augeraud, Kim Dung Dang, 2011, Advances in Computer Entertainment Technology.

An Authoring Tool to Derive Valid Interactive Scenarios

Ronan Champagnat, Kim Dung Dang, 2013, Intelligent Narrative Technologies.

Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control

Ronan Champagnat, Mourad Rabah, Phuong Thao Pham, 2013, Advances in Computer Entertainment.

Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic

Ronan Champagnat, Michel Augeraud, Kim Dung Dang, 2010, ICIDS.

A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic

Ronan Champagnat, Michel Augeraud, Kim Dung Dang, 2013, Trans. Edutainment.

How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds

Steve Hoffmann, Ronan Champagnat, Ulrike Spierling, 2011, ICIDS.