Zeinab Iranmanesh

According to our database, Zeinab Iranmanesh authored at least 7 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java.

Zeinab Iranmanesh, Mehran S. Fallah

J. Object Technol., 2017

2016

Specification and static enforcement of scheduler-independent noninterference in a middleweight Java.

Zeinab Iranmanesh, Mehran S. Fallah

Comput. Lang. Syst. Struct., 2016

A Type System for Quantified Information-Flow Security in Java-Like Languages.

Gohar Shakoori, Mehran S. Fallah, Zeinab Iranmanesh

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2008

A Logic for Multi-domain Authorization Considering Administrators.

Zeinab Iranmanesh, Morteza Amini, Rasool Jalili

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

An Approach for Semantic Web Query Approximation Based on Domain Knowledge and User Preferences.

Zeinab Iranmanesh, Razieh Piri, Hassan Abolhassani

Proceedings of the Advances in Computer Science and Engineering, 2008

An Overlay Multicast Protocol for Multimedia Applications in Mobile Ad Hoc Networks.

Marjan Naderan Tahan, Hamid R. Rabiee, Fatemeh Saremi, Zeinab Iranmanesh

Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007

Parallel Minimum Spanning Tree Heuristic for the steiner problem in graphs.

Hoda Akbari, Zeinab Iranmanesh, Mohammad Ghodsi

Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007