| 1994 | A Hierarchy of Temporal Logics with Past (Extended Abstract). François Laroussinie, Philippe Schnoebelen |
| 1994 | A New Approach To Information Theory. Richard J. Lipton |
| 1994 | A New Parallel Vector Model, with Exact Characterization of NC^k. Kenneth W. Regan |
| 1994 | A Simple Optimal Parallel Algorithm for Reporting Paths in a Tree. Anil Maheshwari, Andrzej Lingas |
| 1994 | A Topology for Complete Semirings. Georg Karner |
| 1994 | A Unifying Type-Theoretic Framework for Objects. Martin Hofmann, Benjamin C. Pierce |
| 1994 | About Changing the Ordering During Knuth-Bendix Completion. Andrea Sattler-Klein |
| 1994 | Are Parallel Machines Always Faster than Sequential Machines? (Preliminary Version). Louis Mak |
| 1994 | Automaticity: Properties of a Measure of Descriptional Complexity. Jeffrey O. Shallit, Yuri Breitbart |
| 1994 | Coding with Traces. Véronique Bruyère, Clelia De Felice, Giovanna Guaiana |
| 1994 | Combination of Matching Algorithms. Christophe Ringeissen |
| 1994 | Complexity Classes with Finite Acceptance Types. Ulrich Hertrampf |
| 1994 | Cook Versus Karp-Levin: Separating Completeness Notions if NP Is not Small (Extended Abstract). Jack H. Lutz, Elvira Mayordomo |
| 1994 | Decidability Questions for Bismilarity of Petri Nets and Some Related Problems. Petr Jancar |
| 1994 | Deterministic 1-k Routing on Meshes. Jop F. Sibeyn, Michael Kaufmann |
| 1994 | Dominating Cliques in Graphs with Hypertree Structures. Feodor F. Dragan, Andreas Brandstädt |
| 1994 | Economy of Description for Single-valued Transducers. Andreas Weber, Reinhard Klemm |
| 1994 | Efficient Parallel Algorithms for Geometric k-Clustering Problems. Amitava Datta |
| 1994 | Faster Sorting and Routing on Grids with Diagonals. Manfred Kunde, Rolf Niedermeier, Peter Rossmanith |
| 1994 | Finding All Minimal Separators of a Graph. Ton Kloks, Dieter Kratsch |
| 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 | Ground Reducibility and Automata with Disequality Constraints. Hubert Comon, Florent Jacquemard |
| 1994 | Hypertransition Systems. André Arnold |
| 1994 | Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas |
| 1994 | NC^k(NP) = AC^(k-1)(NP). Mitsunori Ogiwara |
| 1994 | Nondeterminism in Patterns. Alexandru Mateescu, Arto Salomaa |
| 1994 | On Adaptive Dlogtime and Polylogtime Reductions (Extended Abstract). Carme Àlvarez, Birgit Jenner |
| 1994 | On Codes Having no Finite Completion. Nguyen Huong Lam |
| 1994 | On Different Reducibility Notions for Function Classes. Heribert Vollmer |
| 1994 | On Sets Bounded Truth-Table Reducible to P-selective Sets. Thomas Thierauf, Seinosuke Toda, Osamu Watanabe |
| 1994 | On Vertex Ranking for Permutations and Other Graphs. Jitender S. Deogun, Ton Kloks, Dieter Kratsch, Haiko Müller |
| 1994 | On Voronoi Diagrams in the L_p-Metric in Higher Dimensions. Ngoc-Minh Lê |
| 1994 | On the Acceptance Power of Regular Languages. Bernd Borchert |
| 1994 | On the Approximability of Finding Maximum Feasible Subsystems of Linear Systems. Edoardo Amaldi, Viggo Kann |
| 1994 | On the Complexity of the Maximum Cut Problem. Hans L. Bodlaender, Klaus Jansen |
| 1994 | On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract). Yves Métivier, Gwénaël Richomme |
| 1994 | On the Structure of Parameterized Problems in NP (Extended Abstract). Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows |
| 1994 | One Binary Horn Clause is Enough. Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz |
| 1994 | Operational Specifications with Built-Ins. Jürgen Avenhaus, Klaus Becker |
| 1994 | Optimal Parallelization of Las Vegas Algorithms. Michael Luby, Wolfgang Ertel |
| 1994 | Optimal Pattern Matching on Meshes. Bogdan S. Chlebus, Leszek Gasieniec |
| 1994 | Parallel Detection of all Palindromes in a String. Alberto Apostolico, Dany Breslauer, Zvi Galil |
| 1994 | Periodic Constant Depth Sorting Networks. Marcin Kik, Miroslaw Kutylowski, Grzegorz Stachowiak |
| 1994 | Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems. Zurab Khasidashvili |
| 1994 | Quasilinear Time Complexity Theory. Ashish V. Naik, Kenneth W. Regan, D. Sivakumar |
| 1994 | Reachability and the Power of Local Ordering. Kousha Etessami, Neil Immerman |
| 1994 | Reactive Variables for System Specification and Design. E. Pascal Gribomont, Jacques Hagelstein |
| 1994 | STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner |
| 1994 | Space-Efficient Deterministic Simulation of Probabilistic Automata (Extended Abstract). Ioan I. Macarie |
| 1994 | The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite. Burchard von Braunmühl, Romain Gengler, Robert Rettinger |
| 1994 | The Ambiguity of Primitive Words. Holger Petersen |
| 1994 | The Complete Axiomatization of Cs-congruence. Joachim Parrow, Peter Sjödin |
| 1994 | The Complexity of Resource-Bounded First-Order Classical Logic. Jean Goubault |
| 1994 | The Global Power of Additional Queries to Random Oracles. Ronald V. Book, Jack H. Lutz, David M. Martin Jr. |
| 1994 | The Nature and Meaning of Perturbations in Geometric Computing. Raimund Seidel |
| 1994 | The Variable Membership Problem: Succinctness Versus Complexity. Gerhard Buntrock, Krzysztof Lorys |
| 1994 | Total Protection of Analytic Invariant Information in Cross Tabulated Tables. Ming-Yang Kao |
| 1994 | Towards a Theory of Recursive Structures. David Harel |
| 1994 | Transforming Constraint Logic Programs. Nacéra Bensaou, Irène Guessarian |
| 1994 | Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. Vincent van Oostrom, Erik P. de Vink |
| 1994 | Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. Belaid Benhamou, Lakhdar Sais, Pierre Siegel |
| 1994 | Two Refinements of the Polynomial Hierarcht. Victor L. Selivanov |
| 1994 | Upper Bounds for the Expected Length of a Longest Common Subsequence of Two Binary Sequences. Vlado Dancík, Mike Paterson |
| 1994 | q-Grammars: Results, Implementation. Maylis Delest, Jean-Philippe Dubernard |