| 2002 | Parameterized Counting Problems. | Catherine McCartin |
| 2002 | On Verifying Fair Lossy Channel Systems. | Benot Masson, Philippe Schnoebelen |
| 2002 | The Complexity of Tree Multicolorings. | Dniel Marx |
| 2002 | Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. | Fabio Martinelli |
| 2002 | Unit Testing for CASL Architectural Specifications. | Patrcia D. L. Machado, Donald Sannella |
| 2002 | On the Problem of Scheduling Flows on Distributed Networks. | Thomas Lcking, Burkhard Monien, Manuel Rode |
| 2002 | Hypothesis-Founded Semantics for Datalog Programs with Negation. | Yann Loyer, Nicolas Spyratos |
| 2002 | Derivation of Rational Expressions with Multiplicity. | Sylvain Lombardy, Jacques Sakarovitch |
| 2002 | Efficient Algorithms for Locating the Length-Constrained Heaviest Segments, with Applications to Biomolecular Sequence Analysis. | Yaw-Ling Lin, Tao Jiang, Kun-Mao Chao |
| 2002 | An Improved Algorithm for the Membership Problem for Extended Regular Expressions. | Orna Kupferman, Sharon Zuhovitzky |
| 2002 | On the Complexity of Semantic Equivalences for Pushdown Automata and BPA. | Antonn Kucera, Richard Mayr |
| 2002 | Unification Modulo Associativity and Idempotency Is NP-complete. | Ondrej Klma |
| 2002 | Approximability of the Minimum Bisection Problem: An Algorithmic Challenge. | Marek Karpinski |
| 2002 | Applications of Finite Automata. | Juhani Karhumki |
| 2002 | Optimal Free Binary Decision Diagrams for Computation of EAR | Jan Kra, Daniel Krl |
| 2002 | Improved Parameterized Algorithms for Planar Dominating Set. | Iyad A. Kanj, Ljubomir Perkovic |
| 2002 | An Optimal Lower Bound for Resolution with 2-Conjunctions. | Jan Johannsen, N. S. Narayanaswamy |
| 2002 | On a Mereological System for Relational Software Specifications. | Ryszard Janicki |
| 2002 | Computational Complexity in the Hyperbolic Plane. | Chuzo Iwamoto, Takeshi Andou, Kenichi Morita, Katsunobu Imai |
| 2002 | An Explicit Lower Bound of 5n - o(n) for Boolean Circuits. | Kazuo Iwama, Hiroki Morizumi |
| 2002 | Space-Economical Construction of Index Structures for All Suffixes of a String. | Shunsuke Inenaga, Ayumi Shinohara, Masayuki Takeda, Hideo Bannai, Setsuo Arikawa |
| 2002 | Algorithms for Computing Small NFAs. | Lucian Ilie, Sheng Yu |
| 2002 | Computing Partial Information out of Intractable One - The First Digit of 2 | Mika Hirvensalo, Juhani Karhumki |
| 2002 | Subgraph Isomorphism, log-Bounded Fragmentation and Graphs of (Locally) Bounded Treewidth. | Mohammad Taghi Hajiaghayi, Naomi Nishimura |
| 2002 | Evolutive Tandem Repeats Using Hamming Distance. | Richard Groult, Martine Lonard, Laurent Mouchard |