• Bron: Scopus
20172019

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel

Opleiding / Academische kwalificatie

Computer systems, architectures, networks, Master, Minia University

20132015

Datum van toekenning: 15 dec 2015

Computer systems, architectures, networks, Bachelor, Minia University

20062011

Datum van toekenning: 1 jul 2011

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Muhammad Muhammad actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 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. (redactie). Cham: Springer, blz. 21-40 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    2 Citaten (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. (redactie). Cham: Springer, blz. 514-522 9 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.