Login / Signup
Choong-Ho Yi
Publication Activity (10 Years)
Years Active: 1996-2000
Publications (10 Years): 0
</>
Publications
</>
Choong-Ho Yi
Representing and reasoning with scenarios within information systems modeling.
IRMA Conference
(2000)
Choong-Ho Yi
,
Paul Johannesson
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes.
CAiSE
(1999)
Choong-Ho Yi
Towards the Assessment of Logics for Concurrent Actions.
FAPR
(1996)
Choong-Ho Yi
Reasoning about Concurrent Actions within Features and Fluents.
TIME
(1996)