Mounira Belmesk

According to our database, Mounira Belmesk authored at least 10 papers between 1990 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Integration of the Association Ends within UML State Diagrams.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Int. Arab J. Inf. Technol., 2008

2007

An object-oriented approach to formally analyze the UML 2.0 activity partitions.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Inf. Softw. Technol., 2007

2004

Formalization of UML object dynamics and behavior.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Proceedings of the IEEE International Conference on Systems, 2004

From UML Towards Petri Nets to Specify and Verify.

Thouraya Bouabana-Tebibel, Mounira Belmesk

Proceedings of the ICINCO 2004, 2004

1992

Une algèbre de processus pour la programmation logique parallèle.

Mounira Belmesk, Zineb Habbas

Proceedings of the JFPL'92, 1992

1991

A Process Semantics of Logic Programs.

Mounira Belmesk

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1990

Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou".

Mounira Belmesk

Proceedings of the SPLT'90, 1990

An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).

Mounira Belmesk

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction.

Mounira Belmesk, Zineb Habbas, Philippe Jorrand

Proceedings of the Parallelization in Inference Systems, 1990

A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs.

Mounira Belmesk

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990