Towards the Assessment of Logics for Concurrent Actions. - Choong-Ho Yi (FAPR, 1996)

Reasoning about Concurrent Actions within Features and Fluents. - Choong-Ho Yi (TIME, 1996)

Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes. - Choong-Ho Yi; Paul Johannesson (CAiSE, 1999)

Representing and reasoning with scenarios within information systems modeling. - Choong-Ho Yi (IRMA Conference, 2000)