| 1994 | Upper Bounds for the Expected Length of a Longest Common Subsequence of Two Binary Sequences. | Vlado Danck, Mike Paterson |
| 1994 | Ground Reducibility and Automata with Disequality Constraints. | Hubert Comon, Florent Jacquemard |
| 1994 | Optimal Pattern Matching on Meshes. | Bogdan S. Chlebus, Leszek Gasieniec |
| 1994 | On the Structure of Parameterized Problems in NP (Extended Abstract). | Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
| 1994 | The Variable Membership Problem: Succinctness Versus Complexity. | Gerhard Buntrock, Krzysztof Lorys |
| 1994 | Coding with Traces. | Vronique Bruyre, Clelia de Felice, Giovanna Guaiana |
| 1994 | The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite. | Burchard von Braunmhl, Romain Gengler, Robert Rettinger |
| 1994 | On the Acceptance Power of Regular Languages. | Bernd Borchert |
| 1994 | The Global Power of Additional Queries to Random Oracles. | Ronald V. Book, Jack H. Lutz, David M. Martin Jr. |
| 1994 | On the Complexity of the Maximum Cut Problem. | Hans L. Bodlaender, Klaus Jansen |
| 1994 | Transforming Constraint Logic Programs. | Nacra Bensaou, Irne Guessarian |
| 1994 | Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. | Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
| 1994 | Operational Specifications with Built-Ins. | Jrgen Avenhaus, Klaus Becker |
| 1994 | Hypertransition Systems. | Andr Arnold |
| 1994 | Finding Minimal Generalizations for Unions of Pattern Languages and Its Application to Inductive Inference from Positive Data. | Hiroki Arimura, Takeshi Shinohara, Setsuko Otsuki |
| 1994 | Parallel Detection of all Palindromes in a String. | Alberto Apostolico, Dany Breslauer, Zvi Galil |
| 1994 | On the Approximability of Finding Maximum Feasible Subsystems of Linear Systems. | Edoardo Amaldi, Viggo Kann |
| 1994 | On Adaptive Dlogtime and Polylogtime Reductions (Extended Abstract). | Carme lvarez, Birgit Jenner |
| 1993 | Computing Symmetric Functions with AND/OR Circuits and a Single MAJORITY Gate. | Zhi-Li Zhang, David A. Mix Barrington, Jun Tarui |
| 1993 | Locally Threshold Testable Languages of Infinite Words. | Thomas Wilke |
| 1993 | The Alternation Hierarchy for Sublogarithmic Space: An Exciting Race to STACS'93 (Editorial Note). | Klaus W. Wagner |
| 1993 | Polynomial Time Algorithm for the Equivalence of two Morphisms on Omega-Regular Languages. | Stefano Varricchio |
| 1993 | Structured Operational Semantics for Concurrency and Hierarchy. | Andrew C. Uselton |
| 1993 | Scheduling Interval Ordered Tasks in Parallel. | Sivaprakasam Sunder, Xin He |
| 1993 | Recursive Automata on Infinite Words. | Ludwig Staiger |