| 1993 | A Combinatorial View of Visibility Graphs of Simple Polygons. James Abello, Krishna Kumar, Ömer Egecioglu |
| 1993 | A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. Dominique Bolignano, Mourad Debbabi |
| 1993 | A Distributed Algorithm for Ear Decomposition. Sridhar Hannenhalli, Kalyan S. Perumalla, N. Chandrasekharan, R. Sridhar |
| 1993 | A Distributed Approach to the Design of Applications. Dag Johansen |
| 1993 | A Framework for Incremental Integration Tools. Martin Lefering |
| 1993 | A Heterogeneous Distributed Information System. Soon Myoung Chung, C. N. Ravikiran |
| 1993 | A Hierarchy of Pattern Recognition Algorithms for the Diagnosis of Sucker Rod Pumped Wells. James Abello, Anne Houang, James Russell |
| 1993 | A Method for Software Reuse Through Large Component Libraries. Guttorm Sindre, Even-André Karlsson, Tor Stålhane |
| 1993 | A Neural Network Model for Documentary Base Self-Organising and Querying. Mohand Boughanem, Redouane Layaida, Armand Caron |
| 1993 | A New Decomposition Method to Relieve the State Space Explosion Problem. Xiaobo Li, Richard Lai, Tharam S. Dillon |
| 1993 | A Parallel Algorithm for the Steiner Tree Problem. Kia Makki, Ken Been, Niki Pissinou |
| 1993 | A Sequentially Consistent Distributed Shared Memory. James Z. Zhou, Masaaki Mizuno, Gurdip Singh |
| 1993 | A Simple Optimal Parallel Dicitionary Machine. F. Choi, I. W. Chan |
| 1993 | A Software Reuse System Based on Natural Language Specifications. M. R. Girardi, Bertrand Ibrahim |
| 1993 | A Timestamp-Based Concurrency Control Algorithm for Heterogeneous Distributed Databases. Soon Myoung Chung, Khalid A. Elghayesh |
| 1993 | AI-Based Classification and Retrieval of Reusable Software Components. Aarthi Prasad, E. K. Park |
| 1993 | Algorithms and Complexity - Introduction. David W. Krumme |
| 1993 | An Adaptive Generic Sorting Algorithm That Uses Variable Partitioning. Vladimir Estivill-Castro, Derick Wood |
| 1993 | An Efficient Parallel Recognition Algorithm of Parity Graphs. Elias Dahlhaus |
| 1993 | An Efficient Parallel Solution for the Longest Increasing Subsequence Problem. Christophe Cérin, Catherine Dufourd, Jean Frédéric Myoupo |
| 1993 | An Efficient Transitive Closure Algorithm for Distributed Databases. Ismail H. Toroslu, Lawrence J. Henschen |
| 1993 | An Entity-Relationship Approach to Schema Evolution. Chien-Tsai Liu, Shi-Kuo Chang, Panos K. Chrysanthis |
| 1993 | An Extended Version Model for Artistic Design Applications. Barry Eaglestone, Geoff L. Davies, Tamas Ungvary |
| 1993 | An O(n log Kok-Phuang Tan, Ghim Hwee Ong, Seng Chuan Tay |
| 1993 | An Object-Oriented Data Model Specification. Daniel Kim Chung Chan, David J. Harper, Philip W. Trinder |
| 1993 | An Object-Oriented Expert System for Local Area Network Design. Chih-Hung Wu, Shie-Jue Lee |
| 1993 | Analysis of Windowing Operations or R+ Trees. Xiao You Zhou, W. A. Davis |
| 1993 | Artificial Intelligence - Introduction. Jerzy W. Grzymala-Busse |
| 1993 | B Anestis A. Toptsis |
| 1993 | B Anestis A. Toptsis |
| 1993 | BUS: A Multicasting Protocol for Interconnected LANs. Osman ZeinElDine, Mohamed Eltoweissy, Hussein M. Abdel-Wahab |
| 1993 | Botstrap Learning of Alpha-Beta-Evaluation Functions. Alois P. Heinz, Christoph Hense |
| 1993 | Case-Based Reasoning Methodology for Analyzing Multi-Database Schemas. Jian Yang, Mike P. Papazoglou |
| 1993 | Chronolog (Z): Linear-Time Logic Programming. Mehmet A. Orgun, William W. Wadge, Weichang Du |
| 1993 | Combination of Evidence in Rough Set Theory. Pawan Lingras |
| 1993 | Computing and Information - ICCI'93, Fifth International Conference on Computing and Information, Sudbury, Ontario, Canada, May 27-29, 1993, Proceedings Osman Abou-Rabia, Carl K. Chang, Waldemar W. Koczkodaj |
| 1993 | Concurrency and Parallelism - Introduction. Michael A. Langston |
| 1993 | Consistency Management for Software Design Information Repository. Atsuko Oka, Shuichiro Yamamoto, Sadahiro Isoda |
| 1993 | Context Parallelism in an Indexical Programming Language. Weichang Du |
| 1993 | DCL: Protocols and Primitives for Distributed and Concurrent Computing in Networked Environments. Vaidy S. Sunderam |
| 1993 | Design and Implementation of a Distributed Applications Testbed. James W. Hong, Michael A. Bauer, John A. O'Neill |
| 1993 | Designing a Stochastic Parameter Reasoner. Marimin, Robert E. Mercer, John M. Carroll |
| 1993 | Differential Hashing Functions: Application to Reachability Graph Generation. Bernard Cousin |
| 1993 | Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
| 1993 | Distributed Computing - Introduction. David W. Krumme |
| 1993 | Dynamic Integration of Knowledge in Memory. Adil Kabbaj, Claude Frasson |
| 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 | 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 | Eliminating Unnecessary Array Bounds Checks in Nests of Loops. Kleanthis Psarris, David Klappholz |
| 1993 | Evaluating Partitioning Techniques for Main Memory Database: Horizontal and Single Vertical. Yu Chin Cheng, Le Gruenwald, Greg Ingels, M. T. Thakkar |
| 1993 | Evaluation of Linear Join Processing Trees in Shared-Nothing Database Environment. Lilian Harada, Naoki Akaboshi |
| 1993 | Far Field Path Planning for Rotorcraft NOE Missions in a Mountainous Region. Huade Li, Francis Suraweera |
| 1993 | Fixed-Path Proxy-Logins with Assured Termination. Thomas Hardjono, Tadashi Ohta |
| 1993 | Formal Concept Analysis with Many-Sorted Attributes. Robert E. Kent, John Brady |
| 1993 | Formal Description and Verification of Knowledge Base Redundancy and Subsumption. Nga Kwo Liu |
| 1993 | From Code Comprehension Model to Tool Capabilities. Anneliese von Mayrhauser, A. Marie Vans |
| 1993 | Graphical Query Specification with Participation Constraints. Bogdan D. Czejdo, Ralph P. Tucci, David W. Embley, Stephen W. Liddle |
| 1993 | Impact of Priority-Based ATM Switch Design on System Performance. Jianxun Ding, Hong Jiang |
| 1993 | Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures. Shie-Jue Lee, Chih-Hung Wu |
| 1993 | Improving the Reusability of Program Specification Through Data Flow Modeling. Hee Beng Kuan Tan, Tok Wang Ling, Yin Seong Ho |
| 1993 | Independent Performance Modeling of Parallel Architectures and Algorithms. Eric E. Johnson |
| 1993 | Index Selection in Relational Databases. Sunil Choenni, Henk M. Blanken, Thiel Chang |
| 1993 | Integrated Concurrency-Coherence Control in Distributed Shared Memory. Dawn N. Jutla, Peter Bodorik, J. Spruce Riordon |
| 1993 | Interlinguae. Walter A. Sedelow Jr., Sally Yeates Sedelow |
| 1993 | Interpretive Language Implementation from a Layered Operational Model. Michael Oudshoorn, Chris D. Marlin |
| 1993 | Interval-Set Algebra for Qualitative Knowledge Representation. Y. Y. Yao |
| 1993 | Job Simulation Techniques on Incomplete and Gray Code Incomplete Hypercubes. Ivan Stojmenovic |
| 1993 | Lambda-Calculi with Decidable Cappa-Type Checking. Kevin E. Flannery |
| 1993 | Minimize Linear Mutual Recursion by Rule Unfolding. Ke Wang, Weining Zhang, Siu-Cheung Chau |
| 1993 | Modeling and Storage Allocation Strategies for Homogeneous Parallel Access Storage Devices in Real Time Multimedia Information Processing. C. Y. Roger Chen, Kingsley C. Nwosu, P. Bruce Berra |
| 1993 | Multimedia Databases Modeling. Jean-François Merlet, Corinne Nadalin |
| 1993 | Object Oriented Specification of Multi-Layered Protocols. Andrew F. Watts, David H. Pitt, Colin Smythe |
| 1993 | On Data Allocation with the Minimum Overall Communication Costs in Distributed Database Design. Xuemin Lin, Maria E. Orlowska, Yanchun Zhang |
| 1993 | On Driving and Monitoring Smalltalk-80 Applications Using Unix Spreadsheets. Jean-Pierre Corriveau, Bill Macready |
| 1993 | On Implementing Large Fault-Tolerant Binary Tree Architecture in WSI. Siu-Cheung Chau |
| 1993 | On Space Bounded Server Algorithms. Ganesh R. Baliga, Anil M. Shende |
| 1993 | On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. Keizo Kawata, Akira Takura, Tadashi Ohta |
| 1993 | On the Complexities of the Leader Election Algorithms. Hosame Abu-Amara, Arkady Kanevsky |
| 1993 | On the Complexity of Bisimilarity of Normed Probabilistic Context-Free Processes. Dung T. Huynh, Lu Tian |
| 1993 | On the Concurrency of C++. Xining Li, He Huang |
| 1993 | On the Difference Between Turing Machine Time and Random-Access Machine Time. Kenneth W. Regan |
| 1993 | On the Rearrangeability of Switching Networks Composed of Digital Symmetrical Matrices. Dung T. Huynh, Hai N. Nguyen |
| 1993 | Optimal Operations on Red-Black Trees. Lin Chen, René Schott |
| 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 | Parallel Algorithm for Quadtree Medial Axis Transform. Dipak Pravin Doctor, Ivan Hal Sudborough |
| 1993 | Parallel Compting Dominators on Hypercube Multiprocessors. Shi-Jinn Horng |
| 1993 | Parallel Naive and Semi-Naive Transitive Closure Evaluation. Xiaofang Zhou, Maria E. Orlowska |
| 1993 | Pattern Matching for Case Analysis: A Computational Definition of Closeness. Sylvain Delisle, Terry Copeck, Stan Szpakowicz, Ken Barker |
| 1993 | Performance Analysis of Time-Stamp Ordering Algorithms in Database Systems: The Pure Restarts Case. Mohamed Eltoweissy, Hussein M. Abdel-Wahab, M. Abougabal, Nagwa M. El-Makky, Souheir A. Fouad |
| 1993 | Performance of Barrier Synchronization Methods in a Multi-Access Network. Shun Yan Cheung, Vaidy S. Sunderam |
| 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 | Preprocessing First-Class Functions for Ada. Paul A. Bailes, Dan B. Johnston, Eric J. Salzman |
| 1993 | Selectivity. Lane A. Hemachandra, Albrecht Hoene, Mitsunori Ogiwara, Alan L. Selman, Thomas Thierauf, Jie Wang |
| 1993 | Self-Stablizing Fault Location. Mitchell Flatebo, Ajoy Kumar Datta |
| 1993 | Size-Depth Tradeoff for Strictly Non-Blocking Generalized-Concentrators. H. K. Dai |
| 1993 | Software Engineering and Information Technology - Introduction. Pradip K. Srimani |
| 1993 | Solvable Classes for Reliable Network Allocation. Constantine Stivaros |
| 1993 | Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. Frank Ng, Gregory Butler |
| 1993 | Speculative Parallelism in BaLinda Lisp. Chung-Kwong Yuen, Ming-Dong Feng, Jenn-Jong Yee |
| 1993 | Structural and Behavioral Representations in Roget's International Thesaurus. John Brady |
| 1993 | The CSA Approach to Knowledge Representation in Neural Networks. Eugeniusz Eberbach, Piotr W. Prószynski |
| 1993 | The Complexity of Deciding Strictly Non-Blocking Concentration and Generalized-Concentration Properties with Small Depth. H. K. Dai |
| 1993 | The Concept concept. Sally Yeates Sedelow, Walter A. Sedelow Jr. |
| 1993 | The Descriptor Theory - What is about?. Sieglinde Stainer, Stefan Biffl, Thomas Grechenig |
| 1993 | The Design of Competitive Algorithms via Genetic Algorithms. Vladimir Estivill-Castro |
| 1993 | The GeoSQL Language for the Manipulation of Geographical Data. Franco Arcieri, Stefano Ercoli, Enrico Nardelli |
| 1993 | The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases. Christos Bouras, Paul G. Spirakis |
| 1993 | The Serializability of Transactions in Object Bases. Michael Zapp, Ken Barker |
| 1993 | The Synthesis of Two Compatible Rooted Trees in a Rooted Supertree by an Algorithm on Sets. Mariana Kant |
| 1993 | Towards CASE Tool Support for Rigorous Structured Analysis. Robert B. France, Thomas W. G. Docker |
| 1993 | Towards a Methodology for Developing a Federated Database System. Christian Soutou |
| 1993 | Using Information Retrieval for Software Reuse. Jian-Yun Nie, François Paradis, Jean G. Vaucher |
| 1993 | Why Functional Languages Really Need Parallelism. Paul A. Bailes, Ming Gong, Andrew Moran |
| 1993 | Why Views Do Not Provide Logical Data Independence. Martin Boogaard, Jonas M. de Graaff, René J. Veldwijk |