A systematic literature review on formal verification of software-defined networks. - Alireza Souri; Monire Norouzi; Parvaneh Asghari; Amir Masoud Rahmani; Ghazaleh Emadi (Trans. Emerg. Telecommun. Technol., 2020)

An Explainable AI Framework for Comparative Analysis of the Model Explanations in Breast Cancer Prediction. - Ghazaleh Emadi; Ana Belén Gil-González (DCAI (1), 2024)