| 1995 | ASP-DAC | Maple-opt: A Simultaneous Technology Mapping, Placement, and Global Routing Algorithm for FPGAs with Performance Optimization |
| 1995 | ASP-DAC | Power Analysis of a 32-bit Embedded Microcontroller |
| 1995 | DAC | Verification of Arithmetic Circuits with Binary Moment Diagrams |
| 1995 | DAC | Spectral Partitioning: The More Eigenvectors, The Better |
| 1995 | DAC | DELAY: An Efficient Tool for Retiming with Realistic Delay Modeling |
| 1995 | DAC | Behavioral Synthesis Methodology for HDL-Based Specification and Validation |
| 1995 | ICRA | Fundamental Considerations for the Design of a Planetary Rover |
| 1995 | ICRA | Tetrabot: A Modular System for Hyper Redundant Parallel Robotics |
| 1995 | ISCA | The SPLASH-2 Programs: Characterization and Methodological Considerations |
| 1995 | ITC | Improved Boundary Scan Design |
| 1995 | ITC | Improving DSP-Based Measurements with Spectral Interpolation |
| 1995 | LISA | OpenDist: Incremental Software Distribution |
| 1995 | SIGGRAPH | Multiresolution analysis of arbitrary meshes |
| 1994 | AAAI | A Prototype Reading Coach that Listens |
| 1994 | DAC | Resynthesis and Retiming for Optimum Partial Scan |
| 1994 | DAC | Basic Concept of Cooperative Timing-driven Design Automation Technology for High-speed RISC Processor HARP-1 |
| 1994 | ICRA | On the Existence of Modular Fixtures |
| 1994 | ICRA | Modeling and Parameter Estimation of the Human Index Finger |
| 1994 | ITC | Defect Classes – An Overdue Paradigm for CMOS IC Testing |
| 1994 | ITC | An Analog Multi-Tone Signal Generator for Built-In Self Test |
| 1994 | LISA | The Group Administration Shell and the GASH Network Computing Environment |
| 1994 | SIGIR | The Formalism of Probability Theory in IR: A Foundation for An Encumbrance? |
| 1994 | SIGMOD | Fast Subsequence Matching in Time-Series Databases |
| 1994 | SIGMOD | AlphaSort: A RISC Machine Sort |
| 1994 | USENIX ATC | GLIMPSE: A Tool to Search Through Entire File Systems |
| 1994 | USENIX ATC | A Better Update Policy |
| 1994 | Vis | Visualizing flow over curvilinear grid surfaces using line integral convolution |
| 1994 | Vis | The topology of symmetric, second-order tensor fields |
| 1994 | VLDB | Fast Algorithms for Mining Association Rules in Large Databases |
| 1993 | AAAI | Equations for Part-of-Speech Tagging |