Bastiaan Heeren

63 papers A 6B 9C 3Journal 18Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Systematic Analysis of Higher Education on Software Engineering in the Netherlands. CoRR Bastiaan Heeren, Fabiano Dalpiaz, Mazyar Seraj, Roberto Verdecchia, Vadim Zaytsev
2025	J	`jnl`	Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback. CoRR Gerben van der Hoek, Bastiaan Heeren, Rogier Bos, Paul Drijvers, Johan Jeuring
2024	J	`jnl`	Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2024	J	`jnl`	Example-Based Reasoning about the Realizability of Polymorphic Programs. Proc. ACM Program. Lang. Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2024	—	`conf`	Parsons Problems for Equivalence Proofs in Logic. Koli Calling Marten van den Berg, Bastiaan Heeren, Ebrahim Rahimi
2023	J	`jnl`	A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2023	—	`conf`	A Systematic Mapping Study of Code Quality in Education. ITiCSE (1) Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2023	C	`conf`	Program Synthesis Using Example Propagation. PADL Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2022	J	`jnl`	Program Synthesis Using Example Propagation. CoRR Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2021	A	`conf`	A Tutoring System to Learn Code Refactoring. SIGCSE Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2021	J	`jnl`	Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis
2021	—	`conf`	SHACL-Based Ontology Design Patterns for Evidence-Based Decision-Making. WOP (Book) Mario Verhaeg, Lloyd Rutledge, Bastiaan Heeren
2020	—	`conf`	Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP Sander Kamps, Bastiaan Heeren, Johan Jeuring
2020	J	`jnl`	Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
2020	J	`jnl`	Model-Driven Synthesis for Programming Tutors. CoRR Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2020	—	`conf`	Student Refactoring Behaviour in a Programming Tutor. Koli Calling Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2019	J	`jnl`	A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2019	J	`jnl`	A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. Josje Lodder, Bastiaan Heeren, Johan Jeuring
2019	—	`conf`	Automated Feedback on the Structure of Hypothesis Tests. AIED (2) Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
2019	B	`conf`	How Teachers Would Help Students to Improve Their Code. ITiCSE Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2019	—	`conf`	Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE Josje Lodder, Bastiaan Heeren, Johan Jeuring
2019	B	`conf`	The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL Renate van der Bent, Johan Jeuring, Bastiaan Heeren
2018	B	`conf`	Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL 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
2017	A	`conf`	An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED Bastiaan Heeren, Johan Jeuring
2017	—	`conf`	An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2017	J	`jnl`	Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
2017	B	`conf`	Code Quality Issues in Student Programs. ITiCSE Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2017	A	`conf`	Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE Josje Lodder, Bastiaan Heeren, Johan Jeuring
2016	J	`jnl`	A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. Josje Lodder, Bastiaan Heeren, Johan Jeuring
2016	B	`conf`	Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2015	J	`jnl`	A pilot study of the use of LogEx, lessons learned. CoRR Josje Lodder, Bastiaan Heeren, Johan Jeuring
2015	B	`conf`	Communicate! - A Serious Game for Communication Skills -. EC-TEL 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
2014	—	`conf`	Evaluating Haskell expressions in a tutoring environment. TFPIE Tim Olmer, Bastiaan Heeren, Johan Jeuring
2014	J	`jnl`	Feedback services for stepwise exercises. Sci. Comput. Program. Bastiaan Heeren, Johan Jeuring
2014	—	`conf`	Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren
2014	—	`conf`	Strategy-based feedback in a programming tutor. CSERC Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2013	—	`conf`	Towards automatic generation of domain-specific mathematical input support. CICM Workshops Eric Andres, Bastiaan Heeren, Johan Jeuring
2012	—	`conf`	A new method for sustainable development of open educational resources. CSERC Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren
2012	B	`conf`	An interactive functional programming tutor. ITiCSE Alex Gerdes, Johan Jeuring, Bastiaan Heeren
2012	B	`conf`	Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL Johan Jeuring, Alex Gerdes, Bastiaan Heeren
2012	B	`conf`	Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2011	—	`conf`	A Programming Tutor for Haskell. CEFP Johan Jeuring, Alex Gerdes, Bastiaan Heeren
2011	—	`conf`	A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL Josje Lodder, Bastiaan Heeren
2011	—	`conf`	Interleaving Strategies. Calculemus/MKM Bastiaan Heeren, Johan Jeuring
2010	J	`jnl`	A lightweight approach to datatype-generic rewriting. J. Funct. Program. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
2010	J	`jnl`	Adapting Mathematical Domain Reasoners CoRR Bastiaan Heeren, Johan Jeuring
2010	—	`conf`	Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus Bastiaan Heeren, Johan Jeuring
2010	—	`conf`	Properties of Exercise Strategies IWS Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2010	J	`jnl`	Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. Bastiaan Heeren, Johan Jeuring, Alex Gerdes
2010	A	`conf`	Using strategies for assessment of programming exercises. SIGCSE Alex Gerdes, Johan Jeuring, Bastiaan Heeren
2009	—	`conf`	Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM Bastiaan Heeren, Johan Jeuring
2009	—	`conf`	Constructing Strategies for Programming. CSEDU (1) Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2009	—	`conf`	Generic Programming for Domain Reasoners. Trends in Functional Programming Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
2008	—	`conf`	A lightweight approach to datatype-generic rewriting. ICFP-WGP Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
2008	—	`conf`	Recognizing Strategies. WRS@RTA Bastiaan Heeren, Johan Jeuring
2008	A	`conf`	Report on the tenth ICFP programming contest. ICFP Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
2008	—	`conf`	Specifying Strategies for Exercises. AISC/MKM/Calculemus Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes
2008	—	`conf`	Strategies for Solving Constraints in Type and Effect Systems. VODCA@FOSAD Jurriaan Hage, Bastiaan Heeren
2006	—	`conf`	Heuristics for Type Error Discovery and Recovery. IFL Jurriaan Hage, Bastiaan Heeren
2005	—	`—`	Top quality type error Messages. Bastiaan Heeren
2005	C	`conf`	Type Class Directives. PADL Bastiaan Heeren, Jurriaan Hage
2003	C	`conf`	Helium, for learning Haskell. Haskell Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn
2003	A	`conf`	Scripting the type inference process. ICFP Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra