She wrote books on set theory and category theory, and is known as one of the namesakes of the Gallai–Hasse–Roy–Vitaver theorem in graph coloring.
Таа напишала книги за теорија на множествата и теорија на категориите и е позната по едно од имињата на теоремата на Галаи-Хасе-Рој-Витавер, во боењето на графиците.