Mounira Belmesk

	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		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		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		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-

Coauthor Index

1	Thouraya Bouabana-Tebibel	[7] [8] [9] [10]
2	Zineb Habbas	[3] [6]
3	Philippe Jorrand	[3]

Colors in the list of coauthors