| 1994 | Liveness in Timed and Untimed Systems. | Rainer Gawlick, Roberto Segala, Jrgen F. Sgaard-Andersen, Nancy A. Lynch |
| 1994 | Multiway Cuts in Directed and Node Weighted Graphs. | Naveen Garg, Vijay V. Vazirani, Mihalis Yannakakis |
| 1994 | Lower Space Bounds for Randomized Computation. | Rusins Freivalds, Marek Karpinski |
| 1994 | Reasoning about Programs by Exploiting the Environment. | Limor Fix, Fred B. Schneider |
| 1994 | Valuations and Unambiguity of Languages, with Applications to Fractal Geometry. | Henning Fernau, Ludwig Staiger |
| 1994 | A Fast Randomized LOGSPACE Algorithm for Graph Connectivity. | Uriel Feige |
| 1994 | A KLeene Theorem for Recognizable Languages over Concurrency Monoids. | Manfred Droste |
| 1994 | Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi. | Roberto Di Cosmo, Delia Kesner |
| 1994 | Distribution and Locality of Concurrent Systems. | Flavio Corradini, Rocco De Nicola |
| 1994 | Deciding Properties of Integral Relational Automata. | Karlis Cerans |
| 1994 | Pumping, Cleaning and Symbolic Constraints Solving. | Anne-Ccile Caron, Hubert Comon, Jean-Luc Coquid, Max Dauchet, Florent Jacquemard |
| 1994 | On the Cutting Edge of Relativization: The Resource Bounded Injury Method. | Harry Buhrman, Leen Torenvliet |
| 1994 | Generalized Finiteness Conditions of Labelled Transition Systems. | Franck van Breugel |
| 1994 | A Model of Intuitionistic Affine Logic From Stable Domain Theory. | Torben Braner |
| 1994 | A Tight Lower Bound for Primitivity in k-Structures. | Paola Bonizzoni |
| 1994 | Randomness in Distributed Protocols. | Carlo Blundo, Alfredo De Santis, Ugo Vaccaro |
| 1994 | PSPACE-Completeness of Certain Algorithmic Problems on the Subgroups of Free Groups. | Jean-Camille Birget, Stuart W. Margolis, John C. Meakin, Pascal Weil |
| 1994 | Equivalences for Fair Kripke Structures. | Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | On the Cost of Recomputing: Tight Bounds on Pebbling with Faults. | Yonatan Aumann, Judit Bar-Ilan, Uriel Feige |
| 1994 | On some Relations between Dynamical Systems and Transition Systems. | Eugene Asarin, Oded Maler |
| 1994 | Optimal Two-Dimensional Compressed Matching. | Amihood Amir, Gary Benson, Martin Farach |
| 1994 | Undecidable Verification Problems for Programs with Unreliable Channels. | Parosh Aziz Abdulla, Bengt Jonsson |
| 1993 | Reversal-Space Trade-offs For Simultaneous Resource-Bounded Nondeterministic Turing Machines. | Hiroaki Yamamoto |
| 1993 | Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability. | Thomas Wilke |
| 1993 | Timed Testing of Concurrent Systems. | Walter Vogler |