Automated analysis of bounded response time for two NASA expert systems. - Chih-Kan Wang; Duu-Chung Tsou; Rwo-Hsi Wang; James C. Browne; Aloysius K. Mok (SIGSOFT, 1991)

Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. - Albert Mo Kim Cheng; James C. Browne; Aloysius K. Mok; Rwo-Hsi Wang (IEEE Trans. Software Eng., 1993)

A New Approach to Modularity in Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Roberto J. Bayardo Jr.; Sarah E. Chodrow; David Gadbois; F. Furman Haddix; Thomas W. Hetherington; Lance Obermeyer; Duu-Chung Tsou; et al. (ICTAI, 1994)

Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. - Rwo-Hsi Wang; Aloysius K. Mok (RTSS, 1994)

Modularity and Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Lance Obermeyer; F. Furman Haddix; Rwo-Hsi Wang; Sarah E. Chodrow (Int. J. Artif. Intell. Tools, 1995)

Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. - Rwo-Hsi Wang; Aloysius K. Mok (IEEE Trans. Software Eng., 1995)

Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. - Rwo-Hsi Wang; Aloysius K. Mok (ICDCS, 1996)

Realizing EQL Programs for Bounded-Time Execution. - Aloysius K. Mok; Rwo-Hsi Wang; Chih-Kan Wang (J. Syst. Integr., 1996)