R. Al-Ali, L. Bulej, J. Kofroň, T. Bureš:
A guide to design uncertainty-aware self-adaptive components in Cyber–Physical Systems, in Future Generation Computer Systems 128, pp. 466-489, 2022
DOI: 10.1016/j.future.2021.10.027
A guide to design uncertainty-aware self-adaptive components in Cyber–Physical Systems, in Future Generation Computer Systems 128, pp. 466-489, 2022
DOI: 10.1016/j.future.2021.10.027
R. Husák, J. Míšek, F. Zavoral, J. Kofroň:
PeachPie: Mature PHP to CLI compiler, in Journal of Computer Languages, pp. 1-29, 2022
DOI: 10.1016/j.cola.2022.101152
PeachPie: Mature PHP to CLI compiler, in Journal of Computer Languages, pp. 1-29, 2022
DOI: 10.1016/j.cola.2022.101152
M. Blicha, A. Hyvärinen, J. Kofroň, N. Sharygina:
Using linear algebra in decomposition of Farkas interpolants, in International Journal on Software Tools for Technology Transfer 24(1), pp. 111-125, 2022
DOI: 10.1007/s10009-021-00641-z
Using linear algebra in decomposition of Farkas interpolants, in International Journal on Software Tools for Technology Transfer 24(1), pp. 111-125, 2022
DOI: 10.1007/s10009-021-00641-z