A New Image Mining Approach for Detecting Micro-Calcification in Digital Mammograms. - Farzaneh Moradkhani; Bahram Sadeghi Bigham (Appl. Artif. Intell., 2017)

Functional verification of cyber-physical systems containing machine-learnt components. - Farzaneh Moradkhani; Martin Fränzle (it Inf. Technol., 2021)

Verification of LSTM Neural Networks with Non-linear Activation Functions. - Farzaneh Moradkhani; Connor Fibich; Martin Fränzle (NFM, 2023)

Verification of Neural Networks Containing Non-Linear Activation Functions. - Farzaneh Moradkhani (2024)