Journal Publications
J. Wu an G. Zhu, "A Program
Synthesis System – SSS,"
Journal of Computer Engineering, (in Chinese), 3, August 1987, 18-28.
J. Wu an G. Zhu, "A
Method of Achieving Several Goals Simultaneously," Journal of Shanghai
University of Science and Technology, (in Chinese), 20, 2, 1987, 29-35.
J. Wu, "A
Necessary and Sufficient Condition for R=R+ and Its Generalization," Journal of
Shanghai University of Science and Technology, (in Chinese), 18, 2,
1985, 60-63.Conference Proceedings
J. Wu and V. Chandra, "A
Situation Adaptive Algorithm for Test Minimization for Applications in
Safety of Robot Systems," Proc. of
Conference on Recent Advances in Robotics, May 1988, 36.
J. Wu and E. B. Fernandez, "A
Weighted Tree Model for Algorithms with Boolean Vector Operations," Proc. of the
20th Southeastern Symposium on System Theory, March 1988, 150-154.
G.
Zhu, J. Wu, and H. Pan,
"A Reproductive Prolog Realization
System," Proc. of Annual Shanghai
Computer Society Conference, 1985.