( en | de | ru )

 

Disambiguation of "Abed, Sa'ed"

Author of the publication

copydeleteadd this publication to your clipboard
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.

, , and . J. Comput. Sci. Technol., 24 (1): 76-95 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jamil Abed

Ali Abed Pour

Majed Abed

Abdulla Abed

Gabriele Abedin

 

Other publications of authors with the same name

An efficient multiple sclerosis segmentation and detection system using neural networks., , , and . Comput. Electr. Eng., (2018)An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs., , and . J. Comput. Sci. Technol., 24 (1): 76-95 (2009)A Review on Blockchain and IoT Integration from Energy, Security and Hardware Perspectives., , and . Wirel. Pers. Commun., 129 (3): 2079-2122 (April 2023)Hybrid approach based on partial tag comparison technique and search methods to improve cache performance., , , and . IET Comput. Digit. Tech., 10 (2): 69-76 (2016)A novel approach to enhance distributed virtual memory., , , and . Comput. Electr. Eng., 38 (2): 388-398 (2012)Early detection of diabetic foot ulcers from thermal images using the bag of features technique., , and . Biomed. Signal Process. Control., 79 (Part): 104143 (2023)Automatic verification of reduction techniques in Higher Order Logic., , and . Formal Aspects Comput., 25 (6): 971-991 (2013)The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover., , and . FDL, page 136-141. IEEE, (2008)Towards First-Order Symbolic Trajectory Evaluation., , and . ISMVL, page 53. IEEE Computer Society, (2007)MDGs Reduction Technique Based on the HOL Theorem Prover., and . ISMVL, page 15-20. IEEE Computer Society, (2010)