| 2000 | A Fully Dynamic Algorithm for Distributed Shortest Paths. Serafino Cicerone, Gabriele Di Stefano, Daniele Frigioni, Umberto Nanni |
| 2000 | A Theory of Operational Equivalence for Interaction Nets. Maribel Fernández, Ian Mackie |
| 2000 | A Unifying Framework for the Analysis of a Class of Euclidean Algorithms. Brigitte Vallée |
| 2000 | Algorithmic Aspects of Regularity. Yoshiharu Kohayakawa, Vojtech Rödl |
| 2000 | Almost Valentine Kabanets |
| 2000 | Analysis of Edge Deletion Processes on Faulty Random Regular Graphs. Andreas Goerdt, Michael Molloy |
| 2000 | Approximation Algorithms for Flexible Job Shop Problems. Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-Oba |
| 2000 | Average-Case Analysis of Retangle Packings. Edward G. Coffman Jr., George S. Lueker, Joel Spencer, Peter M. Winkler |
| 2000 | Combinatorics of Geometrically Distributed Random Variables: Lenght of Ascending Runs. Helmut Prodinger |
| 2000 | Communication Complexity and Fourier Coefficients of the Diffie-Hellman Key. Igor E. Shparlinski |
| 2000 | Cube Packing. Flávio Keidi Miyazawa, Yoshiko Wakabayashi |
| 2000 | Determining the Optimal Contrast for Secret Sharing Schemes in Visual Cryptography. Matthias Krause, Hans Ulrich Simon |
| 2000 | Edge Colouring Reduced Indifference Graphs. Celina M. H. de Figueiredo, Célia Picinin de Mello, Carmen Ortiz |
| 2000 | Emerging Behavior as Binary Search Trees Are Symmetrically Updated. Stephen Taylor |
| 2000 | Equations in Free Semigroups with Anti-involution and Their Relation to Equations in Free Groups. Claudio Gutierrez |
| 2000 | Equivalent Conditions for Regularity (Extended Abstract). Yoshiharu Kohayakawa, Vojtech Rödl, Jozef Skokan |
| 2000 | Finding Skew Partitions Efficiently. Celina M. H. de Figueiredo, Sulamita Klein, Yoshiharu Kohayakawa, Bruce A. Reed |
| 2000 | From Semantics to Spatial Distribution. Luis R. Sierra Abbate, Pedro R. D'Argenio, Juan V. Echagüe |
| 2000 | Generalized Covariances of Multi-dimensional Brownian Excursion Local Times. Guy Louchard |
| 2000 | Graph Structure of the Web: A Survey. Prabhakar Raghavan |
| 2000 | Heights in Generalized Tries and PATRICIA Tries. Charles Knessl, Wojciech Szpankowski |
| 2000 | Imroved Upper Bounds on the Simultaneous Messages Complexity of the Generalized Addressing Function. Andris Ambainis, Satyanarayana V. Lokam |
| 2000 | Integer Factorization and Discrete Logarithms (Abstract). Andrew M. Odlyzko |
| 2000 | Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract. Stephen L. Bloom, Zoltán Ésik |
| 2000 | LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000, Proceedings Gaston H. Gonnet, Daniel Panario, Alfredo Viola |
| 2000 | Linear Time Language Recognition on Cellular Automata with Restricted Communication. Thomas Worsch |
| 2000 | Linear Time Recognition of Optimal L-Restricted Prefix Codes (Extended Abstract). Ruy Luiz Milidiú, Eduardo Sany Laber |
| 2000 | Multi-parameter Minimum Spanning Trees. David Fernández-Baca |
| 2000 | On Dart-Free Perfectly Contractile Graphs. Extended Abstract. Cláudia Linhares Sales, Frédéric Maffray |
| 2000 | On the Competitive Theory and Practice of Portfolio Selection (Extended Abstract). Allan Borodin, Ran El-Yaniv, Vincent Gogan |
| 2000 | On the Complexity of Routing Permutations on Trees by Arc-Disjoint Paths. Extended Abstract. Dominique Barth, Sylvie Corteel, Alain Denise, Danièle Gardy, Mario Valencia-Pabon |
| 2000 | On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. François Laroussinie, Philippe Schnoebelen, Mathieu Turuani |
| 2000 | Optimal and Pessimal Orderings of Steiner Triple Systems in Disk Arrays. Myra B. Cohen, Charles J. Colbourn |
| 2000 | Polynomial Time Recognition of Clique-Width \le \leq 3 Graphs (Extended Abstract). Derek G. Corneil, Michel Habib, Jean-Marc Lanlignel, Bruce A. Reed, Udi Rotics |
| 2000 | Quintic Reciprocity and Primality Test for Numbers of the Form M = A5 Pedro Berrizbeitia, Mauricio Odremán Vera, Juan Tena Ayuso |
| 2000 | Rank Inequalities for Packing Designs and Sparse Triple Systems. Lucia Moura |
| 2000 | Run Statistics for Geometrically Distributed Random Variables (Extended Abstract). Peter J. Grabner, Arnold Knopfmacher, Helmut Prodinger |
| 2000 | Small Maximal Matchings in Random Graphs. Michele Zito |
| 2000 | Some Remarks on Sparsely Connected Isomorphism-Free Labeled Graphs. Vlady Ravelomanana, Loÿs Thimonier |
| 2000 | Squaring Transducers: An Efficient Procedure for Deciding Functionality and Sequentiality of Transducers. Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch |
| 2000 | Subresultants Revisited. Joachim von zur Gathen, Thomas Lücking |
| 2000 | The Anti-Oberwolfach Solution: Pancyclic 2- Factorizations of Complete Graphs. Brett Stevens |
| 2000 | The LCA Problem Revisited. Michael A. Bender, Martin Farach-Colton |
| 2000 | Two Conjectures on the Chromatic Polynomial. David Avis, Caterina De Simone, Paolo Nobili |
| 2000 | Unambiguous Büchi Automata. Olivier Carton, Max Michel |
| 2000 | Undecidable Problems in Unreliable Computations. Richard Mayr |
| 2000 | Uniform Multi-hop All-to-All Optical Routings in Rings. Jaroslav Opatrny |
| 2000 | Worst-Case Complexity of the Optimal LLL Algorithm. Ali Akhavi |