Olzhas Zhangeldinov

According to our database, Olzhas Zhangeldinov authored at least 2 papers between 2021 and 2025.

Collaborative distances:

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

2025

LTL Model Checking of Concurrent Self Modifying Code.

Tayssir Touili, Olzhas Zhangeldinov

Proceedings of the Engineering of Complex Computer Systems - 29th International Conference, 2025

2021

Learning from Mistakes in an Open Source Software Course.

Olzhas Zhangeldinov

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021