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.
- 12 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
-
Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality
Kamps, S., Heeren, B. & Jeuring, J., Aug 2020, Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
-
Automated feedback for mathematical learning environments
Heeren, B. & Jeuring, J., 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14: Essen, Germany, 22nd to 25th of July 2019, University of Duisburg-Essen. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). Essen, Germany: University of Duisburg-Essen, p. 17-25 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access -
Intelligent Feedback on Hypothesis Testing
Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., Nov 2020, In: International Journal of Artificial Intelligence in Education. 30, 4, p. 616-636 21 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
Prizes
-
Best Reviewer Award ICCE 2019
Heeren, Bastiaan (Recipient), 2019
Prize: Prize (including medals and awards) › Academic
-
Best Reviewer Award ICCE 2020
Heeren, Bastiaan (Recipient), 2020
Prize: Prize (including medals and awards) › Academic
-
Automated feedback for mathematical learning environments
Bastiaan Heeren (Speaker)
24 Sep 2019Activity: Talk or presentation types › Invited talk › Academic
-
An extensible strategy language for describing cognitive skills
Bastiaan Heeren (Speaker) & Johan Jeuring (Speaker)
23 Mar 2017Activity: Talk or presentation types › Oral presentation › Academic