Constructive Urysohn's Universal Metric Space. - Davorin Lesnik (CCA, 2008)

Constructive Urysohn Universal Metric Space. - Davorin Lesnik (J. Univers. Comput. Sci., 2009)

Metric spaces in synthetic topology. - Andrej Bauer; Davorin Lesnik (Ann. Pure Appl. Log., 2012)

A higher-dimensional homologically persistent skeleton. - Sara Kalisnik; Vitaliy Kurlin; Davorin Lesnik (Adv. Appl. Math., 2019)

Symmetric polynomials in tropical algebra semirings. - Sara Kalisnik; Davorin Lesnik (J. Symb. Comput., 2019)

Symmetric polynomials in upper-bound semirings. - Sara Kalisnik; Davorin Lesnik (J. Symb. Comput., 2021)

Finding the homology of manifolds using ellipsoids. - Sara Kalisnik; Davorin Lesnik (J. Appl. Comput. Topol., 2024)