Anahita Baninajjar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Formal Local Implication Between Two Neural Networks. | Anahita Baninajjar, Ahmed Rezine, Amir Aminifar |
| 2025 | IJCNN | Robustness and Privacy Interplay in Patient Membership Inference. | Anahita Baninajjar, Amin Aminifar, Kamran Hosseini, Amir Aminifar, Ahmed Rezine |
| 2024 | ICML | VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees. | Anahita Baninajjar, Ahmed Rezine, Amir Aminifar |
| 2023 | ICASSP | SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks. | Anahita Baninajjar, Kamran Hosseini, Ahmed Rezine, Amir Aminifar |