Johan Jeuring

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 59

Top Venues

Publications

Michaela Arztmann, Jessica Lizeth Domínguez Alfaro, Lisette Hornstra, Johan Jeuring, Liesbeth Kester
In-game performance: The role of students' socio-economic status, self-efficacy and situational interest in an augmented reality game. Br. J. Educ. Technol. 55 (2) (2024)
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR (2024)
Lianne Roest, Hieke Keuning, Johan Jeuring
Next-Step Hint Generation for Introductory Programming Using Large Language Models. ACE (2024)
Dominic Lohr, Natalie Kiesler, Hieke Keuning, Johan Jeuring
"Let Them Try to Figure It Out First" - Reasons Why Experts (Do Not) Provide Feedback to Novice Programmers. ITiCSE (1) (2024)
L. M. van der Lubbe, Sylvia P. van Borkulo, Peter B. J. Boon, W. P. G. van Velthoven, Johan Jeuring
Bridging the Computer Science Teacher Shortage with a Digital Learning Platform. CSEDU (1) (2023)
Eduardo Oliveira, Hieke Keuning, Johan Jeuring
Student Code Refactoring Misconceptions. ITiCSE (1) (2023)
Jürgen Börstler, Kwabena E. Bennin, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar, Rodrigo Duran, Harald Störrle, Daniel Toll, Jelle van Assema
Developers talking about code quality. Empir. Softw. Eng. 28 (6) (2023)
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Program Synthesis Using Example Propagation. PADL (2023)
Hieke Keuning, Johan Jeuring, Bastiaan Heeren
A Systematic Mapping Study of Code Quality in Education. ITiCSE (1) (2023)
Johan Jeuring
Automatic feedback and hints on steps students take when learning how to program. DELFI (2023)
Johan Jeuring, Roel Groot, Hieke Keuning
What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper). CoRR (2023)
Lianne Roest, Hieke Keuning, Johan Jeuring
Next-Step Hint Generation for Introductory Programming Using Large Language Models. CoRR (2023)
Johan Jeuring, Roel Groot, Hieke Keuning
What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper). Koli Calling (2023)
Hieke Keuning, Johan Jeuring, Bastiaan Heeren
A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR (2023)
Francesco Bellotti, Jannicke Baalsrud Hauge, Manuel Gentile, Johan Jeuring, Iza Marfisi-Schottman, Manuel Ninaus, Remco C. Veltkamp, Vanissa Wanick, Riccardo Berta
Alessandro De Gloria: 1955 - 2023. Int. J. Serious Games 10 (1) (2023)
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Program Synthesis Using Example Propagation. CoRR (2022)
Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Petersen, Sami Sarsa
Steps Learners Take when Solving Programming Tasks, and How Learning Environments (Should) Respond to Them. ITiCSE (2) (2022)
Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Peterson, Sami Sarsa
Towards Giving Timely Formative Feedback and Hints to Novice Programmers. ITiCSE-WGR (2022)
Imke de Jong, Bo Sichterman, Johan Jeuring
Examining the Use of Computational Thinking Skills When Solving Bebras Tasks. Koli Calling (2022)
Imke de Jong, Johan Jeuring
Developing a Self-efficacy Scale for Computational Thinking (CT-SES). Koli Calling (2022)
Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. 31 (1) (2021)
Hieke Keuning, Bastiaan Heeren, Johan Jeuring
A Tutoring System to Learn Code Refactoring. SIGCSE (2021)
Sietske Tacoma, Paul Drijvers, Johan Jeuring
Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education. J. Comput. Assist. Learn. 37 (2) (2021)
Timo Overbeek, Raja Lala, Johan Jeuring
Scenario smells: signalling potential problems in dialogue scenarios in a serious game. Int. J. Serious Games 7 (4) (2020)
Imke de Jong, Johan Jeuring
Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking. Koli Calling (2020)
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30 (4) (2020)
Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen M. Lewis, Andreas Mühling, Janice L. Pearce, Andrew Petersen
Notional Machines in Computing Education: The Education of Attention. ITiCSE (Working Group Reports) (2020)
Sander Kamps, Bastiaan Heeren, Johan Jeuring
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP (2020)
Sietske Tacoma, Corine Geurts, Bert Slof, Johan Jeuring, Paul Drijvers
Enhancing learning with inspectable student models: Worth the effort? Comput. Hum. Behav. 107 (2020)
Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen M. Lewis, Andreas Mühling, Janice L. Pearce, Andrew Petersen
Capturing and Characterising Notional Machines. ITiCSE (2020)
Nico Naus, Johan Jeuring
End-user feedback in multi-user workflow systems. IFL (2020)
Hieke Keuning, Bastiaan Heeren, Johan Jeuring
Student Refactoring Behaviour in a Programming Tutor. Koli Calling (2020)
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Model-Driven Synthesis for Programming Tutors. CoRR (2020)
Stefan Ruseti, Raja Lala, Gabriel Gutu-Robu, Mihai Dascalu, Johan Jeuring, Marcell van Geest
Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning. AIED (2) (2019)
Raja Lala, Johan Jeuring, Marcell van Geest
Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. GALA (2019)
Renate van der Bent, Johan Jeuring, Bastiaan Heeren
The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL (2019)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE (2019)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. 35 (5) (2019)
Hieke Keuning, Bastiaan Heeren, Johan Jeuring
How Teachers Would Help Students to Improve Their Code. ITiCSE (2019)
Aurora Constantin, Catherine Lai, Elaine Farrow, Beatrice Alex, Ruth Pel-Littel, Henk Herman Nap, Johan Jeuring
"Why is the Doctor a Man": Reactions of Older Adults to a Virtual Training Doctor. CHI Extended Abstracts (2019)
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) (2019)
Raja Lala, Marcell van Geest, Stefan Ruseti, Johan Jeuring, Mihai Dascalu, Jordy van Dortmont, Gabriel Gutu-Robu, Michiel Hulsbergen
Enhancing Free-text Interactions in a Communication Skills Learning Environment. CSCL (2019)
Raja Lala, Gemma Corbalan, Johan Jeuring
Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. GALA (2019)
Hieke Keuning, Johan Jeuring, Bastiaan Heeren
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. 19 (1) (2019)
Milo Buwalda, Johan Jeuring, Nico Naus
Use expert knowledge instead of data: generating hints for hour of code exercises. L@S (2018)
Bastiaan Heeren, Johan Jeuring, Sergey A. Sosnovsky, Paul Drijvers, Peter Boon, Sietske Tacoma, Jesse Koops, Armin Weinberger, Brigitte Grugeon-Allys, Françoise Chenevotot-Quentin, Jorn van Wijk, Ferdinand van Walree
Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL (2018)
Ruth Pel-Littel, Henk van Zeijts, Nadine Schram, Henk Herman Nap, Johan Jeuring
A training simulation for practicing shared decision making for older patients. EUSPN/ICTH (2018)
Nienke van Es, Johan Jeuring
Designing and comparing two scratch-based teaching approaches for students aged 10-12 years. Koli Calling (2017)
Bastiaan Heeren, Johan Jeuring
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED (2017)
Rosa Maria Bottino, Johan Jeuring
Guest editorial. Int. J. Serious Games 4 (3) (2017)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. 27 (1) (2017)
Jürgen Börstler, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar
"I know it when I see it": Perceptions of Code Quality. ITiCSE (2017)
Jürgen Börstler, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar
"I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report. ITiCSE-WGR (2017)
Hieke Keuning, Bastiaan Heeren, Johan Jeuring
Code Quality Issues in Student Programs. ITiCSE (2017)
Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling (2017)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE (2017)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22 (8) (2016)
Hieke Keuning, Johan Jeuring, Bastiaan Heeren
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE (2016)
Nico Naus, Johan Jeuring
Building a Generic Feedback System for Rule-Based Problems. TFP (2016)
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112 (2015)
Thijs Alkemade, Johan Jeuring
Type Class Instances for Type-Level Lambdas in Haskell. TFP (2015)
Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters, Henk van Zeijts
Communicate! - A Serious Game for Communication Skills -. EC-TEL (2015)
Stephanie de Smale, Tom Overmans, Johan Jeuring, Liesbeth van de Grint
The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. GALA (2015)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
A pilot study of the use of LogEx, lessons learned. CoRR (2015)
Hieke Keuning, Bastiaan Heeren, Johan Jeuring
Strategy-based feedback in a programming tutor. CSERC (2014)
Bram E. Vaessen, Frans J. Prins, Johan Jeuring
University students' achievement goals and help-seeking strategies in an intelligent tutoring system. Comput. Educ. 72 (2014)
José Emilio Labra Gayo, Johan Jeuring, Jose María Álvarez Rodríguez
Inductive representations of RDF graphs. Sci. Comput. Program. 95 (2014)
Bastiaan Heeren, Johan Jeuring
Feedback services for stepwise exercises. Sci. Comput. Program. 88 (2014)
Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
Type-changing rewriting and semantics-preserving transformation. PEPM (2014)
Tim Olmer, Bastiaan Heeren, Johan Jeuring
Evaluating Haskell expressions in a tutoring environment. TFPIE (2014)
Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC (2014)
Eric Andres, Bastiaan Heeren, Johan Jeuring
Towards automatic generation of domain-specific mathematical input support. CICM Workshops (2013)
Johan Jeuring, Rick van Rooij, Nicolas Pronost
The 5/10 Method: A Method for Designing Educational Games. GALA (2013)
Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather
Usage of generic programming on hackage: experience report. WGP@ICFP (2013)
Johan Jeuring
Finding Palindromes: Variants and Algorithms. The Beauty of Functional Code (2013)
Tom Hastjarjanto, Johan Jeuring, Sean Leather
A DSL for describing the artificial intelligence in real-time video games. GAS@ICSE (2013)
José Emilio Labra Gayo, Johan Jeuring, Jose María Álvarez Rodríguez
Inductive Triple Graphs: A Purely Functional Approach to Represent RDF. GKR (2013)
Johan Jeuring, Patrik Jansson, Cláudio Amaral
Testing type class laws. Haskell (2012)
Johan Jeuring, Alex Gerdes, Bastiaan Heeren
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL (2012)
Steven Keuchel, Johan Jeuring
Generic conversions of abstract syntax representations. WGP@ICFP (2012)
Diederik M. Roijers, Johan Jeuring, Ad Feelders
Probability estimation and a competence model for rule based e-tutoring systems. LAK (2012)
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
An interactive functional programming tutor. ITiCSE (2012)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL (2012)
José Pedro Magalhães, Johan Jeuring
Generic programming for indexed datatypes. WGP@ICFP (2011)
Bastiaan Heeren, Johan Jeuring
Interleaving Strategies. Calculemus/MKM (2011)
Johan Jeuring, Alex Gerdes, Bastiaan Heeren
A Programming Tutor for Haskell. CEFP (2011)
Bastiaan Heeren, Johan Jeuring
Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus (2010)
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring
Generic selections of subexpressions. ICFP-WGP (2010)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Properties of Exercise Strategies IWS (2010)
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
Optimizing generics is easy! PEPM (2010)
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20 (3-4) (2010)
Bastiaan Heeren, Johan Jeuring
Adapting Mathematical Domain Reasoners CoRR (2010)
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
Using strategies for assessment of programming exercises. SIGCSE (2010)
Bastiaan Heeren, Johan Jeuring, Alex Gerdes
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3 (3) (2010)
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
A generic deriving mechanism for Haskell. Haskell (2010)
Sean Leather, Andres Löh, Johan Jeuring
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL (2009)
Alexey Rodriguez Yakushev, Johan Jeuring
Enumerating Well-Typed Terms Generically. AAIP (2009)
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
Generic Programming for Domain Reasoners. Trends in Functional Programming (2009)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Constructing Strategies for Programming. CSEDU (1) (2009)
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
Generic programming with fixed points for mutually recursive datatypes. ICFP (2009)

Johan Jeuring.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johan Jeuring