| 1994 | "The Big Sweep": On the Power of the Wavefront Approach to Voronoi Diagrams. Frank K. H. A. Dehne, Rolf Klein |
| 1994 | A Comparison of Finite and Cellular Automata. Petr Kurka |
| 1994 | A Comparison of Two Lower Bound Methods for Communication Complexity. Martin Dietzfelbinger, Juraj Hromkovic, Georg Schnitger |
| 1994 | A Competitive Analysis of the List Update Problem with Lookahead. Susanne Albers |
| 1994 | A Completeness Theorem fro Nondeterministic Kleene Algebras. Rocco De Nicola, Anna Labella |
| 1994 | A Fully Abstract Semantics for Termination in Petri Nets. Robert Gold |
| 1994 | A Pi-Calculus with Explicit Substitutions: the Late Semantics. Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1994 | A Proof System for Asynchronously Communicating Deterministic Processes. Frank S. de Boer, M. van Hulst |
| 1994 | Algebraic Methods in the Compositional Analysis of Logic Programs. Fernando Orejas, Elvira Pino, Hartmut Ehrig |
| 1994 | Analysis of Bounded Disorder. Ricardo A. Baeza-Yates |
| 1994 | Approximation Algorithms for Min-k-overlap Problems Using the Principal Lattice of Partitions Approach. H. Narayanan, Subir K. Roy, Sachin B. Patkar |
| 1994 | Capturing Complexity Classes with Lindström Quantifiers. Johann A. Makowsky |
| 1994 | Combinatorial Results on the Complexity of Teaching and Learning. Tibor Hegedüs |
| 1994 | Communication Throughput of Interconnection Networks. Burkhard Monien, Ralf Diekmann, Reinhard Lüling |
| 1994 | Complexity of E0L Structural Equivalence. Kai Salomaa, Derick Wood, Sheng Yu |
| 1994 | Critical Pairs in Term Graph Rewriting. Detlef Plump |
| 1994 | Decision Problems for Edge Grammars. Jürgen Dassow |
| 1994 | Degrees and Reducibilities of Easy Tally Sets. Montserrat Hermo |
| 1994 | E-Complete Sets Do Not Have Optimal Polynomial Time Approximations. Pavol Duris, José D. P. Rolim |
| 1994 | Efficient Solving of the Word Equations in One Variable. S. Eyono Obono, Pavel Goralcik, M. N. Maksimenko |
| 1994 | Embedding Complete Binary Trees into Star Networks. Abdelmadjid Bouabdallah, Marie-Claude Heydemann, Jaroslav Opatrny, Dominique Sotteau |
| 1994 | Empty Alternation. Klaus-Jörn Lange, Klaus Reinhardt |
| 1994 | Full Abstraction for the Second Order Subset of an Algol-Like Language. Kurt Sieber |
| 1994 | Genericity and Measure for Exponential Time. Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn |
| 1994 | Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems. Dimitris J. Kavvadias, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis |
| 1994 | How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking. Marina Papatriantafilou, Philippas Tsigas |
| 1994 | Inductive Counting Below LOGSPACE. Carsten Damm, Markus Holzer |
| 1994 | Intuitive Counterexamples for Constructive Fallacies. James Lipton, Michael J. O'Donnell |
| 1994 | Longest Common Subsequences. Mike Paterson, Vlado Dancík |
| 1994 | MSO Definable Text Languages. Hendrik Jan Hoogeboom, Paulien ten Pas |
| 1994 | Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings Igor Prívara, Branislav Rovan, Peter Ruzicka |
| 1994 | May and Must Convergencey in Concurrent Lambda-Calculus. Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 1994 | Models, Languages, and Compiler Technology for High Performance Computers. Thomas Cheatham |
| 1994 | On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem. Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini |
| 1994 | On NC-Real Complexity Classes for Additive Circuits and Their Relations with NC. Michel Cosnard, Martín Matamala |
| 1994 | On Parallel Complexity of Maximum f-matching and the Degree Sequence Problem. Anders Dessmark, Andrzej Lingas, Oscar Garrido |
| 1994 | On a Sublinear Time Parallel Construction of Optimal Binary Search Trees. Marek Karpinski, Wojciech Rytter |
| 1994 | On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. Christoph Meinel, Anna Slobodová |
| 1994 | On the Minimization Prolem for Omega-Automata. Bertrand Le Saëc, Igor Litovsky |
| 1994 | On the Size of Independent Systems of Equations in Semigroups. Juhani Karhumäki, Wojciech Plandowski |
| 1994 | On-Line Scheduling of Parallel Jobs. Jirí Sgall |
| 1994 | Passive and Active Rules in Deductive Databases. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
| 1994 | Processes and Hyperuniverses. Michael Forti, Furio Honsell, Marina Lenisa |
| 1994 | Rational Rewriting. Paola Inverardi, Marisa Venturini Zilli |
| 1994 | Read-Write Causality. Corrado Priami, Daniel Yankelevich |
| 1994 | Reliable Minimum Finding Comparator Networks. Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrów |
| 1994 | Shorter Queues for Permutation Routing on Meshes. Jop F. Sibeyn, Bogdan S. Chlebus, Michael Kaufmann |
| 1994 | Solving Polynomial Fixed Point Equations. Stephen L. Bloom, Zoltán Ésik |
| 1994 | Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. Gwénaël Richomme |
| 1994 | Stable Bistructure Models of PCF. Glynn Winskel |
| 1994 | The Combinatorial Complexity of a Finite String. Felix Frayman, Valery Kanevsky, Walter W. Kirchherr |
| 1994 | The Finest Homophonic Partition and Related Code Concepts. Andreas Weber, Tom Head |
| 1994 | The Relationship Between Gossiping in Vertex-Disjoint Paths Mode and Bisection Width. Ralf Klasing |
| 1994 | Towards DNA Sequencing Chips. Pavel A. Pevzner, Robert J. Lipshutz |
| 1994 | Two Lower Bounds on Distributive Generation of Languages. Juraj Hromkovic, Jarkko Kari, Lila Kari, Dana Pardubská |