Sa'ed Abed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2008–2020
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SAC | Formal analysis of the biological circuits using higher-order-logic theorem proving. | Sa'ed Abed, Adnan Rashid, Osman Hasan |
| 2008 | FDL | The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |
| 2008 | ICTAC | A New Approach for the Construction of Multiway Decision Graphs. | Yassine Mokhtari, Sa'ed Abed, Otmane At Mohamed, Sofine Tahar, Xiaoyu Song |
| 2008 | SAC | Reachability analysis using multiway decision graphs in the HOL theorem prover. | Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane |