| 1993 | On the Difference Between Turing Machine Time and Random-Access Machine Time. | Kenneth W. Regan |
| 1993 | Eliminating Unnecessary Array Bounds Checks in Nests of Loops. | Kleanthis Psarris, David Klappholz |
| 1993 | AI-Based Classification and Retrieval of Reusable Software Components. | Aarthi Prasad, E. K. Park |
| 1993 | Interpretive Language Implementation from a Layered Operational Model. | Michael Oudshoorn, Chris D. Marlin |
| 1993 | Chronolog (Z): Linear-Time Logic Programming. | Mehmet A. Orgun, William W. Wadge, Weichang Du |
| 1993 | Consistency Management for Software Design Information Repository. | Atsuko Oka, Shuichiro Yamamoto, Sadahiro Isoda |
| 1993 | Using Information Retrieval for Software Reuse. | Jian-Yun Nie, Franois Paradis, Jean G. Vaucher |
| 1993 | Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. | Frank Ng, Gregory Butler |
| 1993 | Multimedia Databases Modeling. | Jean-Franois Merlet, Corinne Nadalin |
| 1993 | From Code Comprehension Model to Tool Capabilities. | Anneliese von Mayrhauser, A. Marie Vans |
| 1993 | Designing a Stochastic Parameter Reasoner. | Marimin, Robert E. Mercer, John M. Carroll |
| 1993 | Efficient Approximation Algorithms for Domatic Partition and On-Line Coloring of Circular Arc Graphs. | Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi |
| 1993 | A Parallel Algorithm for the Steiner Tree Problem. | Kia Makki, Ken Been, Niki Pissinou |
| 1993 | An Entity-Relationship Approach to Schema Evolution. | Chien-Tsai Liu, Shi-Kuo Chang, Panos K. Chrysanthis |
| 1993 | Formal Description and Verification of Knowledge Base Redundancy and Subsumption. | Nga Kwo Liu |
| 1993 | Far Field Path Planning for Rotorcraft NOE Missions in a Mountainous Region. | Huade Li, Francis Suraweera |
| 1993 | On Data Allocation with the Minimum Overall Communication Costs in Distributed Database Design. | Xuemin Lin, Maria E. Orlowska, Yanchun Zhang |
| 1993 | Combination of Evidence in Rough Set Theory. | Pawan Lingras |
| 1993 | A New Decomposition Method to Relieve the State Space Explosion Problem. | Xiaobo Li, Richard Lai, Tharam S. Dillon |
| 1993 | On the Concurrency of C++. | Xining Li, He Huang |
| 1993 | A Framework for Incremental Integration Tools. | Martin Lefering |
| 1993 | Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures. | Shie-Jue Lee, Chih-Hung Wu |
| 1993 | Concurrency and Parallelism - Introduction. | Michael A. Langston |
| 1993 | Distributed Computing - Introduction. | David W. Krumme |
| 1993 | Algorithms and Complexity - Introduction. | David W. Krumme |