Regular Relations and the Quantifier "There Exist uncountably Many". - Zarko Mijajlovic; Valentina S. Harizanov (Math. Log. Q., 1983)

Submodels and definable points in models of Peano arithmetic. - Zarko Mijajlovic (Notre Dame J. Formal Log., 1983)

On the definability of the quantifier "there exist uncountably many". - Zarko Mijajlovic (Stud Logica, 1985)

Separation Properties of Ideals Over ω. - Winfried Just; Zarko Mijajlovic (Math. Log. Q., 1987)

Electronic Editions of Mathematical Works in Serbia. - Dragan Blagojevic; Zarko Mijajlovic; Zoran Ognjanovic (ELPUB, 2005)

Digitization of Scientific Journals in Serbia. - Zarko Mijajlovic; Zoran Ognjanovic; Aleksandar Pejovic (ELPUB, 2007)

Completeness theorem for topological class models. - Radosav Djordjevic; Nebojsa Ikodinovic; Zarko Mijajlovic (Arch. Math. Log., 2007)

Digitization of Mathematical Editions in Serbia. - Zarko Mijajlovic; Zoran Ognjanovic; Aleksandar Pejovic (Math. Comput. Sci., 2010)

On asymptotic solutions of Friedmann equations. - Zarko Mijajlovic; N. Pejovic; S. Segan; G. Damljanovic (Appl. Math. Comput., 2012)

Computing finite models using free Boolean generators. - Zarko Mijajlovic; Aleksandar Pejovic (CoRR, 2013)