Johan Jeuring

Orcid: 0000-0001-5645-7681

Affiliations:
  • Utrecht University, Netherlands


According to our database1, Johan Jeuring authored at least 133 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
In-game performance: The role of students' socio-economic status, self-efficacy and situational interest in an augmented reality game.
Br. J. Educ. Technol., March, 2024

Example-Based Reasoning about the Realizability of Polymorphic Programs.
Proc. ACM Program. Lang., 2024

Hash Table Notional Machines: A Comparison of 2D and 3D Representations.
Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1, 2024

Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study.
Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

Use of Computational Thinking Skills when solving Bebras Tasks: a Think-aloud Study.
Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

"Let Them Try to Figure It Out First" - Reasons Why Experts (Do Not) Provide Feedback to Novice Programmers.
Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

Next-Step Hint Generation for Introductory Programming Using Large Language Models.
Proceedings of the 26th Australasian Computing Education Conference, 2024

2023
Developers talking about code quality.
Empir. Softw. Eng., November, 2023

Alessandro De Gloria: 1955 - 2023.
Int. J. Serious Games, April, 2023

A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography.
CoRR, 2023

Program Synthesis Using Example Propagation.
Proceedings of the Practical Aspects of Declarative Languages, 2023

What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper).
Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, 2023

Student Code Refactoring Misconceptions.
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

A Systematic Mapping Study of Code Quality in Education.
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Automatic feedback and hints on steps students take when learning how to program.
Proceedings of the DELFI 2023, 2023

Bridging the Computer Science Teacher Shortage with a Digital Learning Platform.
Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022
Examining the Use of Computational Thinking Skills When Solving Bebras Tasks.
Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Developing a Self-efficacy Scale for Computational Thinking (CT-SES).
Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Towards Giving Timely Formative Feedback and Hints to Novice Programmers.
Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education, 2022

Steps Learners Take when Solving Programming Tasks, and How Learning Environments (Should) Respond to Them.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

2021
Algorithmics.
Proceedings of the Advancing Research in Information and Communication Technology, 2021

Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education.
J. Comput. Assist. Learn., 2021

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor.
Int. J. Artif. Intell. Educ., 2021

A Tutoring System to Learn Code Refactoring.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2020
Scenario smells: signalling potential problems in dialogue scenarios in a serious game.
Int. J. Serious Games, 2020

Model-Driven Synthesis for Programming Tutors.
CoRR, 2020

Enhancing learning with inspectable student models: Worth the effort?
Comput. Hum. Behav., 2020

Intelligent Feedback on Hypothesis Testing.
Int. J. Artif. Intell. Educ., 2020

Student Refactoring Behaviour in a Programming Tutor.
Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking.
Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

Notional Machines in Computing Education: The Education of Attention.
Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, 2020

Capturing and Characterising Notional Machines.
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

End-user feedback in multi-user workflow systems.
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Assessing the quality of evolving Haskell systems by measuring structural inequality.
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises.
ACM Trans. Comput. Educ., 2019

A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae.
J. Comput. Assist. Learn., 2019

Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction.
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

How Teachers Would Help Students to Improve Their Code.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment.
Proceedings of the Games and Learning Alliance - 8th International Conference, 2019

Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game.
Proceedings of the Games and Learning Alliance - 8th International Conference, 2019

The Diagnosing Behaviour of Intelligent Tutoring Systems.
Proceedings of the Transforming Learning with Meaningful Technologies, 2019

Enhancing Free-text Interactions in a Communication Skills Learning Environment.
Proceedings of the 13th International Conference on Computer Supported Collaborative Learning, 2019

"Why is the Doctor a Man": Reactions of Older Adults to a Virtual Training Doctor.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Automated Feedback on the Structure of Hypothesis Tests.
Proceedings of the Artificial Intelligence in Education - 20th International Conference, 2019

Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning.
Proceedings of the Artificial Intelligence in Education - 20th International Conference, 2019

2018
Use expert knowledge instead of data: generating hints for hour of code exercises.
Proceedings of the Fifth Annual ACM Conference on Learning at Scale, 2018

A training simulation for practicing shared decision making for older patients.
Proceedings of the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) / The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2018) / Affiliated Workshops, 2018

Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems.
Proceedings of the Lifelong Technology-Enhanced Learning, 2018

2017
Guest editorial.
Int. J. Serious Games, 2017

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.
Int. J. Artif. Intell. Educ., 2017

Generating Hints and Feedback for Hilbert-style Axiomatic Proofs.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Designing and comparing two scratch-based teaching approaches for students aged 10-12 years.
Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions.
Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

Code Quality Issues in Student Programs.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

"I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report.
Proceedings of the 2017 ITiCSE Working Group Reports, 2017

"I know it when I see it": Perceptions of Code Quality.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

An Extensible Domain-Specific Language for Describing Problem-Solving Procedures.
Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

2016
A Domain Reasoner for Propositional Logic.
J. Univers. Comput. Sci., 2016

Building a Generic Feedback System for Rule-Based Problems.
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Towards a Systematic Review of Automated Feedback Generation for Programming Exercises.
Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

2015
Type-changing rewriting and semantics-preserving transformation.
Sci. Comput. Program., 2015

A pilot study of the use of LogEx, lessons learned.
CoRR, 2015

Type Class Instances for Type-Level Lambdas in Haskell.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review.
Proceedings of the Games and Learning Alliance - 4th International Conference, 2015

Communicate! - A Serious Game for Communication Skills -.
Proceedings of the Design for Teaching and Learning in a Networked World, 2015

2014
Feedback services for stepwise exercises.
Sci. Comput. Program., 2014

Inductive representations of RDF graphs.
Sci. Comput. Program., 2014

Evaluating Haskell expressions in a tutoring environment.
Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014

University students' achievement goals and help-seeking strategies in an intelligent tutoring system.
Comput. Educ., 2014

Strategy-based feedback in a programming tutor.
Proceedings of the Computer Science Education Research Conference, 2014

Model solutions and properties for diagnosing student programs in Ask-Elle.
Proceedings of the Computer Science Education Research Conference, 2014

2013
Towards automatic generation of domain-specific mathematical input support.
Proceedings of the Joint Proceedings of the MathUI, 2013

A DSL for describing the artificial intelligence in real-time video games.
Proceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, 2013

Usage of generic programming on hackage: experience report.
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

Inductive Triple Graphs: A Purely Functional Approach to Represent RDF.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013

The 5/10 Method: A Method for Designing Educational Games.
Proceedings of the Games and Learning Alliance - Second International Conference, 2013

Finding Palindromes: Variants and Algorithms.
Proceedings of the Beauty of Functional Code, 2013

2012
Probability estimation and a competence model for rule based e-tutoring systems.
Proceedings of the Second International Conference on Learning Analytics and Knowledge, 2012

An interactive functional programming tutor.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Generic conversions of abstract syntax representations.
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

Testing type class laws.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

Ask-Elle: A Haskell Tutor - Demonstration.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012

2011
Interleaving Strategies.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Generic programming for indexed datatypes.
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

A Programming Tutor for Haskell.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010
Specifying Rewrite Strategies for Interactive Exercises.
Math. Comput. Sci., 2010

A lightweight approach to datatype-generic rewriting.
J. Funct. Program., 2010

Properties of Exercise Strategies
Proceedings of the Proceedings International Workshop on Strategies in Rewriting, 2010

Using strategies for assessment of programming exercises.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Optimizing generics is easy!
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Generic selections of subexpressions.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

A generic deriving mechanism for Haskell.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Adapting Mathematical Domain Reasoners.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
Generic Programming for Domain Reasoners.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Canonical Forms in Interactive Exercise Assistants.
Proceedings of the Intelligent Computer Mathematics, 2009

Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.
Proceedings of the Implementation and Application of Functional Languages, 2009

Generic programming with fixed points for mutually recursive datatypes.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Constructing Strategies for Programming.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

Enumerating Well-Typed Terms Generically.
Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008
Recognizing Strategies.
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

A lightweight approach to datatype-generic rewriting.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

Report on the tenth ICFP programming contest.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Comparing libraries for generic programming in haskell.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

Specifying Strategies for Exercises.
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Libraries for Generic Programming in Haskell.
Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell.
Sci. Comput. Program., 2007

2006
Comparing Approaches to Generic Programming in Haskell.
Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Generic Views on Data Types.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Testing Properties of Generic Functions.
Proceedings of the Implementation and Application of Functional Languages, 2006

Generating generic functions.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

Typed Contracts for Functional Programming.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Generic Programming for Software Evolution.
Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

2005
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments.
Proceedings of the Artificial Intelligence in Education, 2005

2004
Type-indexed data types.
Sci. Comput. Program., 2004

UUXML: A Type-Preserving XML Schema-Haskell Data Binding.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Inferring Type Isomorphisms Generically.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003
Dependency-style generic Haskell.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Generic Haskell: Applications.
Proceedings of the Generic Programming - Advanced Lectures, 2003

Generic Haskell: Practice and Theory.
Proceedings of the Generic Programming - Advanced Lectures, 2003

2002
Polytypic data conversion programs.
Sci. Comput. Program., 2002

2001
Weaving a web.
J. Funct. Program., 2001

1999
Polytypic Compact Printing and Parsing.
Proceedings of the Programming Languages and Systems, 1999

1998
Polytypic Unification.
J. Funct. Program., 1998

Generic Programming: An Introduction.
Proceedings of the Advanced Functional Programming, 1998

1997
Polyp - A Polytypic Programming Language.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996
Polytypic Programming.
Proceedings of the Advanced Functional Programming, 1996

1995
Constructing Functional Programs for Grammar Analysis Problems.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Polytypic Pattern Matching.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Merging Monads and Folds for Functional Programming.
Proceedings of the Advanced Functional Programming, 1995

1994
The Derivation of On-Line Algorithms, with an Application To Finding Palindromes.
Algorithmica, 1994

Bottom-up Grammar Analysis - A Functional Formulation.
Proceedings of the Programming Languages and Systems, 1994

1990
Algorithms for Theorems.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990


  Loading...