The SCEAS System
Navigation Menu

Search the dblp DataBase


Ashraf Salem: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hazem Hamed, Ashraf Salem
    UML-L: An UML Based Design Description Language. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:438-0 [Conf]
  2. Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
    FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:384-387 [Conf]
  3. Ashraf Salem
    Formal Semantics of Synchronous SystemC. [Citation Graph (0, 0)][DBLP]
    DATE, 2003, pp:10376-10381 [Conf]
  4. M. Watheq El-Kharashi, M. H. El-Malaki, S. Hammad, Ashraf Salem, A. Wahdan
    Towards Automating Hardware/Software Co-Design. [Citation Graph (0, 0)][DBLP]
    IWSOC, 2004, pp:189-192 [Conf]
  5. Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
    An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. [Citation Graph (0, 0)][DBLP]
    IWSOC, 2005, pp:419-424 [Conf]
  6. Ashraf Salem
    Formal Verification of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    IWSOC, 2004, pp:15- [Conf]
  7. Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
    Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:153-158 [Conf]
  8. Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
    FPGA-Based SAT Solver. [Citation Graph (0, 0)][DBLP]
    CCECE, 2006, pp:1901-1904 [Conf]

  9. Hardware based algorithm for conflict diagnosis in SAT solver. [Citation Graph (, )][DBLP]

  10. TLM-Based Verification of a Combined Switching Networks-on-Chip Router. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002