La logique de réécriture : un formalisme pour modéliser les bases de données actives. - Yahia Rabih (INFORSID, 1996)

Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic. - Yahia Rabih; Elias Tahhan-Bittar; Michel Schneider (DEXA Workshop, 1997)

Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. - Yahia Rabih (ADBIS (Short Papers), 1999)

Analysis of Active Database Rules Behavior Using Rewriting Logic. - Yahia Rabih; Michel Schneider (DEXA, 1999)

Visitor Design Pattern Using Reflection Mechanism. - Bilal Hussein; Aref Mehanna; Yahia Rabih (Int. J. Softw. Innov., 2020)