A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms. - Mahmoud Elbayoumi; Michael S. Hsiao; Mustafa Y. ElNainay (DATE, 2013)

Set-cover-based critical implications selection to improvesat-based bounded model checking: extended abstract. - Mahmoud Elbayoumi; Michael S. Hsiao; Mustafa Y. ElNainay (ACM Great Lakes Symposium on VLSI, 2013)

Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking. - Mahmoud Elbayoumi; Michael S. Hsiao; Mustafa Y. ElNainay (ICCD, 2013)

TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis. - Mahmoud Elbayoumi; Mihir Choudhury; Victor N. Kravets; Andrew Sullivan; Michael S. Hsiao; Mustafa Y. ElNainay (DAC, 2014)

Novel SAT-based invariant-directed low-power synthesis. - Mahmoud Elbayoumi; Michael S. Hsiao; Mustafa ElNainay (ISQED, 2015)

Strategies for Performance and Quality Improvement of Hardware Verification and Synthesis Algorithms. - Mahmoud Elbayoumi (2015)

Efficient solution of Otsu multilevel image thresholding: A comparative study. - Mohamed H. Merzban; Mahmoud Elbayoumi (Expert Syst. Appl., 2019)

A Real-Time Optimization of Reactive Power for An Intelligent System Using Genetic Algorithm. - Suzan Abdelhady; Ahmed Osama; Ahmed Shaban; Mahmoud Elbayoumi (IEEE Access, 2020)

A Novel Power-Aware Task Scheduling for Energy Harvesting-Based Wearable Biomedical Devices Using FPA. - Retaj Yousri; Mahmoud Elbayoumi; Ahmed Moawad; M. Saeed Darweesh; Ahmed Soltan (ICM, 2021)

An Efficient DMO Task Scheduling Technique for Wearable Biomedical Devices. - Samah Mohamed; Mahmoud Elbayoumi; Retaj Yousri; Ahmed Soltan; M. Saeed Darweesh (ICM, 2022)

Efficient UAV-Aided Data Acquisition Based on Transit Search Optimization Algorithm. - Samah Mohamed; Rania M. Tawfik; Mahmoud Elbayoumi; M. Saeed Darweesh (NILES, 2023)