| 2002 | Equivariant Syntax and Semantics. | Andrew M. Pitts |
| 2002 | A Faster All-Pairs Shortest Path Algorithm for Real-Weighted Sparse Graphs. | Seth Pettie |
| 2002 | Hyperbolic Recognition by Graph Automata. | Christophe Papazian, Eric Rmila |
| 2002 | One-Probe Search. | Anna stlin, Rasmus Pagh |
| 2002 | Games Characterizing Levy-Longo Trees. | C.-H. Luke Ong, Pietro Di Gianantonio |
| 2002 | The Quest for Small Universal Cellular Automata. | Nicolas Ollinger |
| 2002 | The Communication Complexity of Approximate Set Packing and Covering. | Noam Nisan |
| 2002 | A Total Approach to Partial Algebraic Specification. | Jos Meseguer, Grigore Rosu |
| 2002 | The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences. | Wolfgang Merkle |
| 2002 | Measuring the Probabilistic Powerdomain. | Keye Martin, Michael W. Mislove, James Worrell |
| 2002 | Towards a Predictive Computational Complexity Theory. | Madhav V. Marathe |
| 2002 | Local and Global Methods in Data Mining: Basic Techniques and Open Problems. | Heikki Mannila |
| 2002 | Discrete Tomography: Reconstruction under Periodicity Constraints. | Alberto Del Lungo, Andrea Frosini, Maurice Nivat, Laurent Vuillon |
| 2002 | On the Construction of Reversible Automata for Reversible Languages. | Sylvain Lombardy |
| 2002 | Axiomatising Divergence. | Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns |
| 2002 | Circular Arrangements. | Vincenzo Liberatore |
| 2002 | On the Theory of One-Step Rewriting in Trace Monoids. | Dietrich Kuske, Markus Lohrey |
| 2002 | Improved Results for Stackelberg Scheduling Strategies. | V. S. Anil Kumar, Madhav V. Marathe |
| 2002 | Efficient Testing of Hypergraphs. | Yoshiharu Kohayakawa, Brendan Nagle, Vojtech Rdl |
| 2002 | Bialgebraic Modelling of Timed Processes. | Marco Kick |
| 2002 | Cryptographic Hardness Based on the Decoding of Reed-Solomon Codes. | Aggelos Kiayias, Moti Yung |
| 2002 | Control Message Aggregation in Group Communication Protocols. | Sanjeev Khanna, Joseph Naor, Danny Raz |
| 2002 | The Equivalence Problem of Finite Substitutions on ab | Juhani Karhumki, Leonid P. Lisovik |
| 2002 | Church-Rosser Languages vs. UCFL. | Tomasz Jurdzinski, Krzysztof Lorys |
| 2002 | Paths Problems in Symmetric Logarithmic Space. | Andreas Jakoby, Maciej Liskiewicz |