| 1994 | Reliable Minimum Finding Comparator Networks. | Piotr Denejko, Krzysztof Diks, Andrzej Pelc, Marek Piotrw |
| 1994 | "The Big Sweep": On the Power of the Wavefront Approach to Voronoi Diagrams. | Frank K. H. A. Dehne, Rolf Klein |
| 1994 | Decision Problems for Edge Grammars. | Jrgen Dassow |
| 1994 | Inductive Counting Below LOGSPACE. | Carsten Damm, Markus Holzer |
| 1994 | On NC-Real Complexity Classes for Additive Circuits and Their Relations with NC. | Michel Cosnard, Martn Matamala |
| 1994 | Models, Languages, and Compiler Technology for High Performance Computers. | Thomas Cheatham |
| 1994 | Embedding Complete Binary Trees into Star Networks. | Abdelmadjid Bouabdallah, Marie-Claude Heydemann, Jaroslav Opatrny, Dominique Sotteau |
| 1994 | A Proof System for Asynchronously Communicating Deterministic Processes. | Frank S. de Boer, M. van Hulst |
| 1994 | Solving Polynomial Fixed Point Equations. | Stephen L. Bloom, Zoltn sik |
| 1994 | On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem. | Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini |
| 1994 | Analysis of Bounded Disorder. | Ricardo A. Baeza-Yates |
| 1994 | Genericity and Measure for Exponential Time. | Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn |
| 1994 | Passive and Active Rules in Deductive Databases. | Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
| 1994 | May and Must Convergencey in Concurrent Lambda-Calculus. | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro |
| 1994 | A Competitive Analysis of the List Update Problem with Lookahead. | Susanne Albers |
| 1993 | Analytic Tableaux for Finite and Infinite Post Logics. | Nicolas Zabel |
| 1993 | Learning Decision Lists from Noisy Examples. | Jilei Yin, Hong Zhu |
| 1993 | Paths and Cycles in Finite Periodic Graphs. | Egon Wanke |
| 1993 | Between Min Cut and Graph Bisection. | Dorothea Wagner, Frank Wagner |
| 1993 | A Taste of Linear Logic. | Philip Wadler |
| 1993 | Feature Constraints with First-Class Features. | Ralf Treinen |
| 1993 | Variable Substitution with Iconic Combinators. | David Stevens |
| 1993 | A Calculus for Higher Order Procedures with Global Variables. | Werner Stephan, Andreas Wolpers |
| 1993 | Deciding Testing Equivalence for Real-Time Processes with Dense Time. | Bernhard Steffen, Carsten Weise |
| 1993 | Real-Time Refinement: Semantics and Application. | David Scholefield, Hussein S. M. Zedan, Jifeng He |