Research output per year
Research output per year
Fingerprint
Dive into the research topics where Bastiaan Heeren is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Example-Based Reasoning about the Realizability of Polymorphic Programs
Mulleners, N., Jeuring, J. & Heeren, B., 15 Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, p. 317 - 337 247.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
A Systematic Mapping Study of Code Quality in Education
Keuning, H., Jeuring, J. & Heeren, B., 30 Jun 2023, ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 5-11 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, Vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Program Synthesis Using Example Propagation
Mulleners, N., Jeuring, J. & Heeren, B., Jan 2023, Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Springer, Cham, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13880 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
Lodder, J., Heeren, B., Jeuring, J. & Neijenhuis, W., Mar 2021, In: International Journal of Artificial Intelligence in Education. 31, 1, p. 99-133 35 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access -
SHACL-based Ontology Design Patterns for Evidence-based Decision-making
Verhaeg, M., Rutledge, L. W. & Heeren, B. J., 2021, Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020. IOS Press, Vol. 51. p. 292-298 7 p. (Studies on the Semantic Web).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Prizes
-
Best Reviewer Award ICCE 2019
Heeren, B. (Recipient), 2019
Prize: Prize (including medals and awards) › Academic
-
Best Reviewer Award ICCE 2020
Heeren, B. (Recipient), 2020
Prize: Prize (including medals and awards) › Academic
Activities
-
Automated feedback for mathematical learning environments
Heeren, B. (Speaker)
24 Sept 2019Activity: Talk or presentation types › Conference contribution (without a publication) › Academic
-
An extensible strategy language for describing cognitive skills
Heeren, B. (Speaker) & Jeuring, J. (Speaker)
23 Mar 2017Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Design patterns
Heeren, B. (Speaker)
11 Sept 2014Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional