| 1994 | Cook Versus Karp-Levin: Separating Completeness Notions if NP Is not Small (Extended Abstract). | Jack H. Lutz, Elvira Mayordomo |
| 1994 | Optimal Parallelization of Las Vegas Algorithms. | Michael Luby, Wolfgang Ertel |
| 1994 | A New Approach To Information Theory. | Richard J. Lipton |
| 1994 | On Voronoi Diagrams in the L_p-Metric in Higher Dimensions. | Ngoc-Minh L |
| 1994 | A Hierarchy of Temporal Logics with Past (Extended Abstract). | Franois Laroussinie, Philippe Schnoebelen |
| 1994 | On Codes Having no Finite Completion. | Nguyen Huong Lam |
| 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 | Periodic Constant Depth Sorting Networks. | Marcin Kik, Miroslaw Kutylowski, Grzegorz Stachowiak |
| 1994 | Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems. | Zurab Khasidashvili |
| 1994 | A Topology for Complete Semirings. | Georg Karner |
| 1994 | Total Protection of Analytic Invariant Information in Cross Tabulated Tables. | Ming-Yang Kao |
| 1994 | Decidability Questions for Bismilarity of Petri Nets and Some Related Problems. | Petr Jancar |
| 1994 | A Unifying Type-Theoretic Framework for Objects. | Martin Hofmann, Benjamin C. Pierce |
| 1994 | Complexity Classes with Finite Acceptance Types. | Ulrich Hertrampf |
| 1994 | Towards a Theory of Recursive Structures. | David Harel |
| 1994 | Reactive Variables for System Specification and Design. | E. Pascal Gribomont, Jacques Hagelstein |
| 1994 | The Complexity of Resource-Bounded First-Order Classical Logic. | Jean Goubault |
| 1994 | Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. | Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas |
| 1994 | Reachability and the Power of Local Ordering. | Kousha Etessami, Neil Immerman |
| 1994 | Dominating Cliques in Graphs with Hypertree Structures. | Feodor F. Dragan, Andreas Brandstdt |
| 1994 | One Binary Horn Clause is Enough. | Philippe Devienne, Patrick Lebgue, Jean-Christophe Routier, Jrg Wrtz |
| 1994 | On Vertex Ranking for Permutations and Other Graphs. | Jitender S. Deogun, Ton Kloks, Dieter Kratsch, Haiko Mller |
| 1994 | q-Grammars: Results, Implementation. | Maylis Delest, Jean-Philippe Dubernard |
| 1994 | Efficient Parallel Algorithms for Geometric k-Clustering Problems. | Amitava Datta |