| 2001 | The Complexity of Tensor Circuit Evaluation. | Martin Beaudry, Markus Holzer |
| 2001 | Analysis Problems for Sequential Dynamical Systems and Communicating State Machines. | Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns |
| 2001 | Improved Bounds on the Weak Pigeonhole Principle and Infinitely Many Primes from Weaker Axioms. | Albert Atserias |
| 2001 | Exact Results for Accepting Probabilities of Quantum Automata. | Andris Ambainis, Arnolds Kikusts |
| 2001 | The Computational Power of a Family of Decision Forests. | Kazuyuki Amano, Tsukuru Hirosawa, Yusuke Watanabe, Akira Maruoka |
| 2001 | Refined Search Tree Technique for DOMINATING SET on Planar Graphs. | Jochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Frances A. Rosamond, Ulrike Stege |
| 2000 | On the Use of Duality and Geometry in Layouts for ATM Networks. | Shmuel Zaks |
| 2000 | An Automata-Based Recognition Algorithm for Semi-extended Regular Expressions. | Hiroaki Yamamoto |
| 2000 | Sublinear Ambiguity. | Klaus Wich |
| 2000 | Regularity of Congruential Graphs. | Tanguy Urvoy |
| 2000 | Abstract Syntax and Variable Binding for Linear Binders. | Miki Tanaka |
| 2000 | On Diving in Trees. | Thomas Schwentick |
| 2000 | A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism. | Petr Savick, Detlef Sieling |
| 2000 | Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems. | Steffen Reith, Heribert Vollmer |
| 2000 | Why so Many Temporal Logics Climb up the Trees? | Alexander Moshe Rabinovich, Shahar Maoz |
| 2000 | Binary Decision Diagrams by Shard Rewriting. | Jaco van de Pol, Hans Zantema |
| 2000 | Unary Pushdown Automata and Auxiliary Space Lower Bounds. | Giovanni Pighizzini |
| 2000 | Separation Results for Rebound Automata. | Holger Petersen |
| 2000 | Informative Labeling Schemes for Graphs. | David Peleg |
| 2000 | Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL. | Leonor Prensa Nieto, Javier Esparza |
| 2000 | Derivability in Locally Quantified Modal Logics via Translation in Set Theory. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | pi-Calculus, Structured Coalgebras, and Minimal HD-Automata. | Ugo Montanari, Marco Pistore |
| 2000 | Bilinear Functions and Trees over the (max, +) Semiring. | Sabrina Mantaci, Vincent D. Blondel, Jean Mairesse |
| 2000 | Automatic Graphs and Graph | Olivier Ly |
| 2000 | On a Generalization of Bi-Complement Reducible Graphs. | Vadim V. Lozin |