Kaizhi Yue

Publication Activity (10 Years)

Years Active: 1988-1998
Publications (10 Years): 0

Publications

Philip F. LoCascio, Kaizhi Yue, Peter Cummings, Ken A. Dill
The Large Scale Parallelization of a Conformational 3D Protein Structure Prediction Application. SC (1998)
Kaizhi Yue
Validating System Requirements by Functional Decomposition and Dynamic Analysis. ICSE (1989)
Kaizhi Yue
Representing first order logic-based specifications in Petri-net-like graphs. IWSSD (1989)
Kaizhi Yue
Generating Interesting Scenarios from System Descriptions. IEA/AIE (Vol. 1) (1988)