Satbek Abdyldayev

Orcid: 0009-0003-9611-7536

According to our database¹, Satbek Abdyldayev authored at least 2 papers between 2018 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Proactive Debugging of Memory Leakage Bugs in Single Page Web Applications.

[DOI]

IEEE Trans. Software Eng., July, 2025

2018

Generalizing Morley's and Other Theorems with Automated Realization.

[DOI]

J. Autom. Reason., 2018