| 2000 | ECCV | Factorization with Uncertainty |
| 2000 | ECCV | Homography Tensors: On Algebraic Entities that Represent Three Views of Static or Moving Planar Points |
| 2000 | ECCV | Non-linear Bayesian Image Modelling |
| 2000 | ICALP | Deterministic algorithms for k-SAT based on covering codes and local search |
| 2000 | ICALP | Reasoning about idealized Algol using regular languages |
| 2000 | ICALP | An optimal minimum spanning tree algorithm |
| 2000 | ICRA | A Real-Time Algorithm for Mobile Robot Mapping With Applications to Multi-Robot and 3D Mapping |
| 2000 | ICRA | Fault Tolerant Control of an Autonomous Underwater Vehicle Under Thruster Redundancy: Simulations and Experiments |
| 2000 | ICRA | A Sufficient Condition For Manipulation of Envelope Family |
| 2000 | ICRA | Appearance-Based Place Recognition for Topological Localization |
| 2000 | INFOCOM | The Chaotic Nature of TCP Congestion Control |
| 2000 | ISCA | Wattch: a framework for architectural-level power analysis and optimizations |
| 2000 | ISQED | Quick On-Chip Self- and Mutual-Inductance Screen |
| 2000 | ISQED | On Effective IDDQ Testing of Low Voltage CMOS Circuits Using Leakage Control Techniques |
| 2000 | ISQED | Synthesis Experiments and Performance Metrics for Evaluating the Quality of IP Blocks and Megacells |
| 2000 | ITC | A Stand-alone Integrated Test Core for Time and Frequency Domain Measurements |
| 2000 | ITC | Logic Mapping on a Microprocessor |
| 2000 | JCDL | Effects of annotations on student readers and writers |
| 2000 | KDD | Hancock: a language for extracting signatures from data streams |
| 2000 | LISA | Tracing Anonymous Packets to Their Approximate Source |
| 2000 | LISA | Deployme: Tellmes Package Management and Deployment System |
| 2000 | MICRO | Eager writeback - a technique for improving bandwidth utilization |
| 2000 | MobiCom | Directed diffusion: a scalable and robust communication paradigm for sensor networks |
| 2000 | MobiCom | GPSR: greedy perimeter stateless routing for wireless networks |
| 2000 | OSDI | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions |
| 2000 | PKC | Selecting Cryptographic Key Sizes |
| 2000 | PLDI | Dynamo: a transparent dynamic optimization system |
| 2000 | PODS | Auditing Boolean Attributes |
| 2000 | SIGIR | IR evaluation methods for retrieving highly relevant documents |
| 2000 | SIGMOD | XMILL: An Efficient Compressor for XML Data |