Bastiaan Heeren

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 26

Top Venues

CoRR

ITiCSE

Int. J. Artif. Intell. Educ.

EC-TEL

Utrecht University, Netherlands (PHD)

Education History

Utrecht University, Netherlands

PHD

Publications

Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR (2024)
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)
Hieke Keuning, Johan Jeuring, Bastiaan Heeren
A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR (2023)
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Program Synthesis Using Example Propagation. CoRR (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)
Mario Verhaeg, Lloyd Rutledge, Bastiaan Heeren
SHACL-Based Ontology Design Patterns for Evidence-Based Decision-Making. WOP (Book) (2021)
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30 (4) (2020)
Sander Kamps, Bastiaan Heeren, Johan Jeuring
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP (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)
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)
Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) (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)
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)
Bastiaan Heeren, Johan Jeuring
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED (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)
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)
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)
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)
Bastiaan Heeren, Johan Jeuring
Feedback services for stepwise exercises. Sci. Comput. Program. 88 (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, Alex Gerdes, Bastiaan Heeren
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL (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)
Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren
A new method for sustainable development of open educational resources. CSERC (2012)
Bastiaan Heeren, Johan Jeuring
Interleaving Strategies. Calculemus/MKM (2011)
Josje Lodder, Bastiaan Heeren
A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL (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)
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Properties of Exercise Strategies IWS (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)
Jurriaan Hage, Bastiaan Heeren
Strategies for Solving Constraints in Type and Effect Systems. Electron. Notes Theor. Comput. Sci. 236 (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)
Bastiaan Heeren, Johan Jeuring
Recognizing Strategies. Electron. Notes Theor. Comput. Sci. 237 (2009)
Bastiaan Heeren, Johan Jeuring
Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM (2009)
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
A lightweight approach to datatype-generic rewriting. ICFP-WGP (2008)
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes
Specifying Strategies for Exercises. AISC/MKM/Calculemus (2008)
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
Report on the tenth ICFP programming contest. ICFP (2008)
Jurriaan Hage, Bastiaan Heeren
Heuristics for Type Error Discovery and Recovery. IFL (2006)
Bastiaan Heeren, Jurriaan Hage
Type Class Directives. PADL (2005)
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
Scripting the type inference process. ICFP (2003)
Bastiaan Heeren, S. Doaitse Swierstra, Jurriaan Hage
Scripting the type inference process. SIGPLAN Notices (2003)
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
Helium, for learning Haskell. Haskell (2003)

Bastiaan Heeren.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bastiaan Heeren