Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic. - Kim Dung Dang; Ronan Champagnat; Michel Augeraud (ICIDS, 2010)

A methodology to derive a valid scenario of an interactive storytelling. - Kim Dung Dang; Ronan Champagnat; Michel Augeraud (Advances in Computer Entertainment Technology, 2011)

How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworlds. - Kim Dung Dang; Steve Hoffmann; Ronan Champagnat; Ulrike Spierling (ICIDS, 2011)

Linear Logic Validation and Hierarchical Modeling for Interactive Storytelling Control. - Kim Dung Dang; Phuong Thao Pham; Ronan Champagnat; Mourad Rabah (Advances in Computer Entertainment, 2013)

An Authoring Tool to Derive Valid Interactive Scenarios. - Kim Dung Dang; Ronan Champagnat (Intelligent Narrative Technologies, 2013)

A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic. - Kim Dung Dang; Ronan Champagnat; Michel Augeraud (Trans. Edutainment, 2013)

Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire. (Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model). - Kim Dung Dang (2013)