| 1993 | Fault-Tolerance and Complexity (Extended Abstract). | Lane A. Hemachandra |
| 1993 | Strongly Adaptive Token Distribution. | Friedhelm Meyer auf der Heide, Brigitte Oesterdiekhoff, Rolf Wanka |
| 1993 | The Fork Calculus. | Klaus Havelund, Kim Guldstrand Larsen |
| 1993 | Maintaining Discrete Probability Distributions Optimally. | Torben Hagerup, Kurt Mehlhorn, J. Ian Munro |
| 1993 | Finite Automata as Characterizations of Minor Closed Tree Families (Extended Abstract). | Arvind Gupta |
| 1993 | Primal-Dual Approximation Algorithms for Integral Flow and Multicut in Trees, with Applications to Matching and Set Cover. | Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis |
| 1993 | Searching among Intervals and Compact Routing Tables. | Greg N. Frederickson |
| 1993 | Secure and Efficient Off-Line Digital Money (Extended Abstract). | Matthew K. Franklin, Moti Yung |
| 1993 | Exact Asymptotics of Divide-and-Conquer Recurrences. | Philippe Flajolet, Mordecai J. Golin |
| 1993 | Logical Definability on Infinite Traces. | Werner Ebinger, Anca Muscholl |
| 1993 | Algebraic Aspects of B-regular Series. | Philippe Dumas |
| 1993 | On Distributed Algorithms in a Broadcast Domain. | Danny Dolev, Dalia Malki |
| 1993 | A Simple Method for Resolving Degeneracies in Delaunay Triangulations. | Michael B. Dillencourt, Warren D. Smith |
| 1993 | Problems on Pairs of Trees and the Four Colour Problem of Planar Graphs. | Artur Czumaj, Alan Gibbons |
| 1993 | A Confluent Reduction for the Extensional Typed lambda-Calculus with Pairs, Sums, Recursion and terminal Object. | Roberto Di Cosmo, Delia Kesner |
| 1993 | A Partial Solution for D-Unification Based on a Reduction to AC1-Unification. | Evelyne Contejean |
| 1993 | Products of Finite State Machines with Full Coverage. | David M. Cohen, Michael L. Fredman |
| 1993 | Efficient Analysis of Concurrent Constraint Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
| 1993 | Sparse Networks Supporting Efficient Reliable Broadcasting. | Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc |
| 1993 | Temporal Logic and Categories of Petrie Nets. | Carolyn Brown, Doug Gurr |
| 1993 | From Domains to Automata with Concurrency. | Felipe Bracho, Manfred Droste |
| 1993 | Treewidth and Pathwidth of Permutation Graphs. | Hans L. Bodlaender, Ton Kloks, Dieter Kratsch |
| 1993 | Program Result Checking: A New Approach to Making Programs More Reliable. | Manuel Blum |
| 1993 | Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. | Franco Barbanera, Maribel Fernndez |
| 1993 | Learnability: Admissible, Co-finite, and Hypersimple Languages. | Ganesh R. Baliga, John Case |