Parallel Minimum Spanning Tree Heuristic for the steiner problem in graphs. - Hoda Akbari; Zeinab Iranmanesh; Mohammad Ghodsi (ICPADS, 2007)

An Overlay Multicast Protocol for Multimedia Applications in Mobile Ad Hoc Networks. - Marjan Naderan Tahan; Hamid R. Rabiee; Fatemeh Saremi; Zeinab Iranmanesh (APSCC, 2008)

An Approach for Semantic Web Query Approximation Based on Domain Knowledge and User Preferences. - Zeinab Iranmanesh; Razieh Piri; Hassan Abolhassani (CSICC, 2008)

A Logic for Multi-domain Authorization Considering Administrators. - Zeinab Iranmanesh; Morteza Amini; Rasool Jalili (POLICY, 2008)

A Type System for Quantified Information-Flow Security in Java-Like Languages. - Gohar Shakoori; Mehran S. Fallah; Zeinab Iranmanesh (ARES, 2016)

Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. - Zeinab Iranmanesh; Mehran S. Fallah (Comput. Lang. Syst. Struct., 2016)

Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java. - Zeinab Iranmanesh; Mehran S. Fallah (J. Object Technol., 2017)