| 2001 | On the Periods of Partial Words. | Arseny M. Shur, Yulia V. Konovalova |
| 2001 | A New Category for Semantics. | Dana S. Scott |
| 2001 | New Algorithms for k -SAT Based on the Local Search Principle. | Uwe Schning |
| 2001 | On the Equational Definition of the Least Prefixed Point. | Luigi Santocanale |
| 2001 | Hierarchy of Monotonically Computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2001 | Decomposition Methods and Sampling Circuits in the Cartesian Lattice. | Dana Randall |
| 2001 | On Reducibility and Symmetry of Disjoint NP-Pairs. | Pavel Pudlk |
| 2001 | Syntactic Semiring of a Language. | Libor Polk |
| 2001 | From Bidirectionality to Alternation. | Nir Piterman, Moshe Y. Vardi |
| 2001 | The Complexity of Computing the Number of Self-Avoiding Walks in Two-Dimensional Grid Graphs and in Hypercube Graphs. | Mitsunori Ogihara, Seinosuke Toda |
| 2001 | Partial Information and Special Case Algorithms. | Arfst Nickelsen |
| 2001 | Towards Regular Languages over Infinite Alphabets. | Frank Neven, Thomas Schwentick, Victor Vianu |
| 2001 | Rational Graphs Trace Context-Sensitive Languages. | Christophe Morvan, Colin Stirling |
| 2001 | Satisfiability of Systems of Equations over Finite Monoids. | Cristopher Moore, Pascal Tesson, Denis Thrien |
| 2001 | Upper Bounds on the Bisection Width of 3- and 4-Regular Graphs. | Burkhard Monien, Robert Preis |
| 2001 | Variations on a Theorem of Fine & Wilf. | Filippo Mignosi, Jeffrey O. Shallit, Ming-wei Wang |
| 2001 | Word Problems for 2-Homogeneous Monoids and Symmetric Logspace. | Markus Lohrey |
| 2001 | News from the Online Traveling Repairman. | Sven Oliver Krumke, Willem de Paepe, Diana Poensgen, Leen Stougie |
| 2001 | Complexity Note on Mixed Hypergraphs. | Daniel Krl, Jan Kratochvl, Heinz-Jrgen Voss |
| 2001 | On-Line Scheduling with Tight Deadlines. | Chiu-Yuen Koo, Tak Wah Lam, Tsuen-Wan Ngan, Kar-Keung To |
| 2001 | Checking Amalgamability Conditions for C ASL Architectural Specifications. | Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schrder, Till Mossakowski |
| 2001 | A Time Hierarchy for Bounded One-Way Cellular Automata. | Andreas Klein, Martin Kutrib |
| 2001 | Synchronizing Finite Automata on Eulerian Digraphs. | Jarkko Kari |
| 2001 | Note on Minimal Finite Automata. | Galina Jirskov |
| 2001 | Introduction to Recent Quantum Algorithms. | Peter Hyer |