Angelo Kyrilov

13 papers A 1B 6Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Plagiarism prevention through project based learning with GitLab.
J. Comput. Sci. Coll.
Giovanni Gonzalez Araujo, Angelo Kyrilov
2017 — —
Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises.
Angelo Kyrilov
2016 J jnl
Do students need detailed feedback on programming exercises and can automated assessment systems provide it?
J. Comput. Sci. Coll.
Angelo Kyrilov, David C. Noelle
2016 B conf
Using Case-Based Reasoning to Automatically Generate High-Quality Feedback for Programming Exercises.
EDM
Angelo Kyrilov
2015 B conf
A Case-Based Reasoning Approach to Providing High-Quality Feedback on Computer Programming Exercises.
CogSci
Angelo Kyrilov, David C. Noelle
2015 — conf
Binary instant feedback on programming exercises can reduce student engagement and promote cheating.
Koli Calling
Angelo Kyrilov, David C. Noelle
2015 J jnl
Using Automated Theorem Provers to Teach Knowledge Representation in First-Order Logic.
CoRR
Angelo Kyrilov, David C. Noelle
2014 A conf
Using case-based reasoning to improve the quality of feedback generated by automated grading systems.
ICER
Angelo Kyrilov
2013 B conf
Automatic formative assessment of exercises on knowledge representation in first-order logic.
ITiCSE
Angelo Kyrilov, David C. Noelle
2011 B conf
Automated assessment of short free-text responses in computer science using latent semantic analysis.
ITiCSE
Richard Klein, Angelo Kyrilov, Mayya Tokman
2011 B conf
The use of mediating artifacts in embedding problem solving processes in an e-learning environment.
ITiCSE
Orry M. Messer, Angelo Kyrilov
2010 B conf
Improving CS education at Wits using an online assessment and evaluation system: a case study.
ITiCSE
Angelo Kyrilov, Jarryd Chengalroyen, Mayya Tokman
2009 — conf
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.
M4M
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov