| 1993 | The Program Verifier Tatzelwurm. | Thomas Kufl |
| 1993 | Cancellation on Context-Free Languages: Enrichment by Reduction. | Matthias Jantzen, Holger Petersen |
| 1993 | A Non-Probabilistic Switching Lemma for the Sipser Function. | Sorin Istrail, Dejan Zivkovic |
| 1993 | On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages. | Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trn, Hui Wang |
| 1993 | The Complexity of Verifying Functional Programs. | Hardi Hungar |
| 1993 | On Paths in Networks with Valves. | Ulrich Huckenbeck |
| 1993 | 1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms. | Franz Hfting, Egon Wanke, Aurel Balmosan, Curd Bergmann |
| 1993 | Counting, Selecting, adn Sorting by Query-Bounded Machines. | Albrecht Hoene, Arfst Nickelsen |
| 1993 | Defying Upward and Downward Separation. | Lane A. Hemachandra, Sudhir K. Jha |
| 1993 | Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. | Philippe de Groote |
| 1993 | Solving Systems of Set Constraints using Tree Automata. | Rmi Gilleron, Sophie Tison, Marc Tommasi |
| 1993 | Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs. | Jordan Gergov, Christoph Meinel |
| 1993 | Multicounter Automata with Sublogarithmic Reversal Bounds. | Romain Gengler |
| 1993 | Weighted Closest Pairs. | Michael Formann |
| 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 | On Using Oracles That Compute Values. | Stephen A. Fenner, Steven Homer, Mitsunori Ogiwara, Alan L. Selman |
| 1993 | Gap-Definability as a Closure Property. | Stephen A. Fenner, Lance Fortnow, Lide Li |
| 1993 | The Complexity of Logic-Based Abduction. | Thomas Eiter, Georg Gottlob |
| 1993 | The KIV System: A Tool for Formal Program Development. | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |
| 1993 | Deterministic Asynchronous Automata for Infinite Traces. | Volker Diekert, Anca Muscholl |
| 1993 | Halting Problem of One Binary Horn Clause is Undecidable. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier |
| 1993 | Multi-List Ranking: Complexity and Applications. | Anders Dessmark, Andrzej Lingas, Anil Maheshwari |
| 1993 | The Synthesis Problem of Petri Nets. | Jrg Desel, Wolfgang Reisig |
| 1993 | Parallel Algorithm for the Matrix Chain Product and the Optimal Triangulation Problems (Extended Abstract). | Artur Czumaj |
| 1993 | Efficient Compression of Wavelet Coefficients for Smooth and Fractal-like Data. | Karel Culk II, Simant Dube |