Network Analysis of Repositories. - Vladimir Batagelj; Iztok Kavkler; Matija Lokar (LODE, 2007)

Implementing Real Numbers With RZ. - Andrej Bauer; Iztok Kavkler (CCA, 2007)

A constructive theory of continuous domains suitable for implementation. - Andrej Bauer; Iztok Kavkler (Ann. Pure Appl. Log., 2009)