| |
| 2008 | ||
|---|---|---|
| 10 | Thouraya Bouabana-Tebibel, Mounira Belmesk: Integration of the Association Ends within UML State Diagrams. Int. Arab J. Inf. Technol. 5(1): 7-15 (2008) | |
| 2007 | ||
| 9 | EE | Thouraya Bouabana-Tebibel, Mounira Belmesk: An object-oriented approach to formally analyze the UML 2.0 activity partitions. Information & Software Technology 49(9-10): 999-1016 (2007) |
| 2004 | ||
| 8 | Thouraya Bouabana-Tebibel, Mounira Belmesk: From UML Towards Petri Nets to Specify and Verify. ICINCO (1) 2004: 249-256 | |
| 7 | EE | Thouraya Bouabana-Tebibel, Mounira Belmesk: Formalization of UML object dynamics and behavior. SMC (5) 2004: 4971-4976 |
| 1992 | ||
| 6 | Mounira Belmesk, Zineb Habbas: Une algèbre de processus pour la programmation logique parallèle. JFPL 1992: 162- | |
| 1991 | ||
| 5 | Mounira Belmesk: A Process Semantics of Logic Programs. RCLP 1991: 13-26 | |
| 1990 | ||
| 4 | Mounira Belmesk: A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. AIMSA 1990: 159-168 | |
| 3 | Mounira Belmesk, Zineb Habbas, Philippe Jorrand: A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 163-181 | |
| 2 | EE | Mounira Belmesk: An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). ISSAC 1990: 288 |
| 1 | Mounira Belmesk: Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". SPLT 1990: 371- | |
| 1 | Thouraya Bouabana-Tebibel | [7] [8] [9] [10] |
| 2 | Zineb Habbas | [3] [6] |
| 3 | Philippe Jorrand | [3] |