( en | de | ru )

 

Disambiguierung von "Abed, Sa'ed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reachability analysis using multiway decision graphs in the HOL theorem prover.

, , und . SAC, Seite 333-338. ACM, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jamil Abed

Majed Abed

Ali Abed Pour

Abdulla Abed

Gabriele Abedin

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient hand vein recognition using local keypoint descriptors and directional gradients., , und . Multim. Tools Appl., 81 (11): 15687-15705 (2022)An Automated Security Approach of Video Steganography-Based LSB Using FPGA Implementation., , , , , und . J. Circuits Syst. Comput., 28 (5): 1950083:1-1950083:27 (2019)Reducing Write Latency by Integrating Advanced PreSET Technique and Two-Stage-Write with Inversion Schemes.. J. Comput., 15 (1): 22-36 (2020)Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems., , , , und . CSCI, Seite 1794-1799. IEEE, (2021)An analysis and evaluation of lightweight hash functions for blockchain-based IoT devices., , , und . Clust. Comput., 24 (4): 3065-3084 (2021)A Review on Blockchain and IoT Integration from Energy, Security and Hardware Perspectives., , und . Wirel. Pers. Commun., 129 (3): 2079-2122 (April 2023)The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover., , und . FDL, Seite 136-141. IEEE, (2008)Towards First-Order Symbolic Trajectory Evaluation., , und . ISMVL, Seite 53. IEEE Computer Society, (2007)MDGs Reduction Technique Based on the HOL Theorem Prover., und . ISMVL, Seite 15-20. IEEE Computer Society, (2010)An efficient multiple sclerosis segmentation and detection system using neural networks., , , und . Comput. Electr. Eng., (2018)