Ali El-Zein

11 papers A* 1A 1B 1C 4Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Chain-of-Descriptions: Improving Code LLMs for VHDL Code Generation and Summarization.
CoRR
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
2024 — conf
Chain-of-Descriptions: Improving Code LLMs for VHDL Code Generation and Summarization.
MLCAD
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
2021 J jnl
A Predictive Model for Geographic Distributions of Mangroves.
CoRR
Lynn Wahab, Ezzat Chebaro, Jad Ismail, Amir Nasrelddine, Ali El-Zein
2014 J jnl
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.
Formal Methods Syst. Des.
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
2012 B conf
Formal verification of error correcting circuits using computational algebraic geometry.
FMCAD
Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein
1994 A* conf
A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections.
DAC
Monjurul Haque, Ali El-Zein, Salim Chowdhury
1994 C conf
Simulating Nonuniform Lossy Lines with Frequency Dependent Parameters by the Method of Characteristics.
ISCAS
Ali El-Zein, Monjurul Haque, Salim Chowdhury
1994 C conf
Simulating Uniform Lossy Lines by the Time-Domain Modal Analysis.
ICCD
Ali El-Zein, Monjurul Haque, Salim Chowdhury
1994 C conf
Transient Simulation of Nonuniform Transmission Lines by Asymptotic Waveform Evaluation.
ISCAS
Monjurul Haque, Ali El-Zein, Salim Chowdhury
1993 C conf
Maximum crosstalk in a transmission line system with linear time-invariant terminal networks.
ISCAS
Ali El-Zein, Salim Chowdhury
1992 A conf
An analytical method for finding the maximum crosstalk in lossless-coupled transmission lines.
ICCAD
Ali El-Zein, Salim Chowdhury