Liveness Verification in TRSs Using Tree Automata and Termination Analysis. - Mousa Mousazadeh; Behrouz Tork Ladani; Hans Zantema (Comput. Informatics, 2010)

Randomized gossip algorithms under attack. - Mousa Mousazadeh; Behrouz Tork Ladani (Int. J. Inf. Sec., 2014)

Gossip-based data aggregation in hostile environments. - Mousa Mousazadeh; Behrouz Tork Ladani (Comput. Commun., 2015)