, Institute of Informatics of the Slovak Academy of Sciences, Bratislava, Slovakia