Explicit Behavioral Typing for Object Interfaces. - Elie Najm; Abdelkrim Nimour (ECOOP Workshops, 1999)

Infinite types for distributed object interfaces. - Elie Najm; Abdelkrim Nimour; Jean-Bernard Stefani (FMOODS, 1999)

Guaranteeing liveness in an object calculus through behavioural typing. - Elie Najm; Abdelkrim Nimour; Jean-Bernard Stefani (FORTE, 1999)

Optimal Public Key Traitor Tracing Scheme in Non-Black Box Model. - Philippe Guillot; Abdelkrim Nimour; Duong Hieu Phan; Viet Cuong Trinh (AFRICACRYPT, 2013)