Common k -transversal of finite families. Horák, P. — 1991 Acta Mathematica Universitatis Comenianae. New Series
Generating hamiltionian cycles in complete graphs. Fleischner, H.; Horák, P.; Širáň, J. — 1993 Acta Mathematica Universitatis Comenianae. New Series
Maximal pentagonal packings. Černý, A.; Horák, P.; Rosa, A.; Znám, Š. — 1996 Acta Mathematica Universitatis Comenianae. New Series