default search action

combined dblp search
author search
venue search
publication search

ask others

Ali El-Zein

Ali S. Elzein

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SafieddineZKER19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SafieddineZKER19
Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali S. Elzein, Wolfgang Roesner:
Verification at RTL Using Separation of Design Concerns. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(8): 1529-1542 (2019)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/LvovLTPSE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/LvovLTPSE14
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): 189-212 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/mlcad/VijayaraghavanN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlcad/VijayaraghavanN24
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:
Chain-of-Descriptions: Improving Code LLMs for VHDL Code Generation and Summarization. MLCAD 2024: 28:1-28:10
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/SafieddineKZEJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/SafieddineKZEJ15
Maya H. Safieddine, Rouwaida Kanj, Fadi A. Zaraket, Ali S. Elzein, Mohamad Jaber:
Separation of concerns for hardware components of embedded systems in BIP. ISQED 2015: 337-344
2012
[c7]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/fmcad/LvovLPSE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LvovLPSE12
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: 141-148
1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HaqueEC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HaqueEC94
Monjurul Haque, Ali El-Zein, Salim Chowdhury:
A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections. DAC 1994: 628-633
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/El-ZeinHC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/El-ZeinHC94
Ali El-Zein, Monjurul Haque, Salim Chowdhury:
Simulating Uniform Lossy Lines by the Time-Domain Modal Analysis. ICCD 1994: 567-570
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/El-ZeinHC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/El-ZeinHC94
Ali El-Zein, Monjurul Haque, Salim Chowdhury:
Simulating Nonuniform Lossy Lines with Frequency Dependent Parameters by the Method of Characteristics. ISCAS 1994: 327-330
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/HaqueEC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/HaqueEC94
Monjurul Haque, Ali El-Zein, Salim Chowdhury:
Transient Simulation of Nonuniform Transmission Lines by Asymptotic Waveform Evaluation. ISCAS 1994: 331-334
1993
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iscas/El-ZeinC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/El-ZeinC93
Ali El-Zein, Salim Chowdhury:
Maximum crosstalk in a transmission line system with linear time-invariant terminal networks. ISCAS 1993: 2295-2298
1992
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/El-ZeinC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/El-ZeinC92
Ali El-Zein, Salim Chowdhury:
An analytical method for finding the maximum crosstalk in lossless-coupled transmission lines. ICCAD 1992: 443-448

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-00967
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-00967
Lynn Wahab, Ezzat Chebaro, Jad Ismail, Amir Nasrelddine, Ali El-Zein:
A Predictive Model for Geographic Distributions of Mangroves. CoRR abs/2101.00967 (2021)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NoureddineZE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NoureddineZE14
Mohamad Noureddine, Fadi A. Zaraket, Ali S. Elzein:
Synthesis of Sequential Extended Regular Expressions for Verification. CoRR abs/1401.3173 (2014)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.