Zeinab Iranmanesh

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 3

Top Topics

Reactive Systems

Object Oriented Languages

Top Venues

Comput. Lang. Syst. Struct.

J. Object Technol.

Publications

Zeinab Iranmanesh, Mehran S. Fallah
Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java. J. Object Technol. 16 (3) (2017)
Zeinab Iranmanesh, Mehran S. Fallah
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Comput. Lang. Syst. Struct. 46 (2016)
Gohar Shakoori, Mehran S. Fallah, Zeinab Iranmanesh
A Type System for Quantified Information-Flow Security in Java-Like Languages. ARES (2016)
Zeinab Iranmanesh, Razieh Piri, Hassan Abolhassani
An Approach for Semantic Web Query Approximation Based on Domain Knowledge and User Preferences. CSICC (2008)
Zeinab Iranmanesh, Morteza Amini, Rasool Jalili
A Logic for Multi-domain Authorization Considering Administrators. POLICY (2008)
Marjan Naderan Tahan, Hamid R. Rabiee, Fatemeh Saremi, Zeinab Iranmanesh
An Overlay Multicast Protocol for Multimedia Applications in Mobile Ad Hoc Networks. APSCC (2008)
Hoda Akbari, Zeinab Iranmanesh, Mohammad Ghodsi
Parallel Minimum Spanning Tree Heuristic for the steiner problem in graphs. ICPADS (2007)