Angelo Kyrilov

According to our database, Angelo Kyrilov authored at least 11 papers between 2009 and 2017.

Collaborative distances:

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

2017

Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises.

Angelo Kyrilov

PhD thesis, 2017

2016

Using Case-Based Reasoning to Automatically Generate High-Quality Feedback for Programming Exercises.

Angelo Kyrilov

Proceedings of the 9th International Conference on Educational Data Mining, 2016

2015

Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic.

Angelo Kyrilov, David C. Noelle

CoRR, 2015

Binary instant feedback on programming exercises can reduce student engagement and promote cheating.

Angelo Kyrilov, David C. Noelle

Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

A Case-Based Reasoning Approach to Providing High-Quality Feedback on Computer Programming Exercises.

Angelo Kyrilov, David C. Noelle

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

2014

Using case-based reasoning to improve the quality of feedback generated by automated grading systems.

Angelo Kyrilov

Proceedings of the International Computing Education Research Conference, 2014

2013

Automatic formative assessment of exercises on knowledge representation in first-order logic.

Angelo Kyrilov, David C. Noelle

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

2011

The use of mediating artifacts in embedding problem solving processes in an e-learning environment.

Orry M. Messer, Angelo Kyrilov

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Automated assessment of short free-text responses in computer science using latent semantic analysis.

Richard Klein, Angelo Kyrilov, Mayya Tokman

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010

Improving CS education at Wits using an online assessment and evaluation system: a case study.

Angelo Kyrilov, Jarryd Chengalroyen, Mayya Tokman

Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010

2009

Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.

Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov

Proceedings of the 6th Workshop on Methods for Modalities, 2009