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)

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)

The MSP.RTL real-time scheduler synthesis tool. - Aloysius K. Mok; Duu-Chung Tsou; Ruud C. M. de Rooij (RTSS, 1996)