Formalizing Frankl's Conjecture: FC-Families. - Filip Maric; Miodrag V. Zivkovic; Bojan Vuckovic (AISC/MKM/Calculemus, 2012)

Edge-partitions of graphs and their neighbor-distinguishing index. - Bojan Vuckovic (Discret. Math., 2017)

Multi-set neighbor distinguishing 3-edge coloring. - Bojan Vuckovic (Discret. Math., 2018)

An improved upper bound on the adjacent vertex distinguishing total chromatic number of graphs. - Bojan Vuckovic (Discret. Math., 2018)

Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families. - Filip Maric; Bojan Vuckovic; Miodrag V. Zivkovic (CoRR, 2019)

An improved upper bound on neighbor expanded sum distinguishing index. - Bojan Vuckovic (Discuss. Math. Graph Theory, 2020)