| 2000 | Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. | Gregor Engels, Reiko Heckel |
| 2000 | Clique Is Hard to Approximate within | Lars Engebretsen, Jonas Holmerin |
| 2000 | Strong Inapproximability of the Basic | Michael Elkin, David Peleg |
| 2000 | A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components. | Hartmut Ehrig, Gabriele Taentzer |
| 2000 | Computing the Girth of a Planar Graph. | Hristo N. Djidjev |
| 2000 | LTL Is Expressively Complete for Mazurkiewicz Traces. | Volker Diekert, Paul Gastin |
| 2000 | Intersection Types and Properties of Lambda Terms. | Mariangiola Dezani-Ciancaglini |
| 2000 | A Complete Characterization of the Complete Intersection-Type Theories. | Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi |
| 2000 | Formalizing the Development of Agent-Based Systems Using Graph Processes. | Ralph Depke, Reiko Heckel |
| 2000 | Deterministic Algorithms for | Evgeny Dantsin, Andreas Goerdt, Edward A. Hirsch, Uwe Schning |
| 2000 | Conjunctive Types and Useless-code Elimination. | Ferruccio Damiani |
| 2000 | Fast Approximation Schemes for Euclidean Multi-connectivity Problems. | Artur Czumaj, Andrzej Lingas |
| 2000 | Resource Augmentation for Online Bounded Space Bin Packing. | Jnos Csirik, Gerhard J. Woeginger |
| 2000 | Graphical Operational Semantics. | Andrea Corradini, Reiko Heckel, Ugo Montanari |
| 2000 | Introduction: Graph Transformation and Visual Modeling Techniques. | Andrea Corradini, Reiko Heckel |
| 2000 | Branching-Time Probalistic Model Checking. | Rance Cleaveland, S. Purushothaman Iyer |
| 2000 | Optimal Approximation of Uniform Distributions with a Biased Coin. | Ferdinando Cicalese, Luisa Gargano, Ugo Vaccaro |
| 2000 | Deterministic Radio Broadcasting. | Bogdan S. Chlebus, Leszek Gasieniec, Anna stlin, John Michael Robson |
| 2000 | Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2000 | One-Round Secure Computation and Secure Autonomous Mobile Agents. | Christian Cachin, Jan Camenisch, Joe Kilian, Joy Mller |
| 2000 | A Graph-Grammar Based Approach to the Specification of Hypermedia Application Dynamics. | Giorgio Busatto, Pieter Jan't Hoen |
| 2000 | Homogenization and the Polynominal Calculus. | Josh Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi |
| 2000 | Constraint Satisfaction Problems and Finite Algebras. | Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons |
| 2000 | Algebraic Models for Contextual Nets. | Roberto Bruni, Vladimiro Sassone |
| 2000 | A tool for quantitative analysis of calculus processes. | Linda Brodo, Pierpaolo Degano, Corrado Priami |