Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. - Valentin Goranko; Angelo Kyrilov; Dmitry Shkatov (M4M, 2009)

Improving CS education at Wits using an online assessment and evaluation system: a case study. - Angelo Kyrilov; Jarryd Chengalroyen; Mayya Tokman (ITiCSE, 2010)

Automated assessment of short free-text responses in computer science using latent semantic analysis. - Richard Klein; Angelo Kyrilov; Mayya Tokman (ITiCSE, 2011)

The use of mediating artifacts in embedding problem solving processes in an e-learning environment. - Orry M. Messer; Angelo Kyrilov (ITiCSE, 2011)

Automatic formative assessment of exercises on knowledge representation in first-order logic. - Angelo Kyrilov; David C. Noelle (ITiCSE, 2013)

Using case-based reasoning to improve the quality of feedback generated by automated grading systems. - Angelo Kyrilov (ICER, 2014)

A Case-Based Reasoning Approach to Providing High-Quality Feedback on Computer Programming Exercises. - Angelo Kyrilov; David C. Noelle (CogSci, 2015)

Binary instant feedback on programming exercises can reduce student engagement and promote cheating. - Angelo Kyrilov; David C. Noelle (Koli Calling, 2015)

Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic. - Angelo Kyrilov; David C. Noelle (CoRR, 2015)

Using Case-Based Reasoning to Automatically Generate High-Quality Feedback for Programming Exercises. - Angelo Kyrilov (EDM, 2016)

Do students need detailed feedback on programming exercises and can automated assessment systems provide it? - Angelo Kyrilov; David C. Noelle (J. Comput. Sci. Coll., 2016)

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

Plagiarism prevention through project based learning with GitLab. - Giovanni Gonzalez Araujo; Angelo Kyrilov (J. Comput. Sci. Coll., 2020)