Yassine Mokhtari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2002–2008
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ICTAC | A New Approach for the Construction of Multiway Decision Graphs. | Yassine Mokhtari, Sa'ed Abed, Otmane At Mohamed, Sofine Tahar, Xiaoyu Song |
| 2003 | ICFEM | Compositional Verification of a Switch Fabric from Nortel Networks. | Hong Peng, Sofine Tahar, Yassine Mokhtari |
| 2002 | ICCD | Environment Synthesis for Compositional Model Checking. | Hong Peng, Yassine Mokhtari, Sofine Tahar |