Mounira Kourjieh

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 1

Top Topics

Prior Knowledge

Conceptual Model

Project Management

Top Venues

Int. Trans. Oper. Res.

Publications

Amir Sakka, Mounira Kourjieh, Ines Ben Kraiem
An IT projects' conceptual model to facilitate upstream decision-making: project management method selection. Int. Trans. Oper. Res. 30 (6) (2023)
Yannick Chevalier, Mounira Kourjieh
Automated Synthesis of a Finite Complexity Ordering for Saturation CoRR (2012)
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS (2010)
Yannick Chevalier, Mounira Kourjieh
On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) CoRR (2009)
Yannick Chevalier, Mounira Kourjieh
Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) CoRR (2007)
Yannick Chevalier, Mounira Kourjieh
Key Substitution in the Symbolic Analysis of Cryptographic Protocols. FSTTCS (2007)
Yannick Chevalier, Mounira Kourjieh
A Symbolic Intruder Model for Hash-Collision Attacks. ASIAN (2006)
Yannick Chevalier, Mounira Kourjieh
A Symbolic Intruder Model for Hash-Collision Attacks CoRR (2006)