default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBastiaan Heeren
Person information
- affiliation: Open University of the Netherlands, Heerlen, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
[b1]Bastiaan Heeren:
Top quality type error Messages. Utrecht University, Netherlands, 2005
Journal Articles
- 2021
- [j9]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): 99-133 (2021) - 2020
- [j8]Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30(4): 616-636 (2020) - 2019
- [j7]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): 620-632 (2019) - [j6]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. 19(1): 3:1-3:43 (2019) - 2017
- [j5]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): 65-100 (2017) - 2016
- [j4]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22(8): 1097-1122 (2016) - 2014
- [j3]Bastiaan Heeren, Johan Jeuring:
Feedback services for stepwise exercises. Sci. Comput. Program. 88: 110-129 (2014) - 2010
- [j2]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): 375-413 (2010) - [j1]Bastiaan Heeren, Johan Jeuring, Alex Gerdes:
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3(3): 349-370 (2010)
Conference and Workshop Papers
- 2023
- [c43]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Mapping Study of Code Quality in Education. ITiCSE (1) 2023: 5-11 - [c42]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. PADL 2023: 20-36 - 2021
- [c41]Mario Verhaeg, Lloyd Rutledge, Bastiaan Heeren:
SHACL-Based Ontology Design Patterns for Evidence-Based Decision-Making. WOP (Book) 2021: 292-298 - [c40]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
A Tutoring System to Learn Code Refactoring. SIGCSE 2021: 562-568 - 2020
- [c39]Sander Kamps, Bastiaan Heeren, Johan Jeuring:
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP 2020: 67-79 - [c38]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Student Refactoring Behaviour in a Programming Tutor. Koli Calling 2020: 4:1-4:10 - 2019
- [c37]Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) 2019: 281-285 - [c36]Renate van der Bent, Johan Jeuring, Bastiaan Heeren:
The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL 2019: 112-126 - [c35]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
How Teachers Would Help Students to Improve Their Code. ITiCSE 2019: 119-125 - [c34]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE 2019: 17-34 - 2018
- [c33]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:
Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL 2018: 262-276 - 2017
- [c32]Bastiaan Heeren, Johan Jeuring:
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED 2017: 77-89 - [c31]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Code Quality Issues in Student Programs. ITiCSE 2017: 110-115 - [c30]Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling 2017: 2-9 - [c29]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE 2017: 387-392 - 2016
- [c28]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE 2016: 41-46 - 2015
- [c27]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: 513-517 - 2014
- [c26]Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren:
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC 2014: 31-40 - [c25]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Strategy-based feedback in a programming tutor. CSERC 2014: 43-54 - [c24]Tim Olmer, Bastiaan Heeren, Johan Jeuring:
Evaluating Haskell expressions in a tutoring environment. TFPIE 2014: 50-66 - 2013
- [c23]Eric Andres, Bastiaan Heeren, Johan Jeuring:
Towards automatic generation of domain-specific mathematical input support. CICM Workshops 2013 - 2012
- [c22]Sylvia Stuurman, Marko C. J. D. van Eekelen, Bastiaan Heeren:
A new method for sustainable development of open educational resources. CSERC 2012: 57-66 - [c21]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL 2012: 383-388 - [c20]Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL 2012: 453-458 - [c19]Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
An interactive functional programming tutor. ITiCSE 2012: 250-255 - 2011
- [c18]Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. CEFP 2011: 1-45 - [c17]Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211 - [c16]Josje Lodder, Bastiaan Heeren:
A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL 2011: 154-161 - 2010
- [c15]Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330 - [c14]Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445 - [c13]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Properties of Exercise Strategies. IWS 2010: 21-34 - 2009
- [c12]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Constructing Strategies for Programming. CSEDU (1) 2009: 65-72 - [c11]Bastiaan Heeren, Johan Jeuring:
Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340 - [c10]Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:
Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128 - 2008
- [c9]Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes:
Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445 - [c8]Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren:
A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24 - [c7]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: 397-408 - [c6]Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. WRS@RTA 2008: 91-106 - [c5]Jurriaan Hage, Bastiaan Heeren:
Strategies for Solving Constraints in Type and Effect Systems. VODCA@FOSAD 2008: 163-183 - 2006
- [c4]Jurriaan Hage, Bastiaan Heeren:
Heuristics for Type Error Discovery and Recovery. IFL 2006: 199-216 - 2005
- [c3]Bastiaan Heeren, Jurriaan Hage:
Type Class Directives. PADL 2005: 253-267 - 2003
- [c2]Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn:
Helium, for learning Haskell. Haskell 2003: 62-71 - [c1]Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
Scripting the type inference process. ICFP 2003: 3-13
Informal and Other Publications
- 2024
- [i6]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR abs/2406.18304 (2024) - 2023
- [i5]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR abs/2304.13451 (2023) - 2022
- [i4]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. CoRR abs/2210.13873 (2022) - 2020
- [i3]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Model-Driven Synthesis for Programming Tutors. CoRR abs/2011.07510 (2020) - 2015
- [i2]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A pilot study of the use of LogEx, lessons learned. CoRR abs/1507.03671 (2015) - 2010
- [i1]Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. CoRR abs/1005.4762 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
