| 2000 | TACAS | Symbolic Reachability Analysis Based on SAT-Solvers |
| 2000 | The Web Conference | Graph Structure in the Web |
| 2000 | UIST | Sensing techniques for mobile interaction |
| 2000 | USENIX ATC | Scalable Content-aware Request Distribution in Cluster-based Network Servers |
| 2000 | Vis | Volume illustration: non-photorealistic rendering of volume models |
| 1999 | AAAI | PROVERB: The Probabilistic Cruciverbalist |
| 1999 | ASE | Industrial Applications of Software Synthesis via Category Theory |
| 1999 | CVPR | Robust Hierarchical Algorithm for Constructing a Mosaic from Images of the Curved Human Retina |
| 1999 | DAC | Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings |
| 1999 | DAC | Coverage Estimation for Symbolic Model Checking |
| 1999 | DAC | Reducing Cross-Coupling Among Interconnect Wires in Deep-Submicron Datapath Design |
| 1999 | DAC | Common-Case Computation: A High-Level Technique for Power and Performance Optimization |
| 1999 | DAC | Improving the Test Quality for Scan-Based BIST Using a General Test Application Scheme |
| 1999 | DATE | Symbolic Functional Vector Generation for VHDL Specifications |
| 1999 | DATE | A CAD Framework for Generating Self-Checking 1 Multipliers Based on Residue Codes |
| 1999 | ESOP | Deterministic Expressions in C |
| 1999 | ICCV | Euclidean Reconstruction and Reprojection up to Subgroups |
| 1999 | ICCV | A Theory of Shape by Space Carving |
| 1999 | ICML | Least-Squares Temporal Difference Learning |
| 1999 | ICRA | Photo-Plethysmograph Nail Sensors for Measuring Finger Forces Without Haptic Obstruction: Modeling and Experimentation |
| 1999 | ICRA | Telemetric Robot Skin |
| 1999 | ICRA | A Fast and Accurate Sonar-ring Sensor for a Mobile Robot |
| 1999 | IJCAI | Learning in Natural Language |
| 1999 | IJCAI | A Distributed Case-Based Reasoning Application for Engineering Sales Support |
| 1999 | INFOCOM | Bandwidth Sharing: Objectives and Algorithms |
| 1999 | INTERSPEECH | Unsupervised training of a speech recognizer: recent experiments |
| 1999 | INTERSPEECH | Combining nonlocal, syntactic and n-gram dependencies in language modeling |
| 1999 | INTERSPEECH | Multi-level decision trees for static and dynamic pronunciation models |
| 1999 | ITC | Current Ratios: A Self-Scaling Technique for Production IDDQ Testing |
| 1999 | ITC | Logic BIST for Large Industrial Designs: Real Issues and Case Studies |