1 – 5 of 5
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Robustness and Privacy Interplay in Patient Membership Inference
Baninajjar, Anahita LU
; Aminifar, Amin
; Hosseini, Kamran
; Aminifar, Amir
LU
and Rezine, Ahmed
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Formal Local Implication Between Two Neural Networks
Baninajjar, Anahita LU
; Rezine, Ahmed
and Aminifar, Amir
LU
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
Mark
VNN : verification-friendly neural networks with hard robustness guarantees
Baninajjar, Anahita LU
; Rezine, Ahmed
and Aminifar, Amir
LU
(2024)
41st International Conference on Machine Learning, ICML 2024
In Proceedings of Machine Learning Research
235.
p.2846-2856
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
SafeDeep : a scalable robustness verification framework for deep neural networks
Baninajjar, Anahita LU
; Hosseini, Kamran
; Rezine, Ahmed
and Aminifar, Amir
LU
(2023)
IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
Diagnosis of Alzheimer’s Disease by Canonical Correlation Analysis Based Fusion of Multi-Modal Medical Images
Baninajjar, Anahita LU
; Soltanian-Zadeh, Hamid
; Rezaie, Sajad
and Mohammadi-Nejad, Ali-Reza
(2020)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding