Generalizing Morley's and Other Theorems with Automated Realization. - Eric Braude; Satbek Abdyldayev (J. Autom. Reason., 2018)

Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications. - Arooba Shahoor; Satbek Abdyldayev; Hyeongi Hong; Jooyong Yi; Dongsun Kim 001 (IEEE Trans. Software Eng., 2025)