| 1994 | A New Problem in String Searching. | George Havas, Jin Xian Lian |
| 1994 | k-Pairwise Cluster Fault Tolerant Routing in Hypercubes. | Qian-Ping Gu, Shietung Peng |
| 1994 | Average Time Complexity of the SAT 1.2 Algorithm. | Jun Gu, Qian-Ping Gu |
| 1994 | Multispace Search: A New Optimization Approach. | Jun Gu |
| 1994 | Quasi-Random Combinatorial Structures (Abstract). | Ronald L. Graham |
| 1994 | Edge-Disjoint Paths in Permutation Graphs. | C. P. Gopalakrishnan, C. Pandu Rangan |
| 1994 | Components and Projections of Curves over Finite Fields. | Joachim von zur Gathen, Igor E. Shparlinski |
| 1994 | The Totally-Perfect Bipartite Graph and Its Construction. | Kunihiro Fujiyoshi, Yoji Kajitani, Hiroshi Niitsu |
| 1994 | Separability and One-Way Functions. | Lance Fortnow, John D. Rogers |
| 1994 | The Generating Algorithm for Quasi-Full Steiner Trees. | Jiyu Ding |
| 1994 | A Convex Hull Algorithm on Coarse-Grained Multiprocessors. | Xiaotie Deng |
| 1994 | On Greedy Tetrahedralization of Points in 3D. | Francis Y. L. Chin, Cao An Wang |
| 1994 | Finitely Representables Spatial Objects and Efficient Computation. | Yongmao Chen, Terence R. Smith |
| 1994 | Fast and Efficient Operations on Parallel Priority Queues. | Danny Z. Chen, Xiaobo Hu |
| 1994 | Revisiting Circular Arc Graphs. | Lin Chen |
| 1994 | Average Cost to Produce Partial Orders. | Jingsen Chen |
| 1994 | Heaps with Bits. | Svante Carlsson, Jingsen Chen, Christer Mattsson |
| 1994 | Rotation Distance, Triangulations of Planar Surfaces and Hyperbolic Geometry. | Jin-yi Cai, Michael D. Hirsch |
| 1994 | Every Set of Disjoint Line Segments Admits a Binary Tree. | Prosenjit Bose, Michael E. Houle, Godfried T. Toussaint |
| 1994 | On Random Hard Sets for NP. | Ronald V. Book, Osamu Watanabe |
| 1994 | Definition and Existence of Super Complexity Cores. | Ingrid Biehl |
| 1994 | A Randomized Algorithm to Finite Automata Public Key Cryptosystem. | Feng Bao, Yoshihide Igarashi |
| 1994 | Reporting and Counting Intersections of Lines within a Polygon. | Tetsuo Asano |
| 1994 | On Helping and Interactive Proof Systems. | Vikraman Arvind, Johannes Kbler, Rainer Schuler |
| 1994 | Realizing Degree Sequences in Parallel. | Srinivasa Rao Arikati, Anil Maheshwari |