Mohamed Benmohamed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2003–2007
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | GECCO | Cluster-based evolutionary design of digital circuits using all improved multi-expression programming. | Fatima Zohra Hadjam, Claudio Moraga, Mohamed Benmohamed |
| 2006 | DEPCoS | A Multi-tier Architecture to Safely Share Digital Medical Images. | Samia Boucherkha, Mohamed Benmohamed |
| 2005 | AICCSA | Efficient partition of state space for parallel reachability analysis. | Mustapha Bourahla, Mohamed Benmohamed |
| 2003 | PDPTA | A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. | Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah |
| 2003 | PDPTA | A Toolset for the Specification and Verification of Embedded Systems. | Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah |