Reasoning about Cryptographic Protocols in Observational Theories. - Imen Zaabar; Narjes Berregeb (ECBS, 2007)

Using Multicriteria Decision Making Methods to Manage Systems Obsolescence. - Imen Zaabar; Yvan Beauregard; Marc Paquet (IEEM, 2018)

A two-phase part family formation model to optimize resource planning: a case study in the electronics industry. - Imen Zaabar; Vladimir Polotski; Léon Bérard; Boujemaa El-Ouaqaf; Yvan Beauregard; Marc Paquet (Oper. Res., 2022)