Olzhas Zhangeldinov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2026
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | CTL Model Checking of Concurrent Self Modifying Code. | Tayssir Touili, Olzhas Zhangeldinov |
| 2026 | TASE | CARET Model Checking of Self Modifying Code. | Tayssir Touili, Olzhas Zhangeldinov |
| 2025 | ICECCS | LTL Model Checking of Concurrent Self Modifying Code. | Tayssir Touili, Olzhas Zhangeldinov |
| 2021 | SEFM | Learning from Mistakes in an Open Source Software Course. | Olzhas Zhangeldinov |