Sahar M. Alzahrani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2024–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICAART | Formal Analysis of Hopfield Networks through 0-1 Integer Linear Programming and SMT Solving. | Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang |
| 2026 | ICAART | Efficient Repair of Binarized Neural Networks Using Binary Activation Lookup Tables. | Sahar M. Alzahrani, Sven Schewe, Xiaowei Huang |
| 2024 | ICMLA | Analytically Determining the Robustness of Binarized Neural Networks. | Sahar M. Alzahrani, Sven Schewe, Chao Huang, Xiaowei Huang |