Z. Luo

According to our database, Z. Luo authored at least 4 papers between 1989 and 1997.

Collaborative distances:

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

1997

A Formal Transformation and Refinement Method for Concurrent Programs.

E. J. Younger, Keith H. Bennett, Z. Luo

Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

1996

Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.

E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull

Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

1995

Bylands: reverse engineering safety-critical systems.

Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo

Proceedings of the International Conference on Software Maintenance, 1995

1989

An Auto-picking Stacking velocity Algorithm Based on an AI and PR Approach.

L. Wu, Z. Luo, J. Zhou, H. Wang

Int. J. Pattern Recognit. Artif. Intell., 1989