| 2000 | On Message Sequence Graphs and Finitely Generated Regular MSC Languages. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2000 | Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. | Matthew Hennessy, James Riely |
| 2000 | Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. | Boudewijn R. Haverkort |
| 2000 | Which NP-Hard Optimization Problems Admit Non-trivial Efficient Approximation Algorithms? | Johan Hstad |
| 2000 | On the Distribution of the Number of Roots of Polynomials and Explicit Logspace Extractors. | Tzvika Hartman, Ran Raz |
| 2000 | Improved Shortest Paths on the Word RAM. | Torben Hagerup |
| 2000 | A Visual Modeling Technique for Controlling Graph Transformation. | Stefan Gruner, Murat Kurt, Gabriele Taentzer |
| 2000 | A Minimal System of Disjunctive Properties for Strictness Analysis. | Grzegorz Grudzinski |
| 2000 | Approximate TSP in Graphs with Forbidden Minors. | Michelangelo Grigni |
| 2000 | Introduction: International Workshop on Process Algebra and Performance Modelling. | Roberto Gorrieri |
| 2000 | On Pseudorandomness with respect to Deterministic Observes. | Oded Goldreich, Avi Wigderson |
| 2000 | Pseudorandomness. | Oded Goldreich |
| 2000 | A Bound on the Capacity of Backoff and Acknowledgement-Based Protocols. | Leslie Ann Goldberg, Mark Jerrum, Sampath Kannan, Mike Paterson |
| 2000 | Graph Transformations on the UML Metamodel. | Martin Gogolla |
| 2000 | The Complexity of Base Station Positioning in Cellular Networks. | Christian Glaer, Steffen Reith, Heribert Vollmer |
| 2000 | Intersection Types and Topologies and Lambda Calculus. | Silvia Ghilezan |
| 2000 | Reasoning about Idealized ALGOL Using Regular Languages. | Dan R. Ghica, Guy McCusker |
| 2000 | Coloring Circular Arcs with Applications. | Luisa Gargano, Adele A. Rescigno |
| 2000 | Lower Bounds Are Not Easier over the Reals: Inside PH. | Herv Fournier, Pascal Koiran |
| 2000 | An | Wan J. Fokkink, S. P. Luttik |
| 2000 | Non Interference for the Analysis of Cryptographic Protocols. | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
| 2000 | Distributive Online Channel Assignment for Hexagonal Cellular Networks with Constraints. | Shannon L. Fitzpatrick, Jeannette C. M. Janssen, Richard J. Nowakowski |
| 2000 | A New Unfolding Approach to LTL Model Checking. | Javier Esparza, Keijo Heljanko |
| 2000 | Conversion of Coloring Algorithms into Maximum Weight Independent Set Algorithms. | Thomas Erlebach, Klaus Jansen |
| 2000 | From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation. | Gregor Engels, Reiko Heckel |