Mounira Belmesk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1990–2004
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ICINCO | From UML Towards Petri Nets to Specify and Verify. | Thouraya Bouabana-Tebibel, Mounira Belmesk |
| 2004 | SMC | Formalization of UML object dynamics and behavior. | Thouraya Bouabana-Tebibel, Mounira Belmesk |
| 1991 | LPAR | A Process Semantics of Logic Programs. | Mounira Belmesk |
| 1990 | AIMSA | A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. | Mounira Belmesk |
| 1990 | ISSAC | An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). | Mounira Belmesk |