Kaizhi Yue

According to our database, Kaizhi Yue authored at least 5 papers between 1985 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

The Large Scale Parallelization of a Conformational 3D Protein Structure Prediction Application.

Philip F. LoCascio, Kaizhi Yue, Peter Cummings, Ken A. Dill

Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

1989

Representing first order logic-based specifications in Petri-net-like graphs.

Kaizhi Yue

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Validating System Requirements by Functional Decomposition and Dynamic Analysis.

Kaizhi Yue

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Generating Interesting Scenarios from System Descriptions.

Kaizhi Yue

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988, 1988

1985

Constructing and analyzing specifications of real world systems.

Kaizhi Yue

PhD thesis, 1985