A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. - Mounira Belmesk (AIMSA, 1990)

A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction. - Mounira Belmesk; Zineb Habbas; Philippe Jorrand (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). - Mounira Belmesk (ISSAC, 1990)

Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou". - Mounira Belmesk (SPLT, 1990)

A Process Semantics of Logic Programs. - Mounira Belmesk (RCLP, 1991)

Une algèbre de processus pour la programmation logique parallèle. - Mounira Belmesk; Zineb Habbas (JFPL, 1992)

From UML Towards Petri Nets to Specify and Verify. - Thouraya Bouabana-Tebibel; Mounira Belmesk (ICINCO (1), 2004)

Formalization of UML object dynamics and behavior. - Thouraya Bouabana-Tebibel; Mounira Belmesk (SMC (5), 2004)

An object-oriented approach to formally analyze the UML 2.0 activity partitions. - Thouraya Bouabana-Tebibel; Mounira Belmesk (Inf. Softw. Technol., 2007)

Integration of the Association Ends within UML State Diagrams. - Thouraya Bouabana-Tebibel; Mounira Belmesk (Int. Arab J. Inf. Technol., 2008)