| 1 | -- | 26 | Guohua Jin, Fujie Chen. On the problem of optimizing parallel programs for complex memory hierarchies |
| 27 | -- | 36 | Weikang Huang, F. Lombard. On GID-testable two-dimensional iterative arrays |
| 37 | -- | 52 | Wei Li 0006, Bo Zhang, Hilmar Jaschek. Real-time collision-free path planning for robots in configuration space |
| 53 | -- | 62 | Zhaokeng Zhao, Jun Dai, Wendan Chen. Automated theorem proving in temporal logic: T-resolution |
| 63 | -- | 69 | Qilong Han, Ruzhan Lu, Yongqiang Sun. An improved bottom-up method for implementing equational programming language |
| 70 | -- | 85 | Kaihuai Qin, Gang Fan, Cai Sun. Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques |
| 86 | -- | 91 | Jun Ma, Shaohan Ma. An ::::O(k:::: :::2:::n:::2:::) algorithm to find a ::::k:::: -partition in a ::::k:::: -connected graph |
| 92 | -- | 96 | Wenbin Jiang. A method for minimization design of two-level logic networks using multiplexer universal logic modules |