| 1993 | 1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms. Franz Höfting, Egon Wanke, Aurel Balmosan, Curd Bergmann |
| 1993 | A Complexity Theoretic Approach to Incremental Computation. Sairam Sairam, Jeffrey Scott Vitter, Roberto Tamassia |
| 1993 | A Decomposition Theorem for Probabilistic Transition Systems. Oded Maler |
| 1993 | A First-Order Isomorphism Theorem. Eric Allender, José L. Balcázar, Neil Immerman |
| 1993 | A Non-Probabilistic Switching Lemma for the Sipser Function. Sorin Istrail, Dejan Zivkovic |
| 1993 | Alternation for Two-way Machines with Sublogarithmic Space. Burchard von Braunmühl |
| 1993 | Axiomatizations of Temporal Logics on Trace Systems. Wojciech Penczek |
| 1993 | Cancellation on Context-Free Languages: Enrichment by Reduction. Matthias Jantzen, Holger Petersen |
| 1993 | Capabilities and Complexity of Computations with Integer Division. Katharina Lürwer-Brüggemeier, Friedhelm Meyer auf der Heide |
| 1993 | Causal and Distributed Semantics for Concurrent Processes (Abstract). Ilaria Castellani |
| 1993 | Complement Problems and Tree Automata in AC-like Theories (Extended Abstract). Denis Lugiez, J. L. Moysset |
| 1993 | Computability Properties of Low-dimensional Dynamical Systems. Michel Cosnard, Max H. Garzon, Pascal Koiran |
| 1993 | Computing Symmetric Functions with AND/OR Circuits and a Single MAJORITY Gate. Zhi-Li Zhang, David A. Mix Barrington, Jun Tarui |
| 1993 | Counting Overlap-Free Binary Words. Julien Cassaigne |
| 1993 | Counting, Selecting, adn Sorting by Query-Bounded Machines. Albrecht Hoene, Arfst Nickelsen |
| 1993 | Decidability and Undecidability Results for Duration Calculus. Zhou Chaochen, Michael R. Hansen, Peter Sestoft |
| 1993 | Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. Philippe de Groote |
| 1993 | Defying Upward and Downward Separation. Lane A. Hemachandra, Sudhir K. Jha |
| 1993 | Deterministic Asynchronous Automata for Infinite Traces. Volker Diekert, Anca Muscholl |
| 1993 | Divide-and-Conquer Algorithms on the Hypercube. Ernst W. Mayr, Ralph Werchner |
| 1993 | Efficient Compression of Wavelet Coefficients for Smooth and Fractal-like Data. Karel Culík II, Simant Dube |
| 1993 | Efficient Sharing of Many Secrets. Carlo Blundo, Alfredo De Santis, Ugo Vaccaro |
| 1993 | Exact Algorithms for a Geometric Packing Problem (Extended Abstract). Ludek Kucera, Kurt Mehlhorn, B. Preis, Erik Schwarzenecker |
| 1993 | Extended Locally Definable Acceptance Types (Extended Abstract). Rolf Niedermeier, Peter Rossmanith |
| 1993 | Fixed-Parameter Intractability II (Extended Abstract). Karl R. Abrahamson, Rodney G. Downey, Michael R. Fellows |
| 1993 | Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs. Jordan Gergov, Christoph Meinel |
| 1993 | Gap-Definability as a Closure Property. Stephen A. Fenner, Lance Fortnow, Lide Li |
| 1993 | General Refinement and Recursion Operators for the Petri Box Calculus. Eike Best, Raymond Devillers, Javier Esparza |
| 1993 | Halting Problem of One Binary Horn Clause is Undecidable. Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier |
| 1993 | LEDA: A Library of Efficient Data Types and Algorithms. Stefan Näher |
| 1993 | Language Learning With Some Negative Information. Ganesh R. Baliga, John Case, Sanjay Jain |
| 1993 | Language Learning with a Bounded Number of Mind Changes. Steffen Lange, Thomas Zeugmann |
| 1993 | Limits on the Power of Parallel Random Access Machines with Weak Forms of Write Conflict Resolution. Faith E. Fich, Russell Impagliazzo, Bruce M. Kapron, Valerie King, Miroslaw Kutylowski |
| 1993 | Local Automata and Completion. Rosa Montalbano |
| 1993 | Locally Threshold Testable Languages of Infinite Words. Thomas Wilke |
| 1993 | Locating P/poly Optimally in the Extended Low Hierarchy. Johannes Köbler |
| 1993 | Measure, Stochasticity, and the Density of Hard Languages. Jack H. Lutz, Elvira Mayordomo |
| 1993 | Multi-List Ranking: Complexity and Applications. Anders Dessmark, Andrzej Lingas, Anil Maheshwari |
| 1993 | Multicounter Automata with Sublogarithmic Reversal Bounds. Romain Gengler |
| 1993 | On Fairness in Distributed Automated Deduction. Maria Paola Bonacina, Jieh Hsiang |
| 1993 | On O(sqrt(n))-Worst-Case-Time Solution to the Granularity Problem. Andrea Pietracaprina, Franco P. Preparata |
| 1993 | On Paths in Networks with Valves. Ulrich Huckenbeck |
| 1993 | On Syntactic Congruences for Omega-Languages. Oded Maler, Ludwig Staiger |
| 1993 | On Using Oracles That Compute Values. Stephen A. Fenner, Steven Homer, Mitsunori Ogiwara, Alan L. Selman |
| 1993 | On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages. Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trân, Hui Wang |
| 1993 | On the Logical Definability of Some Rational Trace Languages. Christian Choffrut, Leucio Guerra |
| 1993 | Parallel Algorithm for the Matrix Chain Product and the Optimal Triangulation Problems (Extended Abstract). Artur Czumaj |
| 1993 | Parallel Architectures: Design and Efficient Use. Burkhard Monien, Rainer Feldmann, Ralf Klasing, Reinhard Lüling |
| 1993 | Partially Commutative Lyndon Words. Daniel Krob, Pierre Lalonde |
| 1993 | Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages. Stefano Varricchio |
| 1993 | Precise Average Case Complexity. Rüdiger Reischuk, Christian Schindelhauer |
| 1993 | Rectilinear Path Queries in a Simple Rectilinear Polygon. Sven Schuierer |
| 1993 | Recursive Automata on Infinite Words. Ludwig Staiger |
| 1993 | STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings Patrice Enjalbert, Alain Finkel, Klaus W. Wagner |
| 1993 | Scheduling Interval Ordered Tasks in Parallel. Sivaprakasam Sunder, Xin He |
| 1993 | Separating the Lower Levels of the Sublogarithmic Space Hierarchy. Maciej Liskiewicz, Rüdiger Reischuk |
| 1993 | Solving Systems of Set Constraints using Tree Automata. Rémi Gilleron, Sophie Tison, Marc Tommasi |
| 1993 | Splittings, Robustness and Structure of Complete Sets. Harry Buhrman, Albrecht Hoene, Leen Torenvliet |
| 1993 | Structured Operational Semantics for Concurrency and Hierarchy. Andrew C. Uselton |
| 1993 | The Alternation Hierarchy for Sublogarithmic Space: An Exciting Race to STACS'93 (Editorial Note). Klaus W. Wagner |
| 1993 | The Bit Probe Complexity Measure Revisited. Peter Bro Miltersen |
| 1993 | The Complexity of Logic-Based Abduction. Thomas Eiter, Georg Gottlob |
| 1993 | The Complexity of Verifying Functional Programs. Hardi Hungar |
| 1993 | The KIV System: A Tool for Formal Program Development. Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |
| 1993 | The Limit Set of Recognizable Substitution Systems. Philippe Narbel |
| 1993 | The Program Verifier Tatzelwurm. Thomas Käufl |
| 1993 | The Synthesis Problem of Petri Nets. Jörg Desel, Wolfgang Reisig |
| 1993 | Threshold Circuits for Iterated Multiplication: Using AC0 for Free. Alexis Maciel, Denis Thérien |
| 1993 | Towards the Formal Design of Self-Stabilizing Distributed Algorithms. P. J. A. Lentfert, S. Doaitse Swierstra |
| 1993 | Transparent (Holographic) Proofs. László Babai |
| 1993 | Treewidth of Bipartite Graphs. Ton Kloks, Dieter Kratsch |
| 1993 | Weighted Closest Pairs. Michael Formann |