| 2000 | The Measurement Process in Domain Theory. | Keye Martin |
| 2000 | Wavelength Assignment Problem on All-Optical Networks with | Luciano Margara, Janos Simon |
| 2000 | Alternating the Temporal Picture for Safety. | Zohar Manna, Henny Sipma |
| 2000 | Gales and the Constructive Dimension of Individual Sequences. | Jack H. Lutz |
| 2000 | Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. | Gerald Lttgen, Michael Mendler |
| 2000 | Decidable First-Order Transition Logics for PA-Processes. | Denis Lugiez, Philippe Schnoebelen |
| 2000 | Variable Independence, Quantifier Elimination, and Constraint Representations. | Leonid Libkin |
| 2000 | Infinite Series-Parallel Posets: Logic and Languages. | Dietrich Kuske |
| 2000 | Hardness of Set Cover with Intersection 1. | V. S. Anil Kumar, Sunil Arya, H. Ramesh |
| 2000 | Efficient Verification Algorithms for One-Counter Processes. | Antonn Kucera |
| 2000 | Approximating the Independence Number and the Chromatic Number in Expected Polynominal Time. | Michael Krivelevich, Van H. Vu |
| 2000 | A Graph Rewriting Semantics for the Polyadic Calculus. | Barbara Knig |
| 2000 | Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. | Barbara Knig |
| 2000 | Quantum Communication Complexity. | Hartmut Klauck |
| 2000 | The Genomics Revolution and Its Challenges for Algorithmic Research. | Richard M. Karp |
| 2000 | On the Centralizer of a Finite Set. | Juhani Karhumki, Ion Petre |
| 2000 | Efficient Automatic Simulation of Parallel Computation on Network of Workstations. | Christos Kaklamanis, Danny Krizanc, Manuela Montangero, Pino Persiano |
| 2000 | A Polar Type System. | Trevor Jim |
| 2000 | Polynominal Time Approximation Schemes for General Multiprocessor Job Shop Scheduling. | Klaus Jansen, Lorant Porkolab |
| 2000 | Parallel Machine Scheduling Problems with Controllable Processing Times. | Klaus Jansen, Monaldo Mastrolilli |
| 2000 | Introduction: Workshop on Boolean Functions and Applications. | Juraj Hromkovic, Ingo Wegener |
| 2000 | Measures of Nondeterminism in Finite Automata. | Juraj Hromkovic, Juhani Karhumki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert |
| 2000 | A Generic Model for Diagram Syntax and Semantics. | Berthold Hoffmann, Mark Minas |
| 2000 | Worst-case Time Bounds for MAX-k-SAT with respect to the Number of Variables Using Local Search. | Edward A. Hirsch |
| 2000 | Amalgamation of Transition Sequences in the PEPA Formalism. | Jane Hillston, J. Tomasik |