| 1993 | Formal Concept Analysis with Many-Sorted Attributes. | Robert E. Kent, John Brady |
| 1993 | On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. | Keizo Kawata, Akira Takura, Tadashi Ohta |
| 1993 | The Synthesis of Two Compatible Rooted Trees in a Rooted Supertree by an Algorithm on Sets. | Mariana Kant |
| 1993 | Dynamic Integration of Knowledge in Memory. | Adil Kabbaj, Claude Frasson |
| 1993 | Integrated Concurrency-Coherence Control in Distributed Shared Memory. | Dawn N. Jutla, Peter Bodorik, J. Spruce Riordon |
| 1993 | Efficient Algorithms for All-Pairs Shortest Path Problem on Interval, Directed Path, and Circular-Arc Graphs. | Dipti S. Joshi, R. Sridhar, N. Chandrasekharan |
| 1993 | Independent Performance Modeling of Parallel Architectures and Algorithms. | Eric E. Johnson |
| 1993 | A Distributed Approach to the Design of Applications. | Dag Johansen |
| 1993 | On the Complexity of Bisimilarity of Normed Probabilistic Context-Free Processes. | Dung T. Huynh, Lu Tian |
| 1993 | On the Rearrangeability of Switching Networks Composed of Digital Symmetrical Matrices. | Dung T. Huynh, Hai N. Nguyen |
| 1993 | Potential Benefits of File Migration in a Heterogeneous Distributed File System. | Richard T. Hurley, Soon Aun Yeap, Johnny W. Wong, James P. Black |
| 1993 | Parallel Compting Dominators on Hypercube Multiprocessors. | Shi-Jinn Horng |
| 1993 | Design and Implementation of a Distributed Applications Testbed. | James W. Hong, Michael A. Bauer, John A. O'Neill |
| 1993 | Selectivity. | Lane A. Hemachandra, Albrecht Hoene, Mitsunori Ogiwara, Alan L. Selman, Thomas Thierauf, Jie Wang |
| 1993 | Botstrap Learning of Alpha-Beta-Evaluation Functions. | Alois P. Heinz, Christoph Hense |
| 1993 | Fixed-Path Proxy-Logins with Assured Termination. | Thomas Hardjono, Tadashi Ohta |
| 1993 | Evaluation of Linear Join Processing Trees in Shared-Nothing Database Environment. | Lilian Harada, Naoki Akaboshi |
| 1993 | A Distributed Algorithm for Ear Decomposition. | Sridhar Hannenhalli, Kalyan S. Perumalla, N. Chandrasekharan, R. Sridhar |
| 1993 | Artificial Intelligence - Introduction. | Jerzy W. Grzymala-Busse |
| 1993 | A Software Reuse System Based on Natural Language Specifications. | M. R. Girardi, Bertrand Ibrahim |
| 1993 | Towards CASE Tool Support for Rigorous Structured Analysis. | Robert B. France, Thomas W. G. Docker |
| 1993 | Self-Stablizing Fault Location. | Mitchell Flatebo, Ajoy Kumar Datta |
| 1993 | Lambda-Calculi with Decidable Cappa-Type Checking. | Kevin E. Flannery |
| 1993 | Optimizing the Time Cost of the Parallel Structures with a Limited Number of Processors. | Tahany A. Fergany, Reda A. Ammar, Mohamad R. Neilforoshan-Dardashti |
| 1993 | An Adaptive Generic Sorting Algorithm That Uses Variable Partitioning. | Vladimir Estivill-Castro, Derick Wood |