Generating and Employing Witness Automata for ACTLW Formulae. - Rok Vogrin; Robert Meolic; Tatjana Kapus (IEEE Access, 2022)

Supervised Learning on Relational Databases with Quantum Graph Neural Networks. - Martin Vogrin; Rok Vogrin; Sven Groppe; Jinghua Groppe (VLDB Workshops, 2024)