An Axiomatization of the d-logic of Planar Polygons. - David Gabelaia; Kristina Gogoladze; Mamuka Jibladze; Evgeny Kuznetsov; Levan Uridia (TbiLLC, 2017)

Run-time Monitoring for Robot-Assisted Surgery. - Kristina Gogoladze; Natasha Alechina; Zhaoyang Jacopo Hu; Haozheng Xu; Romy C. van Jaarsveld; Jelle P. Ruurda (OVERLAY, 2024)