| 2002 | On the Computational Power of Boolean Decision Lists. | Matthias Krause |
| 2002 | Labeling Schemes for Dynamic Tree Networks. | Amos Korman, David Peleg, Yoav Rodeh |
| 2002 | The Complexity of Graph Isomorphism for Colored Graphs with Color Classes of Size 2 and 3. | Johannes Kbler, Jacobo Torn |
| 2002 | On Quantum and Approximate Privacy. | Hartmut Klauck |
| 2002 | EXPSPACE-Complete Variant of Guarded Fragment with Transitivity. | Emanuel Kieronski |
| 2002 | Approximate Strong Separation with Application in Fractional Graph Coloring and Preemptive Scheduling. | Klaus Jansen |
| 2002 | Improved Quantum Communication Complexity Bounds for Disjointness and Equality. | Peter Hyer, Ronald de Wolf |
| 2002 | A Probabilistic 3-SAT Algorithm Further Improved. | Thomas Hofmeister, Uwe Schning, Rainer Schuler, Osamu Watanabe |
| 2002 | Learnability and Definability in Trees and Similar Structures. | Martin Grohe, Gyrgy Turn |
| 2002 | Complexity of Semi-algebraic Proofs. | Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik |
| 2002 | On Quantum Versions of the Yao Principle. | Mart de Graaf, Ronald de Wolf |
| 2002 | A New Diagram from Disks in the Plane. | Joachim Giesen, Matthias John |
| 2002 | Generalized Model-Checking over Locally Tree-Decomposable Classes. | Markus Frick |
| 2002 | A Space Lower Bound for Routing in Trees. | Pierre Fraigniaud, Cyril Gavoille |
| 2002 | Describing Parameterized Complexity Classes. | Jrg Flum, Martin Grohe |
| 2002 | On the Parameterized Intractability of CLOSEST SUBSTRINGsize and Related Problems. | Michael R. Fellows, Jens Gramm, Rolf Niedermeier |
| 2002 | On Dualization in Products of Forests. | Khaled M. Elbassioni |
| 2002 | Timed Control Synthesis for External Specifications. | Deepak D'Souza, P. Madhusudan |
| 2002 | What Is a Theory? | Gilles Dowek |
| 2002 | Balanced Coloring: Equally Easy for All Numbers of Colors? | Benjamin Doerr |
| 2002 | Hyper-Encryption and Everlasting Security. | Yan Zong Ding, Michael O. Rabin |
| 2002 | Existential and Positive Theories of Equations in Graph Products. | Volker Diekert, Markus Lohrey |
| 2002 | A Parametric Analysis of the State Explosion Problem in Model Checking. | Stphane Demri, Franois Laroussinie, Philippe Schnoebelen |
| 2002 | Complexity of Multi-dimensional Loop Alignment. | Alain Darte, Guillaume Huard |
| 2002 | Approximations for ATSP with Parametrized Triangle Inequality. | L. Sunil Chandran, L. Shankar Ram |