Jiahua Qian

According to our database, Jiahua Qian authored at least 5 papers between 1988 and 1990.

Collaborative distances:

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

1990

EASE: an embedded algebraic specification environment.

Jiahua Qian, Yong Zheng, Liqun Jin, Jinhua Zhang

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

Transformation technique of algebraic specification.

Liqun Jin, Jiahua Qian

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

The implementation of nonlocal dependency relationship in interactive environment.

Yong Zheng, Jiahua Qian

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

Design, Proof and Analysis of New Efficient Algorithms for Incremental Attribute Evaluation.

Qi Lu, Jiahua Qian

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

An efficient method for incremental attribute evaluation by using multi-dependency.

Qi Lu, Jiahua Qian

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988