2000 | ||
---|---|---|
4 | Choong-Ho Yi: Representing and reasoning with scenarios within information systems modeling. IRMA Conference 2000: 1079-1080 | |
1999 | ||
3 | EE | Choong-Ho Yi, Paul Johannesson: Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes. CAiSE 1999: 462-466 |
1996 | ||
2 | Choong-Ho Yi: Towards the Assessment of Logics for Concurrent Actions. FAPR 1996: 679-690 | |
1 | Choong-Ho Yi: Reasoning about Concurrent Actions within Features and Fluents. TIME 1996: 6-13 |
1 | Paul Johannesson | [3] |