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. (eds.). Springer International Publishing, Cham, Switzerland, p. 62-82 21 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Yousefi, M. H. N., Degeler, V. & Lazovik, A., 12-Oct-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. (eds.). Cham: Springer, p. 24-44 20 p. (Communications in Computer and Information Science; vol. 1847).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

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

Research output: Contribution to journal › Article › Academic › peer-review

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

Research output: Contribution to journal › Article › Academic › peer-review

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

Research output: Working paper › Preprint › Academic

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

Research output: Contribution to journal › Article › Academic › peer-review

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

Research output: Contribution to journal › Article › Academic › peer-review