| 1993 | The Product of Rational Languages. | Imre Simon |
| 1993 | An Effective Version of Stallings' Theorem in the Case of Context-Free Groups. | Graud Snizergues |
| 1993 | Fast Parallel Computation of Characteristic Polynomials by Leverrier's POwer Sum Method Adapted to Fields of Finite Characteristic. | Arnold Schnhage |
| 1993 | The Complexity of N-body Simulation. | John H. Reif, Stephen R. Tate |
| 1993 | On the Computational Power of Discrete Hopfield Nets. | Pekka Orponen |
| 1993 | On Regular Compatibility of Semi-Commutations. | Edward Ochmanski, Pierre-Andr Wacrenier |
| 1993 | If a D0L Language is k-Power Free then it is Circular. | Filippo Mignosi, Patrice Sbold |
| 1993 | Cobham's Ttheorem seen through Bchi's Theorem. | Christian Michaux, Roger Villemaire |
| 1993 | The Complexity of Approximating PSPACE-Complete Problems for Hierarchical Specifications (Extended Abstract). | Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi |
| 1993 | The Approximation of Maximum Subgraph Problems. | Carsten Lund, Mihalis Yannakakis |
| 1993 | Decidability of a Partial Order Based Temporal Logic. | Kamal Lodaya, P. S. Thiagarajan |
| 1993 | On the Power of Periodic Iteration of Morphisms. | Arto Lepist |
| 1993 | Optimal Bounds for the Change-Making Problem. | Dexter Kozen, Shmuel Zaks |
| 1993 | Fast Parallel Constraint Satisfaction. | Lefteris M. Kirousis |
| 1993 | On Randomized Versus Deterministic Computation. | Marek Karpinski, Rutger Verbeek |
| 1993 | What is a Universal Higher-Order Programming Language? | Ramarao Kanneganti, Robert Cartwright |
| 1993 | Polynomially Bounded Minimization Problems which are Hard to Approximate. | Viggo Kann |
| 1993 | Constructing Competitive Tours From Local Information. | Bala Kalyanasundaram, Kirk Pruhs |
| 1993 | Computational Depth and Reducibility (Extended Abstract). | David W. Juedes, James I. Lathrop, Jack H. Lutz |
| 1993 | Inclusion is Undecidable for Pattern Languages. | Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu |
| 1993 | Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report). | Lalita Jategaonkar, Albert R. Meyer |
| 1993 | A Theory of Even Functionals and Their Algorithmic Applications. | Jerzy W. Jaromczyk, Grzegorz Swiatek |
| 1993 | Extended Transition Systems for Parametric Bisimulation. | Paola Inverardi, Corrado Priami, Daniel Yankelevich |
| 1993 | New Decidability Results Concerning Two-way Counter Machines and Applications. | Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trn, Hui Wang |
| 1993 | Local Model Checking for Context-Free Processes. | Hardi Hungar, Bernhard Steffen |