| 2004 | CC | Analyzing Memory Accesses in x86 Executables |
| 2004 | CIAA | Substitutions, Trajectories and Noisy Channels |
| 2004 | CIKM | Discovering frequently changing structures from historical structural deltas of unordered XML |
| 2004 | CODES+ISSS | Parallel programming models for a multi-processor SoC platform applied to high-speed traffic management |
| 2004 | CP | Constraint-Based Combinators for Local Search |
| 2004 | CP | Statistical Regimes Across Constrainedness Regions |
| 2004 | CP | Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness |
| 2004 | CP | Unary Resource Constraint with Optional Activities |
| 2004 | CRYPTO | Multicollisions in Iterated Hash Functions. Application to Cascaded Constructions |
| 2004 | CVPR | Programmable Imaging using a Digital Micromirror Array |
| 2004 | DAC | First-order incremental block-based statistical timing analysis |
| 2004 | DAC | A recursive paradigm to solve Boolean relations |
| 2004 | DATE | Poor Mans TBR: A Simple Model Reduction Scheme |
| 2004 | DATE | Wrapper Design for Testing IP Cores with Multiple Clock Domains |
| 2004 | DATE | Digital Ground Bounce Reduction by Phase Modulation of the Clock |
| 2004 | DATE | Automatic Synthesis and Simulation of Continuous-Time [Sigma-Delta] Modulators |
| 2004 | ECCV | High Accuracy Optical Flow Estimation Based on a Theory for Warping |
| 2004 | ECCV | A Boosted Particle Filter: Multitarget Detection and Tracking |
| 2004 | EMNLP | Max-Margin Parsing |
| 2004 | Eurocrypt | Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data |
| 2004 | FAST | Improving Storage System Availability with D-GRAID |
| 2004 | FAST | A Framework for Building Unobtrusive Disk Maintenance Applications |
| 2004 | FAST | Row-Diagonal Parity for Double Disk Failure Correction |
| 2004 | FOCS | Hardness of Approximating the Shortest Vector Problem in Lattices |
| 2004 | FOCS | Cryptography in NC0 |
| 2004 | FPT | Directional and Single-Driver Wires in FPGA Interconnect |
| 2004 | FSE | Reasoning about partial goal satisfaction for requirements and design engineering |
| 2004 | FSE | A classification system and analysis for aspect-oriented programs |
| 2004 | GECCO | Hybridizing Evolutionary Testing with the Chaining Approach |
| 2004 | GECCO | On the Choice of the Population Size |