| |
| 1999 | ||
|---|---|---|
| 4 | EE | Yahia Rabih: Formalisation and Analysis of Dynamic Behaviour in Object-Oriented Systems. ADBIS (Short Papers) 1999: 163-170 |
| 3 | EE | Yahia Rabih, Michel Schneider: Analysis of Active Database Rules Behavior Using Rewriting Logic. DEXA 1999: 436-449 |
| 1997 | ||
| 2 | Yahia Rabih, Elias Tahhan-Bittar, Michel Schneider: Putting into Practice a Formal Method to Verify Properties of Active Rules Based on Rewriting Logic. DEXA Workshop 1997: 550-555 | |
| 1996 | ||
| 1 | Yahia Rabih: La logique de réécriture : un formalisme pour modéliser les bases de données actives. INFORSID 1996: 351-367 | |
| 1 | Michel Schneider | [2] [3] |
| 2 | Elias Tahhan-Bittar | [2] |