Ali El-Zein

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 1

Top Topics

Predictive Model

Formal Verification

Algebraic Geometry

Top Venues

Formal Methods Syst. Des.

Publications

Lynn Wahab, Ezzat Chebaro, Jad Ismail, Amir Nasrelddine, Ali El-Zein
A Predictive Model for Geographic Distributions of Mangroves. CoRR (2021)
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Formal Methods Syst. Des. 45 (2) (2014)
Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Formal verification of error correcting circuits using computational algebraic geometry. FMCAD (2012)
Ali El-Zein, Monjurul Haque, Salim Chowdhury
Simulating Nonuniform Lossy Lines with Frequency Dependent Parameters by the Method of Characteristics. ISCAS (1994)
Monjurul Haque, Ali El-Zein, Salim Chowdhury
Transient Simulation of Nonuniform Transmission Lines by Asymptotic Waveform Evaluation. ISCAS (1994)
Ali El-Zein, Monjurul Haque, Salim Chowdhury
Simulating Uniform Lossy Lines by the Time-Domain Modal Analysis. ICCD (1994)
Monjurul Haque, Ali El-Zein, Salim Chowdhury
A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections. DAC (1994)
Ali El-Zein, Salim Chowdhury
Maximum crosstalk in a transmission line system with linear time-invariant terminal networks. ISCAS (1993)
Ali El-Zein, Salim Chowdhury
An analytical method for finding the maximum crosstalk in lossless-coupled transmission lines. ICCAD (1992)