| 1994 | A Non-Iterative Electronic Cash System. Giovanni Di Crescenzo |
| 1994 | A Unified Scheme for Routing in Expander Based Networks. Shimon Even, Ami Litman |
| 1994 | Advances in Graph Drawing. Ashim Garg, Roberto Tamassia |
| 1994 | Algorithms and Complexity, Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994, Proceedings Maurizio A. Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi |
| 1994 | Dynamization of Backtrack-Free Search for the Constraint Satisfaction Problem. Daniele Frigioni, Alberto Marchetti-Spaccamela, Umberto Nanni |
| 1994 | Efficient Reorganization of Binary Search Trees. Micha Hofri, Hadas Shachnai |
| 1994 | Graph Theory and Interactive Protocols for Reachability Problems on Finite Cellular Automata. Andrea Clementi, Russell Impagliazzo |
| 1994 | Learning Behaviors of Automata from Multiplicity and Equivalence Queries. Francesco Bergadano, Stefano Varricchio |
| 1994 | Lower Bounds for Merging on the Hypercube. Christine Rüb |
| 1994 | Measures of Boolean Function Complexity Based on Harmonic Analysis. Anna Bernasconi, Bruno Codenotti |
| 1994 | New Local Search Approximation Techniques for Maximum Generalized Satisfiability Problems. Paola Alimonti |
| 1994 | On Self-Reducible Sets of Low Information Content. Martin Mundhenk |
| 1994 | On Set Equality-Testing. Tak Wah Lam, Ka Hing Lee |
| 1994 | On a Parallel-Algorithms Method for String Matching Problems. Süleyman Cenk Sahinalp, Uzi Vishkin |
| 1994 | On the Complexity of Some Reachability Problems. Angelo Monti, Alessandro Roncato |
| 1994 | On the Intellectual Terrain Around NP. Juris Hartmanis, Suresh Chari |
| 1994 | Parallel Pruning Decomposition (PDS) and Biconnected Components of Graphs. Eliezer Dekel, Jie Hu |
| 1994 | Some Open Problems in Approximation. Mihalis Yannakakis |
| 1994 | Time-Message Trade-Offs for the Weak Unison Problem. Amos Israeli, Evangelos Kranakis, Danny Krizanc, Nicola Santoro |