A. (Alexander) Lazovik, Prof

Medema, M. & Lazovik, A., sep.-2025, In: Discrete Mathematics. 348, 9, 26 blz., 114524.

Onderzoeksoutput: Article › › peer review

Truong, H., Tello, A., Lazovik, A. & Degeler, V., 24-mrt.-2025, (Submitted) arXiv, 20 blz.

Onderzoeksoutput: Voordruk ›

Boughzala, B., Koldehofe, B. & Lazovik, A., 2025, (Accepted/In press) 45th IEEE International Conference on Distributed Computing Systems (IEEE ICDCS 2025). IEEE

Onderzoeksoutput › › peer review

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

Truong, H., Tello, A., Lazovik, A. & Degeler, V., jul.-2024, In: Water Resources Research. 60, 7, 27 blz., e2023WR036741.

Onderzoeksoutput: Article › › peer review

Tello, A., Truong, H., Lazovik, A. & Degeler, V., 4-sep.-2024, Engineering Proceedings. Multidisciplinary Digital Publishing Institute (MDPI), 4 blz.

Onderzoeksoutput ›

Medema, M., Breeman, L. & Lazovik, A., 17-okt.-2024, In: Constraints. 29, blz. 152-191 40 blz.

Onderzoeksoutput: Article › › 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 › › peer review

Tello, A., Degeler, V. & Lazovik, A., 23-apr.-2024, 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2024. IEEE, blz. 511-517 7 blz. (2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2024).

Onderzoeksoutput › › peer review

Truong, H., Tello, A., Degeler, V., Lazovik, A. & Koellermeier, J., 7-jul.-2023. 1 blz.

Onderzoeksoutput ›