Leveraging dominators for preprocessing QBF. - Hratch Mangassarian; Bao Le; Alexandra Goultiaeva; Andreas G. Veneris; Fahiem Bacchus (DATE, 2010)

Non-solution implications using reverse domination in a modern SAT-based debugging environment. - Bao Le; Hratch Mangassarian; Brian Keng; Andreas G. Veneris (DATE, 2012)

Leveraging reconfigurability to raise productivity in FPGA functional debug. - Zissis Poulos; Yu-Shen Yang; Jason Helge Anderson; Andreas G. Veneris; Bao Le (DATE, 2012)

Reviving erroneous stability-based clock-gating using partial Max-SAT. - Bao Le; Dipanjan Sengupta; Andreas G. Veneris (ASP-DAC, 2013)

Accelerating post silicon debug of deep electrical faults. - Bao Le; Dipanjan Sengupta; Andreas G. Veneris; Zissis Poulos (IOLTS, 2013)

Automated debugging of missing assumptions. - Brian Keng; Evean Qin; Andreas G. Veneris; Bao Le (ASP-DAC, 2014)

Multiple clock domain synchronization in a QBF-based verification environment. - Djordje Maksimovic; Bao Le; Andreas G. Veneris (ICCAD, 2014)

Simulation and satisfiability guided counter-example triage for RTL design debugging. - Zissis Poulos; Yu-Shen Yang; Andreas G. Veneris; Bao Le (ISQED, 2014)

Debugging RTL Using Structural Dominance. - Hratch Mangassarian; Bao Le; Andreas G. Veneris (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Constructing stability-based clock gating with hierarchical clustering. - Bao Le; Djordje Maksimovic; Dipanjan Sengupta; Erhan Ergin; Ryan Berryhill; Andreas G. Veneris (PATMOS, 2015)

Semi-Supervising Learning, Transfer Learning, and Knowledge Distillation with SimCLR. - Khoi Nguyen; Yen Nguyen; Bao Le (CoRR, 2021)

A Deep Learning Approach to Segment High-Content Images of the E. coli Bacteria. - Dat Q. Duong; Tuan-Anh Tran; Phuong Nhi Nguyen Kieu; Tien K. Nguyen; Bao Le; Stephen Baker; Binh T. Nguyen (ACIVS, 2023)

Principal Components Analysis Based Imputation for Logistic Regression. - Thuong H. T. Nguyen; Bao Le; Phuc Nguyen; Linh G. H. Tran; Thu Nguyen 001; Binh T. Nguyen 001 (IEA/AIE (1), 2023)

OphNER: Named Entity Recognition for Ophthalmology Newspapers. - Bao Le; Thi Quynh Pham; Anh Thi Van Hoang; Binh T. Nguyen (KSE, 2023)