| 2025 |
J |
jnl |
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 |
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 |
CoRR
Lynn Wahab, Ezzat Chebaro, Jad Ismail, Amir Nasrelddine, Ali El-Zein
|
| 2014 |
J |
jnl |
Formal Methods Syst. Des.
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
|
| 2012 |
B |
conf |
FMCAD
Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein
|
| 1994 |
A* |
conf |
DAC
Monjurul Haque, Ali El-Zein, Salim Chowdhury
|
| 1994 |
C |
conf |
ISCAS
Ali El-Zein, Monjurul Haque, Salim Chowdhury
|
| 1994 |
C |
conf |
ICCD
Ali El-Zein, Monjurul Haque, Salim Chowdhury
|
| 1994 |
C |
conf |
ISCAS
Monjurul Haque, Ali El-Zein, Salim Chowdhury
|
| 1993 |
C |
conf |
ISCAS
Ali El-Zein, Salim Chowdhury
|
| 1992 |
A |
conf |
ICCAD
Ali El-Zein, Salim Chowdhury
|