Intelligent Tutor for Designing Function Interface in a Programming Language. - Dmitry Litovkin; Anton Anikin 001; Kirill Kulyukin; Oleg Sychev (ITS, 2022)

Detecting Function Inputs and Outputs for Learning-Problem Generation in Intelligent Tutoring Systems. - Kirill Kulyukin; Grigoriy Yakimov; Oleg Sychev (ITS (1), 2024)

An Approach to Formal Verification of Programs in Learning C Programming. - Kirill Kulyukin; Dmitrii Litovkin (NiDS, 2024)