Lamya Gaber

According to our database, Lamya Gaber authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis.

Lamya Gaber, Aziza I. Hussein, Hanafy Mahmoud, M. Mourad Mabrook, Mohammed Moness

J. Ambient Intell. Humaniz. Comput., 2022

Automated Design Error Debugging of Digital VLSI Circuits.

Mohammed Moness, Lamya Gaber, Aziza I. Hussein, Hanafy M. Ali

J. Electron. Test., 2022

2019

Improved Automatic Correction for Digital VLSI Circuits.

Lamya Gaber, Aziza I. Hussein, Mohammed Moness

Proceedings of the 31st International Conference on Microelectronics, 2019

2018

An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator.

Muhammad Osama, Lamya Gaber, Aziza I. Hussein, Hanafy Mahmoud

J. Electron. Test., 2018