Assistive mobile application for support of mobility and communication of people with IDD. - Marina Kultsova; Roman Romanenko; Irina Zhukova; Andrey Usov; Nikita Penskoy; Tatiana Potapova (MobileHCI Adjunct, 2016)

Ontology-based determining of Evaluation Order of C expressions and the Fault Reason for Incorrect Answers. - Oleg Sychev; Nikita Penskoy (ISWC (Demos/Industry), 2020)

CompPrehension - Model-Based Intelligent Tutoring System on Comprehension Level. - Oleg Sychev; Anton Anikin 001; Nikita Penskoy; Mikhail Denisov; Artem Prokudin (ITS, 2021)

Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example. - Oleg Sychev; Nikita Penskoy; Grigory Terekhov (CSEDU (1), 2022)

Generating Expression Evaluation Learning Problems from Existing Program Code. - Oleg Sychev; Nikita Penskoy; Artem Prokudin (ICALT, 2022)

A Tool to Teach Expressions with Feedback About Broken Laws. - Oleg Sychev; Nikita Penskoy; Grigory Terekhov (SIGCSE (2), 2022)