Mikhail Denisov

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 10

Top Topics

Reasoning Tasks

Intelligent Tutoring

Top Venues

Publications

Artem Prokudin, Oleg Sychev, Mikhail Denisov
Learning problem generator for introductory programming courses>. Softw. Impacts 17 (2023)
Oleg Sychev, Artem Prokudin, Mikhail Denisov
Generation of Code Tracing Problems from Open-Source Code. SIGCSE (1) (2023)
Oleg Sychev, Mikhail Denisov
Explain Trace: Misconceptions of Control-Flow Statements. Comput. 12 (10) (2023)
Artem Prokudin, Mikhail Denisov, Oleg Sychev
Disk Space Consumption by Triple Storage Systems. NiDS (2022)
Oleg Sychev, Mikhail Denisov, Grigory Terekhov
How it Works: Algorithms - A Tool for Developing an Understanding of Control Structures. ITiCSE (Working Group Reports) (2021)
Anton Anikin, Oleg Sychev, Mikhail Denisov
Ontology Reasoning for Explanatory Feedback Generation to Teach How Algorithms Work. NiDS (2021)
Oleg Sychev, Anton Anikin, Mikhail Denisov
Inference Engines Performance in Reasoning Tasks for Intelligent Tutoring Systems. ICCSA (2) (2021)
Mikhail Denisov, Anton Anikin, Oleg Sychev
Dynamic Flowcharts for Enhancing Learners' Understanding of the Control Flow During Programming Learning. Diagrams (2021)
Oleg Sychev, Anton Anikin, Nikita Penskoy, Mikhail Denisov, Artem Prokudin
CompPrehension - Model-Based Intelligent Tutoring System on Comprehension Level. ITS (2021)
Oleg Sychev, Mikhail Denisov, Anton Anikin
Verifying algorithm traces and fault reason determining using ontology reasoning. ISWC (Demos/Industry) (2020)