An analytical method for finding the maximum crosstalk in lossless-coupled transmission lines. - Ali El-Zein; Salim Chowdhury (ICCAD, 1992)

Maximum crosstalk in a transmission line system with linear time-invariant terminal networks. - Ali El-Zein; Salim Chowdhury (ISCAS, 1993)

A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections. - Monjurul Haque; Ali El-Zein; Salim Chowdhury (DAC, 1994)

Simulating Uniform Lossy Lines by the Time-Domain Modal Analysis. - Ali El-Zein; Monjurul Haque; Salim Chowdhury (ICCD, 1994)

Simulating Nonuniform Lossy Lines with Frequency Dependent Parameters by the Method of Characteristics. - Ali El-Zein; Monjurul Haque; Salim Chowdhury (ISCAS, 1994)

Transient Simulation of Nonuniform Transmission Lines by Asymptotic Waveform Evaluation. - Monjurul Haque; Ali El-Zein; Salim Chowdhury (ISCAS, 1994)

Formal verification of error correcting circuits using computational algebraic geometry. - Alexey Lvov; Luis Alfonso Lastras-Montaño; Viresh Paruthi; Robert Shadowen; Ali El-Zein (FMCAD, 2012)

Synthesis of Sequential Extended Regular Expressions for Verification. - Mohamad Noureddine; Fadi A. Zaraket; Ali S. Elzein (CoRR, 2014)

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. - Alexey Lvov; Luis Alfonso Lastras-Montaño; Barry M. Trager; Viresh Paruthi; Robert Shadowen; Ali El-Zein (Formal Methods Syst. Des., 2014)

Separation of concerns for hardware components of embedded systems in BIP. - Maya H. Safieddine; Rouwaida Kanj; Fadi A. Zaraket; Ali S. Elzein; Mohamad Jaber 001 (ISQED, 2015)

Verification at RTL Using Separation of Design Concerns. - Maya H. Safieddine; Fadi A. Zaraket; Rouwaida Kanj; Ali S. Elzein; Wolfgang Roesner (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

A Predictive Model for Geographic Distributions of Mangroves. - Lynn Wahab; Ezzat Chebaro; Jad Ismail; Amir Nasrelddine; Ali El-Zein (CoRR, 2021)

Chain-of-Descriptions: Improving Code LLMs for VHDL Code Generation and Summarization. - Prashanth Vijayaraghavan; Apoorva Nitsure; Charles Mackin; Luyao Shi; Stefano Ambrogio; Arvind Haran; Viresh Paruthi; Ali El-Zein; Dan Coops; David Beymer; Tyler Baldwin; Ehsan Degan (MLCAD, 2024)