• Source: Scopus
20172019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer systems, architectures, networks, Master, Minia University

20132015

Award Date: 15 Dec 2015

Computer systems, architectures, networks, Bachelor, Minia University

20062011

Award Date: 1 Jul 2011

Fingerprint

Dive into the research topics where Muhammad Muhammad is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • Parallel SAT simplification on GPU architectures

    Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    32 Downloads (Pure)
  • SIGmA: GPU accelerated simplification of SAT formulas

    Osama, M. & Wijs, A., 1 Jan 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Cham: Springer, p. 514-522 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

If you made any changes in Pure these will be visible here soon.