| Academic Paper | Year | Conferece | Proceedings URL |
| Machine learning Scheme for Managing Virtual Computing Resources in Cloud Market | 2023 | 2022 International Arab Conference on Information Technology (ACIT) |
Visit URL
|
| Programming with monadic CSP-style processes in dependent type theory | 2016 | 1st International Workshop on Type-Driven Development |
Visit URL
|