M. (Mostafa) Hadadian Nejad Yousefi, MSc

Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A. & Truong, H., 2024, Leveraging Applications of Formal Methods, Verification and Validation : Application Areas. Margaria, T. & Steffen, B. (uitgave). Springer International Publishing, Cham, Switzerland, blz. 62-82 21 blz.

Onderzoeksoutput: Chapter › › peer review

Hadadian Nejad Yousefi, M., Degeler, V. & Lazovik, A., 15-okt.-2024, IEEE International Conference on Web Services. IEEE, blz. 1048-1056 9 blz.

Onderzoeksoutput: Conference contribution › › peer review

Yousefi, M. H. N., Degeler, V. & Lazovik, A., 12-okt.-2023, Service-Oriented Computing: 17th Symposium and Summer School, SummerSOC 2023 Heraklion, Crete, Greece, June 25 – July 1, 2023 . Aiello, M., Barzen, J., Dustdar, S. & Leymann , F. (uitgave). Cham: Springer, blz. 24-44 20 blz. (Communications in Computer and Information Science; vol. 1847).

Onderzoeksoutput: Chapter › › peer review

Albers, T., Lazovik, E., Hadadian Nejad Yousefi, M. & Lazovik, A., 2021, In: Frontiers in Big Data. 4, 20 blz., 666174.

Onderzoeksoutput: Article › › peer review

Akbarinejad, S., Nejad Yousefi, M. H. & Goudarzi, M., 19-jun.-2021, In: Bmc Bioinformatics. 22, 1, 17 blz., 335.

Onderzoeksoutput: Article › › peer review

Yousefi, M. H. N., Ghiassi, A., Sadat Hashemi, B. & Goudarzi, M., 5-mrt.-2020, (Submitted) arXiv, 12 blz.

Onderzoeksoutput: Voordruk ›

Hadadian Nejad Yousefi, M., Goudarzi, M. & Motahari, S. A., 24-jan.-2019, In: Bmc Bioinformatics. 20, 1, 14 blz., 51.

Onderzoeksoutput: Article › › peer review

Yousefi, M. H. N. & Goudarzi, M., 1-dec.-2018, In: Journal of Grid Computing. 16, 4, blz. 535-551 17 blz.

Onderzoeksoutput: Article › › peer review