Lamya Gaber

Orcid: 0000-0002-1843-702X

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.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2022

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

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2022

Automated Design Error Debugging of Digital VLSI Circuits.

[BibT_eX]

[DOI]

J. Electron. Test., 2022

2019

Improved Automatic Correction for Digital VLSI Circuits.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Electron. Test., 2018

Lamya Gaber

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...