Constructing and analyzing specifications of real world systems. - Kaizhi Yue (1985)

Generating Interesting Scenarios from System Descriptions. - Kaizhi Yue (IEA/AIE (Vol. 1), 1988)

Validating System Requirements by Functional Decomposition and Dynamic Analysis. - Kaizhi Yue (ICSE, 1989)

Representing first order logic-based specifications in Petri-net-like graphs. - Kaizhi Yue (IWSSD, 1989)

The Large Scale Parallelization of a Conformational 3D Protein Structure Prediction Application. - Philip F. LoCascio; Kaizhi Yue; Peter Cummings; Ken A. Dill (SC, 1998)