| 1996 | An Effective Tableau System for the Linear Time µ-Calculus. | Julian C. Bradfield, Javier Esparza, Angelika Mader |
| 1996 | Regularity for a Large Class of Context-Free Processes is Decidable. | D. J. B. Bosscher, W. O. David Griffioen |
| 1996 | On Type-2 Probabilistic Quantifiers. | Ronald V. Book, Heribert Vollmer, Klaus W. Wagner |
| 1996 | Mobile Processes with a Distributed Environment. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1996 | Fatal Errors in Conditional Expressions (Extended Abstract). | Michel Billaud |
| 1996 | Efficient Collective Communication in Optical Networks. | Jean-Claude Bermond, Luisa Gargano, Stephane Perennes, Adele A. Rescigno, Ugo Vaccaro |
| 1996 | On Capital Investment. | Yossi Azar, Yair Bartal, Esteban Feuerstein, Amos Fiat, Stefano Leonardi, Adi Rosn |
| 1996 | Efficient Asynchronous Consensus with the Value-Oblivious Adversary Scheduler. | Yonatan Aumann, Michael A. Bender |
| 1996 | Constructions and Bounds for Visual Cryptography. | Giuseppe Ateniese, Carlo Blundo, Alfredo De Santis, Douglas R. Stinson |
| 1996 | Hitting Sets Derandomize BPP. | Alexander E. Andreev, Andrea E. F. Clementi, Jos D. P. Rolim |
| 1996 | Improved Parallel Approximation of a Class of Integer Programming Programming Problems. | Noga Alon, Aravind Srinivasan |
| 1996 | Average Case Analyses of List Update Algorithms, with Applications to Data Compression. | Susanne Albers, Michael Mitzenmacher |
| 1996 | On the Power of Randomized Branching Programs. | Farid M. Ablayev, Marek Karpinski |
| 1995 | The Limit of Split_n-Language Equivalence. | Walter Vogler |
| 1995 | Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree. | Thomas Schwentick |
| 1995 | Internal Mobility and Agent-Passing Calculi. | Davide Sangiorgi |
| 1995 | Extension Orderings. | Albert Rubio |
| 1995 | Polynomial Closure and Unambiguous Product. | Jean-Eric Pin, Pascal Weil |
| 1995 | Improved Deterministic PRAM Simulation on the Mesh. | Andrea Pietracaprina, Geppino Pucci |
| 1995 | Alternation in Simple Devices. | Holger Petersen |
| 1995 | Grammar Systems: A Grammatical Approach to Distribution and Cooperation. | Gheorghe Paun |
| 1995 | How to Use the Minimal Separators of a Graph for its Chordal Triangulation. | Andreas Parra, Petra Scheffler |
| 1995 | Stochastic Graphs Have Short Memory: Fully Dynamic Connectivity in Poly-Log Expected Time. | Sotiris E. Nikoletseas, John H. Reif, Paul G. Spirakis, Moti Yung |
| 1995 | Divergence and Fair Testing. | V. Natarajan, Rance Cleaveland |
| 1995 | Computing the Closure of Sets of Words Under Partial Commutations. | Yves Mtivier, Gwnal Richomme, Pierre-Andr Wacrenier |