Jiahua Qian

Publication Activity (10 Years)

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

Publications

Jiahua Qian, Yong Zheng, Liqun Jin, Jinhua Zhang
EASE: an embedded algebraic specification environment. COMPSAC (1990)
Liqun Jin, Jiahua Qian
Transformation technique of algebraic specification. COMPSAC (1990)
Yong Zheng, Jiahua Qian
The implementation of nonlocal dependency relationship in interactive environment. COMPSAC (1989)
Qi Lu, Jiahua Qian
Design, Proof and Analysis of New Efficient Algorithms for Incremental Attribute Evaluation. MFCS (1988)
Qi Lu, Jiahua Qian
An efficient method for incremental attribute evaluation by using multi-dependency. COMPSAC (1988)