The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mohamed Benmohammed: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. F. Z. Hadjam, A. Rahmoun, M. Benmohammed
    On Designing a Systolic Network for the Resolution of Linear Systems Using the " Gauss-Seidel " Method. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:283-286 [Conf]
  2. Azeddine Bilami, Mustapha Lalam, Mehammed Daoui, Mohamed Benmohammed
    Design and Evaluation of an Input Buffered Packet Switch. [Citation Graph (0, 0)][DBLP]
    Int. Arab J. Inf. Technol., 2005, v:2, n:4, pp:309-317 [Journal]
  3. S. Merniz, M. Benmohammed
    A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2007, pp:492-499 [Conf]

  4. A New Approach Based on Modelled Traces to Compute Collaborative and Individual Indicators Human Interaction. [Citation Graph (, )][DBLP]


  5. UML Modeling and Formal Verification of Control/Data Driven Embedded Systems. [Citation Graph (, )][DBLP]


  6. A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach. [Citation Graph (, )][DBLP]


  7. La Théorie de la Résonance Adaptative et les Moments de Zernike pour la Reconnaissance de Mots Arabes Manuscrits. [Citation Graph (, )][DBLP]


  8. Étude Comparative des Algorithmes de Segmentation Thématique Pour la Langue Arabe. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002