Haifa – Access publications by researchers
Our intent is to provide the scientific community with access to technical reports written by members of the IBM Research community. Some reports are available for download. Please respect any copyright notices and limited distribution notices included in these reports.
Information and Interaction
- Speech Technologies
- Image and Documents Analytics
- Healthcare & Life Sciences
- Business Integration
- Information Privacy and Security
- Social Technologies
Software and Services
- Business Transformation & Optimization
- Method Enactment
- Easy & ITRA
- Java Memory Management
- Software Asset Management
- Simplified Tools & Middleware & Product Line Engineering
Systems Technologies and Services
Verification and Analytics
- Genesys-Pro Test Program Generator
- ACS - A System for Generating Power Compliance Suites
- Floating-Point Test Generator – Fpgen
- Analytics
- Machine Learning and Data Mining
- Green Analytics and Emerging Technologies
- Machine Learning Technologies
- Constraint Satisfaction
- RuleBase, PSL/Sugar, and FoCS
- Formal methods for EDA
- Advanced mmWave Communication Systems
- THz Imaging
- IBM Device Level Analog Circuit Migration Tool
- T-lines
- Physics-based On-chiP Parameterized INterconnect Suite (POPPINS)
- Formal Verification Publications 1994-2004