Mikhail Denisov

According to our database, Mikhail Denisov authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2023

Learning problem generator for introductory programming courses>.

Artem Prokudin, Oleg Sychev, Mikhail Denisov

Softw. Impacts, September, 2023

Explain Trace: Misconceptions of Control-Flow Statements.

Oleg Sychev, Mikhail Denisov

Comput., September, 2023

Generation of Code Tracing Problems from Open-Source Code.

Oleg Sychev, Artem Prokudin, Mikhail Denisov

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2022

Disk Space Consumption by Triple Storage Systems.

Artem Prokudin, Mikhail Denisov, Oleg Sychev

Proceedings of the Novel & Intelligent Digital Systems: Proceedings of the 2nd International Conference, 2022

2021

Ontology Reasoning for Explanatory Feedback Generation to Teach How Algorithms Work.

Anton Anikin, Oleg Sychev, Mikhail Denisov

Proceedings of the Novelties in Intelligent Digital Systems - Proceedings of the 1st International Conference (NiDS 2021), Athens, Greece, September 30, 2021

CompPrehension - Model-Based Intelligent Tutoring System on Comprehension Level.

Oleg Sychev, Anton Anikin, Nikita Penskoy, Mikhail Denisov, Artem Prokudin

Proceedings of the Intelligent Tutoring Systems - 17th International Conference, 2021

How it Works: Algorithms - A Tool for Developing an Understanding of Control Structures.

Oleg Sychev, Mikhail Denisov, Grigory Terekhov

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

Inference Engines Performance in Reasoning Tasks for Intelligent Tutoring Systems.

Oleg Sychev, Anton Anikin, Mikhail Denisov

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021

Dynamic Flowcharts for Enhancing Learners' Understanding of the Control Flow During Programming Learning.

Mikhail Denisov, Anton Anikin, Oleg Sychev

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

Verifying algorithm traces and fault reason determining using ontology reasoning.

Oleg Sychev, Mikhail Denisov, Anton Anikin

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020