Verifying algorithm traces and fault reason determining using ontology reasoning. - Oleg Sychev; Mikhail Denisov; Anton Anikin 001 (ISWC (Demos/Industry), 2020)

Dynamic Flowcharts for Enhancing Learners' Understanding of the Control Flow During Programming Learning. - Mikhail Denisov; Anton Anikin 001; Oleg Sychev (Diagrams, 2021)

Inference Engines Performance in Reasoning Tasks for Intelligent Tutoring Systems. - Oleg Sychev; Anton Anikin 001; Mikhail Denisov (ICCSA (2), 2021)

How it Works: Algorithms - A Tool for Developing an Understanding of Control Structures. - Oleg Sychev; Mikhail Denisov; Grigory Terekhov (ITiCSE (2), 2021)

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

Ontology Reasoning for Explanatory Feedback Generation to Teach How Algorithms Work. - Anton Anikin 001; Oleg Sychev; Mikhail Denisov (NiDS, 2021)

Disk Space Consumption by Triple Storage Systems. - Artem Prokudin; Mikhail Denisov; Oleg Sychev (NiDS, 2022)

Generation of Code Tracing Problems from Open-Source Code. - Oleg Sychev; Artem Prokudin; Mikhail Denisov (SIGCSE (1), 2023)

Explain Trace: Misconceptions of Control-Flow Statements. - Oleg Sychev; Mikhail Denisov (Comput., 2023)

Learning problem generator for introductory programming courses>. - Artem Prokudin; Oleg Sychev; Mikhail Denisov (Softw. Impacts, 2023)