| Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback A Gerdes, B Heeren, J Jeuring, LT Van Binsbergen International Journal of Artificial Intelligence in Education 27, 65-100, 2017 | 107 | 2017 |
| Comparing libraries for generic programming in Haskell A Rodriguez, J Jeuring, P Jansson, A Gerdes, O Kiselyov, BCS Oliveira ACM Sigplan Notices 44 (2), 111-122, 2008 | 97 | 2008 |
| Specifying rewrite strategies for interactive exercises B Heeren, J Jeuring, A Gerdes Mathematics in computer science 3, 349-370, 2010 | 59 | 2010 |
| An interactive functional programming tutor A Gerdes, J Jeuring, B Heeren Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 55 | 2012 |
| Specifying strategies for exercises B Heeren, J Jeuring, A Leeuwen, A Gerdes Lecture Notes in Computer Science 5144, 430-445, 2008 | 35 | 2008 |
| Using strategies for assessment of programming exercises A Gerdes, JT Jeuring, BJ Heeren Proceedings of the 41st ACM technical symposium on Computer science …, 2010 | 33 | 2010 |
| Feedback services for exercise assistants A Gerdes, B Heeren, J Jeuring, S Stuurman Technical Report UU-CS-2008-018, Utrecht University, 2008 | 23 | 2008 |
| A programming tutor for Haskell J Jeuring, A Gerdes, B Heeren Central European Functional Programming School: 4th Summer School, CEFP 2011 …, 2012 | 19 | 2012 |
| Constructing Strategies for Programming. A Gerdes, B Heeren, J Jeuring CSEDU (1), 65-72, 2009 | 15 | 2009 |
| Model solutions and properties for diagnosing student programs in ask-elle J Jeuring, LT van Binsbergen, A Gerdes, B Heeren Proceedings of the Computer Science Education Research Conference, 31-40, 2014 | 14 | 2014 |
| Ask-Elle: A Haskell Tutor J Jeuring, A Gerdes, B Heeren 21st Century Learning for 21st Century Skills: 7th European Conference of …, 2012 | 14 | 2012 |
| Teachers and students in charge: Using annotated model solutions in a functional programming tutor A Gerdes, B Heeren, J Jeuring 21st Century Learning for 21st Century Skills: 7th European Conference of …, 2012 | 14 | 2012 |
| Ask-Elle: a Haskell Tutor A Gerdes PhD thesis, Universiteit Utrecht, 2012 | 9 | 2012 |
| Properties of exercise strategies A Gerdes, B Heeren, J Jeuring arXiv preprint arXiv:1012.5561, 2010 | 9 | 2010 |
| Linking unit tests and properties A Gerdes, J Hughes, N Smallbone, M Wang Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 19-26, 2015 | 7 | 2015 |
| Attribute grammars in Erlang U Norell, A Gerdes Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 1-12, 2015 | 5 | 2015 |
| Don't Judge Software by Its (Code) Coverage R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ... SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013 | 3 | 2013 |
| Requirements on automatically generated random test cases T Arts, A Gerdes, M Kronqvist 2013 Federated Conference on Computer Science and Information Systems, 1347-1354, 2013 | 3 | 2013 |
| Comparing Datatype Generic Libraries in Haskell BCSOAR Johan, JPJAG Oleg Journal of Functional Programming, 2009 | 3 | 2009 |
| Understanding formal specifications through good examples A Gerdes, J Hughes, N Smallbone, S Hanenberg, S Ivarsson, M Wang Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 13-24, 2018 | 2 | 2018 |
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht UniversityVerified email at uu.nl
