Publicaties - Dr. B.J. (Bastiaan) Heeren (2024)

2023

Wetenschappelijke publicaties

Mulleners, N., Jeuring, J., & Heeren, B. (2023). Program Synthesis Using Example Propagation. In M. Hanus, & D. Inclezan (Eds.), Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (1 ed., pp. 20-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13880 LNCS). Springer. https://doi.org/10.1007/978-3-031-24841-2_2

2021

Wetenschappelijke publicaties

Keuning, H., Heeren, B., & Jeuring, J. (2021). A Tutoring System to Learn Code Refactoring. In SIGCSE '21: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education (pp. 562-568). Association for Computing Machinery. https://doi.org/10.1145/3408877.3432526

2020

Wetenschappelijke publicaties

Lodder, J., Heeren, B. J., Jeuring, J. T., & Neijenhuis, W. (2020). Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. International Journal of Artificial Intelligence in Education. https://doi.org/10.1007/s40593-020-00222-2

Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2020). Student Refactoring Behaviour in a Programming Tutor. In N. Falkner, & O. Seppala (Eds.), Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research (pp. 1-10). [4] Association for Computing Machinery. https://doi.org/10.1145/3428029.3428043

Lodder, J., Heeren, B. J., & Jeuring, J. T. (2020). Providing hints, next steps and feedback in a tutoring system for structural induction. Electronic Proceedings in Theoretical Computer Science, EPTCS, 313, 17–34. https://doi.org/10.4204/EPTCS.313.2

2019

Wetenschappelijke publicaties

Tacoma, S., Heeren, B., Jeuring, J., & Drijvers, P. (2019). Automated feedback on the structure of hypothesis tests. In R. Goebel, Y. Tanaka, W. Wahlster, J. Siekmann, S. Isotani, E. Millán, A. Ogan, P. Hastings, B. McLaren, & R. Luckin (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 281-285). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11626 LNAI). Springer. https://doi.org/10.1007/978-3-030-23207-8_52

Lodder, J., Heeren, B. J., & Jeuring, J. T. (2019). A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. Journal of Computer Assisted Learning, 35(5), 620-632. https://doi.org/10.1111/jcal.12365

Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2019). How teachers would help students to improve their code. In Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education (pp. 119-125). ACM. https://doi.org/10.1145/3304221.3319780

van der Bent, R., Jeuring, J. T., & Heeren, B. J. (2019). The diagnosing behaviour of intelligent tutoring systems. In Transforming Learning with Meaningful Technologies: Proceedings of ECTEL 2019: the Fourteenth European Conference on Technology Enhanced Learning (pp. 112-126). (LNCS; Vol. 11722). Springer. https://doi.org/10.1007/978-3-030-29736-7_9

Tacoma, S. G., Heeren, B. J., Jeuring, J. T., & Drijvers, P. H. M. (2019). Automated feedback on the structure of hypothesis tests. In U. T. Jankvist, M. van den Heuvel-Panhuizen, & M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (pp. 2969-2976). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME.
https://dspace.library.uu.nl/bitstream/handle/1874/390899/Automated.pdf?sequence=1

2018

Wetenschappelijke publicaties

Keuning, H., Jeuring, J. T., & Heeren, B. (2018). A systematic literature review of automated feedback generation for programming exercises. ACM Transactions on Computing Education, 19(1). https://doi.org/10.1145/3231711

Heeren, B., Jeuring, J., Sosnovsky, S. A., Drijvers, P., Boon, P., Tacoma, S., Koops, J., Weinberger, A., Grugeon-Allys, B., Chenevotot-Quentin, F., Wijk, J. V., & Walree, F. V. (2018). Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. In V. Pammer-Schindler, M. Pérez-Sanagustín, H. Drachsler, R. Elferink, & M. Scheffel (Eds.), Lifelong Technology-Enhanced Learning: 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings (pp. 262-276). (Lecture Notes Computer Science; Vol. 11082). Springer. https://doi.org/10.1007/978-3-319-98572-5_20

Vakpublicaties

Tacoma, S. G., Jeuring, J. T., Heeren, B. J., & Drijvers, P. H. M. (2018). Automated feedback on the structure of hypothesis tests. Poster session presented at Onderwijs meets onderzoek, Utrecht, Netherlands.

2017

Wetenschappelijke publicaties

Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2017). Code quality issues in student programs. In Proceedings of ITiCSE 2017: the 22nd Annual Conference on Innovation and Technology in Computer Science Education (pp. 110-115). ACM. https://doi.org/10.1145/3059009.3059061

Heeren, B. J., & Jeuring, J. T. (2017). An extensible domain-specific language for describing problem-solving procedures. In Proceedings of AIED 2017: the 18th International Conference on Artificial Intelligence in Education (pp. 77-89). (Lecture Notes in Computer Science; Vol. 10331). Springer. https://doi.org/10.1007/978-3-319-61425-0_7

Lodder, J., Heeren, B. J., & Jeuring, J. T. (2017). Generating hints and feedback for Hilbert-style axiomatic proofs. In SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education (pp. 387-392). ACM. https://doi.org/10.1145/3017680.3017736

Gerdes, A., Heeren, B. J., Jeuring, J. T., & Binsbergen, T. (2017). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education, 27(1), 65-100. https://doi.org/10.1007/s40593-015-0080-x

2016

Wetenschappelijke publicaties

2015

Wetenschappelijke publicaties

Jeuring, J., Grosfeld, F., Heeren, B., Hulsbergen, M., IJntema, R., Jonker, V., Mastenbroek, N., Smagt, M., Wijmans, F., Wolters, M., & Zeijts, H. (2015). Demo: Communicate! — a serious game for communication skills. (Technical Report Series; No. UU-CS-2015-009). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/327003/2015_009.pdf?sequence=1

Gerdes, A., Heeren, B., Jeuring, J. T., & Binsbergen, T. V. (2015). Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback. (Technical Report Series; No. UU-CS-2015-019). UU BETA ICS Departement Informatica.
https://dspace.library.uu.nl/bitstream/handle/1874/325989/ask.pdf?sequence=1

2014

Wetenschappelijke publicaties

Keuning, H. W., Heeren, B. J., & Jeuring, J. T. (2014). Strategy-based feedback in a programming tutor. In Proceedings of the Computer Science Education Research Conference https://doi.org/10.1145/2691352.2691356