Fast Multipliers. - Ali Habibi; Paul A. Wintz (IEEE Trans. Computers, 1970)

Rate-distortion function for a Gaussian source model of images (Corresp.). - Jeremiah F. Hayes; Ali Habibi; Paul A. Wintz (IEEE Trans. Inf. Theory, 1970)

A survey of digital picture coding. - Ali Habibi; Guner S. Robinson (Computer, 1974)

Hybrid Coding of Pictorial Data. - Ali Habibi (IEEE Trans. Commun., 1974)

A Unified Representation of Differential Pulse-Code Modulation (DPCM) and Transform Coding Systems. - Ali Habibi; Ronald S. Hershel (IEEE Trans. Commun., 1974)

Fast Suboptimal Wiener Filtering of Markov Sequences. - Ali Habibi (IEEE Trans. Computers, 1977)

Introduction: Special Issue on Image Bandwidth Compression. - Ali Habibi (IEEE Trans. Commun., 1977)

Survey of Adaptive Image Coding Techniques. - Ali Habibi (IEEE Trans. Commun., 1977)

Potential Digitization/Compression Techniques for Shuttle Video. - Ali Habibi; Bartus H. Batson (IEEE Trans. Commun., 1978)

An Adaptive Strategy for Hybrid Image Coding. - Ali Habibi (IEEE Trans. Commun., 1981)

Guest Editors' Prologue-Scanning the Issue. - Arun N. Netravali; Ali Habibi (IEEE Trans. Commun., 1981)

Formal Verification of a DSP Chip Using an Iterative Approach. - Ali Habibi; Sofiène Tahar; Adel Ghazel (DSD, 2002)

A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design. - Ali Habibi; Sofiène Tahar (IWSOC, 2003)

On the Design and Verification Methodology of the Look-Aside Interface. - Ali Habibi; Asif Iqbal Ahmed; Otmane Aït Mohamed; Sofiène Tahar (DATE, 2004)

Enabling SystemC Verification using Abstract State Machines. - Amjad Gawanmeh; Ali Habibi; Sofiène Tahar (FDL, 2004)

Towards an efficient assertion based verification of SystemC designs. - Ali Habibi; Sofiène Tahar (HLDVT, 2004)

Assertion based verification of PSL for SystemC designs. - Ali Habibi; Amjad Gawanmeh; Sofiène Tahar (SoC, 2004)

Design for verification of a PCI bus in SystemC. - Karim Oumalou; Ali Habibi; Sofiène Tahar (SoC, 2004)

Embedding and Verification of PSL using AsmL. - Amjad Gawanmeh; Ali Habibi; Sofiène Tahar (Abstract State Machines, 2005)

AsmL Semantics in Fixpoint. - Ali Habibi; Sofiène Tahar (Abstract State Machines, 2005)

An Approach for the Verification of SystemC Designs Using AsmL. - Ali Habibi; Sofiène Tahar (ATVA, 2005)

Design for Verification of SystemC Transaction Level Models. - Ali Habibi; Sofiène Tahar (DATE, 2005)

On the formal verification of a SystemC Packet switch model. - Ali Habibi; Sofiène Tahar (ICECS, 2005)

On the Transformation of SystemC to AsmL Using Abstract Interpretation. - Ali Habibi; Sofiène Tahar (AIOOL@VMCAI, 2005)

Generating finite state machines from SystemC. - Ali Habibi; Haja Moinudeen; Sofiène Tahar (DATE Designers' Forum, 2006)

Efficient assertion based verification using TLM. - Ali Habibi; Sofiène Tahar; Amer Samarah; Donglin Li; Otmane Aït Mohamed (DATE, 2006)

Design for Verification of the PCI-X Bus. - Haja Moinudeen; Ali Habibi; Sofiène Tahar (FMCAD, 2006)

Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm. - Amer Samarah; Ali Habibi; Sofiène Tahar; Nawwaf Kharma (HLDVT, 2006)

Towards a Faster Simulation of SystemC Designs. - Ali Habibi; Haja Moinudeen; Amer Samarah; Sofiène Tahar (ISVLSI, 2006)

Design and verification of SystemC transaction-level models. - Ali Habibi; Sofiène Tahar (IEEE Trans. Very Large Scale Integr. Syst., 2006)

Autometic Generation of SystemC Transactors from AsmL Specification. - Tareq Hasan Khan; Ali Habibi; Sofiène Tahar; Otmane Aït Mohamed (FDL, 2007)

Impact of radiation models in CFD simulations of steam cracking furnaces. - Ali Habibi; Bart Merci; Geraldine J. Heynderickx (Comput. Chem. Eng., 2007)

A Design for Verification Approach Using an Embedding of PSL in aSML. - Amjad Gawanmeh; Sofiène Tahar; Haja Moinudeen; Ali Habibi (J. Circuits Syst. Comput., 2007)