|
Search the dblp DataBase
Mohamed Benmohamed:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Samia Boucherkha, Mohamed Benmohamed
A Multi-tier Architecture to Safely Share Digital Medical Images. [Citation Graph (0, 0)][DBLP] DepCoS-RELCOMEX, 2006, pp:319-326 [Conf]
- Samia Boucherkha, Mohamed Benmohamed
A Lossless Watermarking Based Authentication System For Medical Images. [Citation Graph (0, 0)][DBLP] International Conference on Computational Intelligence, 2004, pp:240-243 [Conf]
- Mustapha Bourahla, Mohamed Benmohamed
Verification of Real-Time Systems by Abstraction of Time Constraints. [Citation Graph (0, 0)][DBLP] IPDPS, 2003, pp:238- [Conf]
- Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions. [Citation Graph (0, 0)][DBLP] PDPTA, 2003, pp:573-579 [Conf]
- Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah
A Toolset for the Specification and Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP] PDPTA, 2003, pp:1539-1545 [Conf]
- Mustapha Bourahla, Mohamed Benmohamed
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
- Mustapha Bourahla, Mohamed Benmohamed
Formal Specification and Verification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:5-17 [Journal]
- Mustapha Bourahla, Mohamed Benmohamed
Analysis of Real-Time Systems with CTL Model Checkers. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:41-60 [Journal]
- Mustapha Bourahla, Mohamed Benmohamed
Model Checking Multi-Agent Systems. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 2005, v:29, n:2, pp:189-198 [Journal]
- Mustapha Bourahla, Mohamed Benmohamed
Efficient partition of state space for parallel reachability analysis. [Citation Graph (0, 0)][DBLP] AICCSA, 2005, pp:21- [Conf]
- Fatima Zohra Hadjam, Claudio Moraga, Mohamed Benmohamed
Cluster-based evolutionary design of digital circuits using all improved multi-expression programming. [Citation Graph (0, 0)][DBLP] GECCO (Companion), 2007, pp:2475-2482 [Conf]
- Samia Boucherkha, Mohamed Benmohamed
A Texture Based Image Signature Using Second Order Statistics Characterisation. [Citation Graph (0, 0)][DBLP] OTM Workshops (1), 2007, pp:44-45 [Conf]
Une Méthode d'Optimisation par Essaimes Particulaire pour le Problème de Collectes et de Livraisons (PCL). [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|