| 2005 | ASP-DAC | Fast PLL simulation using nonlinear VCO macromodels for accurate prediction of jitter and cycle-slipping due to loop non-idealities and supply noise |
| 2005 | ASP-DAC | The polygonal contraction heuristic for rectilinear Steiner tree construction |
| 2005 | ASSETS | Representing coordination and non-coordination in an american sign language animation |
| 2005 | CASES | Exploring the Design Space of LUT-based Transparent Accelerators |
| 2005 | CC | Data Slicing: Separating the Heap into Independent Regions |
| 2005 | CHES | Successfully Attacking Masked AES Hardware Implementations |
| 2005 | CHI | Making space for stories: ambiguity in the design of personal communication systems |
| 2005 | CHI | Examining Task Engagement in Sensor-Based Statistical Models of Human Interruptibility |
| 2005 | CHI | Designing the spectator experience |
| 2005 | CHI | The bubble cursor: enhancing target acquisition by dynamic resizing of the cursors activation area |
| 2005 | CIAA | Tree Automata and XPath on Compressed Trees |
| 2005 | CIKM | Towards automatic association of relevant unstructured content with structured query results |
| 2005 | CODES+ISSS | A unified approach to constrained mapping and routing on network-on-chip architectures |
| 2005 | CP | Dynamic Ordering for Asynchronous Backtracking on DisCSPs |
| 2005 | CP | Symmetry Definitions for Constraint Satisfaction Problems |
| 2005 | CRYPTO | Finding Collisions in the Full SHA-1 |
| 2005 | CVPR | Real-Time Non-Rigid Surface Detection |
| 2005 | DAC | An efficient algorithm for statistical minimization of total power under timing yield constraints |
| 2005 | DAC | A new canonical form for fast boolean matching in logic synthesis and verification |
| 2005 | DATE | Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices |
| 2005 | DATE | Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems |
| 2005 | DATE | An Application-Specific Design Methodology for STbus Crossbar Generation |
| 2005 | DATE | Systematic Transaction Level Modeling of Embedded Systems with SystemC |
| 2005 | EMNLP | Non-Projective Dependency Parsing using Spanning Tree Algorithms |
| 2005 | Eurocrypt | Fuzzy Identity-Based Encryption |
| 2005 | Eurocrypt | Cryptanalysis of the Hash Functions MD4 and RIPEMD |
| 2005 | Eurocrypt | How to Break MD5 and Other Hash Functions |
| 2005 | FAST | Ursa Minor: Versatile Cluster-based Storage |
| 2005 | FAST | On Multidimensional Data and Modern Disks |
| 2005 | FOCS | The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative Type Metrics into l1 |