Bastiaan Heeren

According to our database, Bastiaan Heeren authored at least 58 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Example-Based Reasoning about the Realizability of Polymorphic Programs.

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

Proc. ACM Program. Lang., 2024

Parsons Problems for Equivalence Proofs in Logic.

Marten van den Berg, Bastiaan Heeren, Ebrahim Rahimi

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

2023

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

Hieke Keuning, Johan Jeuring, Bastiaan Heeren

CoRR, 2023

Program Synthesis Using Example Propagation.

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

Proceedings of the Practical Aspects of Declarative Languages, 2023

A Systematic Mapping Study of Code Quality in Education.

Hieke Keuning, Johan Jeuring, Bastiaan Heeren

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

2021

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor.

Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis

Int. J. Artif. Intell. Educ., 2021

A Tutoring System to Learn Code Refactoring.

Hieke Keuning, Bastiaan Heeren, Johan Jeuring

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

SHACL-Based Ontology Design Patterns for Evidence-Based Decision-Making.

Mario Verhaeg, Lloyd Rutledge, Bastiaan Heeren

Proceedings of the Advances in Pattern-Based Ontology Engineering, 2021

2020

Model-Driven Synthesis for Programming Tutors.

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

CoRR, 2020

Intelligent Feedback on Hypothesis Testing.

Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers

Int. J. Artif. Intell. Educ., 2020

Student Refactoring Behaviour in a Programming Tutor.

Hieke Keuning, Bastiaan Heeren, Johan Jeuring

Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

Assessing the quality of evolving Haskell systems by measuring structural inequality.

Sander Kamps, Bastiaan Heeren, Johan Jeuring

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020

2019

A Systematic Literature Review of Automated Feedback Generation for Programming Exercises.

Hieke Keuning, Johan Jeuring, Bastiaan Heeren

ACM Trans. Comput. Educ., 2019

A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

J. Comput. Assist. Learn., 2019

Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

How Teachers Would Help Students to Improve Their Code.

Hieke Keuning, Bastiaan Heeren, Johan Jeuring

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

The Diagnosing Behaviour of Intelligent Tutoring Systems.

Renate van der Bent, Johan Jeuring, Bastiaan Heeren

Proceedings of the Transforming Learning with Meaningful Technologies, 2019

Automated Feedback on the Structure of Hypothesis Tests.

Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers

Proceedings of the Artificial Intelligence in Education - 20th International Conference, 2019

2018

Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems.

Bastiaan Heeren, Johan Jeuring, Sergey A. Sosnovsky, Paul Drijvers, Peter B. J. Boon, Sietske Tacoma, Jesse Koops, Armin Weinberger, Brigitte Grugeon-Allys, Françoise Chenevotot-Quentin, Jorn van Wijk, Ferdinand van Walree

Proceedings of the Lifelong Technology-Enhanced Learning, 2018

2017

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen

Int. J. Artif. Intell. Educ., 2017

Generating Hints and Feedback for Hilbert-style Axiomatic Proofs.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions.

Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring

Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

Code Quality Issues in Student Programs.

Hieke Keuning, Bastiaan Heeren, Johan Jeuring

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.

Bastiaan Heeren, Johan Jeuring

Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

2016

A Domain Reasoner for Propositional Logic.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

J. Univers. Comput. Sci., 2016

Towards a Systematic Review of Automated Feedback Generation for Programming Exercises.

Hieke Keuning, Johan Jeuring, Bastiaan Heeren

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

2015

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

Josje Lodder, Bastiaan Heeren, Johan Jeuring

CoRR, 2015

Communicate! - A Serious Game for Communication Skills -.

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

Proceedings of the Design for Teaching and Learning in a Networked World, 2015

2014

Feedback services for stepwise exercises.

Bastiaan Heeren, Johan Jeuring

Sci. Comput. Program., 2014

Evaluating Haskell expressions in a tutoring environment.

Tim Olmer, Bastiaan Heeren, Johan Jeuring

Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014

Strategy-based feedback in a programming tutor.

Hieke Keuning, Bastiaan Heeren, Johan Jeuring

Proceedings of the Computer Science Education Research Conference, 2014

Model solutions and properties for diagnosing student programs in Ask-Elle.

Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren

Proceedings of the Computer Science Education Research Conference, 2014

2013

Towards automatic generation of domain-specific mathematical input support.

Eric Andres, Bastiaan Heeren, Johan Jeuring

Proceedings of the Joint Proceedings of the MathUI, 2013

2012

An interactive functional programming tutor.

Alex Gerdes, Johan Jeuring, Bastiaan Heeren

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Ask-Elle: A Haskell Tutor - Demonstration.

Johan Jeuring, Alex Gerdes, Bastiaan Heeren

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.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

Proceedings of the 21st Century Learning for 21st Century Skills, 2012

A new method for sustainable development of open educational resources.

Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren

Proceedings of Second Computer Science Education Research Conference, 2012

2011

A Teaching Tool for Proving Equivalences between Logical Formulae.

Josje Lodder, Bastiaan Heeren

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Interleaving Strategies.

Bastiaan Heeren, Johan Jeuring

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

A Programming Tutor for Haskell.

Johan Jeuring, Alex Gerdes, Bastiaan Heeren

Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010

Specifying Rewrite Strategies for Interactive Exercises.

Bastiaan Heeren, Johan Jeuring, Alex Gerdes

Math. Comput. Sci., 2010

A lightweight approach to datatype-generic rewriting.

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães

J. Funct. Program., 2010

Properties of Exercise Strategies

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

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

Using strategies for assessment of programming exercises.

Alex Gerdes, Johan Jeuring, Bastiaan Heeren

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Adapting Mathematical Domain Reasoners.

Bastiaan Heeren, Johan Jeuring

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Generic Programming for Domain Reasoners.

Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Canonical Forms in Interactive Exercise Assistants.

Bastiaan Heeren, Johan Jeuring

Proceedings of the Intelligent Computer Mathematics, 2009

Constructing Strategies for Programming.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2008

Recognizing Strategies.

Bastiaan Heeren, Johan Jeuring

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

Strategies for Solving Constraints in Type and Effect Systems.

Jurriaan Hage, Bastiaan Heeren

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

A lightweight approach to datatype-generic rewriting.

Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

Report on the tenth ICFP programming contest.

Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Specifying Strategies for Exercises.

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2006

Heuristics for Type Error Discovery and Recovery.

Jurriaan Hage, Bastiaan Heeren

Proceedings of the Implementation and Application of Functional Languages, 2006

2005

Top quality type error Messages.

Bastiaan Heeren

PhD thesis, 2005

Type Class Directives.

Bastiaan Heeren, Jurriaan Hage

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2003

Scripting the type inference process.

Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Helium, for learning Haskell.

Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003