Cross-Diagram UML Design Verification. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko (ICTERI (Revised Selected Papers), 2012)

Checking Inconsistencies in UML Design. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko; Roman Kovalenko (ICTERI, 2012)

Which metrics for vertex-cut partitioning? - Hlib Mykhailenko; Giovanni Neglia; Fabrice Huet (ICITST, 2016)

Simulated annealing for edge partitioning. - Hlib Mykhailenko; Giovanni Neglia; Fabrice Huet (INFOCOM Workshops, 2017)

Distributed edge partitioning. (Partitionnement réparti basé sur les sommets). - Hlib Mykhailenko (2017)