巴斯蒂安·海仁
人员信息
附属: 荷兰赫尔伦开放大学
优化列表
2020年–今天
2024 [i6] 尼克·穆伦内斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
基于实例的多形程序可实现性推理。 CoRR公司 腹肌/2406.18304 ( 2024 ) 2023 [公元43年] 海克·科宁 , 约翰·杰林 , 巴斯蒂安·海仁 :
教育中代码质量的系统映射研究。 ITiCSE(1) 2023 : 5-11 [公元42年] 尼克·穆伦内斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
使用示例传播的程序合成。 PADL(PADL) 2023 : 20-36 [i5] 海克·科宁 , 约翰·杰林 , 巴斯蒂安·海仁 :
教育中代码质量的系统映射研究-具有完整的参考书目。 CoRR公司 abs/2304.13451 ( 2023 ) 2022 [i4] 尼克·穆伦内斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
使用示例传播的程序合成。 CoRR公司 腹肌/2210.13873 ( 2022 ) 2021 [公元9年] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 , 温迪·内杰胡斯(Wendy Neijenhuis) :
Hilbert式公理证明教程中提示和反馈的生成和使用。 国际艺术杂志。 智力。 教育。 31 ( 1 ) : 99-133 ( 2021 ) [公元41年] 马里奥·维哈格 , 劳埃德·拉特利奇 , 巴斯蒂安·海仁 :
基于SHACL的本体设计模式用于基于证据的决策。 WOP(书本) 2021 : 292-298 [公元40年] 海克·科宁 , 巴斯蒂安·海仁 , 约翰·杰林 :
学习代码重构的指导系统。 SIGCSE公司 2021 : 562-568 2020 [j8] Sietske Tacoma公司 , 巴斯蒂安·海仁 , 约翰·杰林 , 保罗·德里杰弗斯 :
假设检验的智能反馈。 国际艺术杂志。 智力。 教育。 30 ( 4 ) : 616-636 ( 2020 ) [公元39年] Sander Kamps公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
通过测量结构不平等来评估演化Haskell系统的质量。 哈斯克尔@ICFP 2020 : 67-79 [公元38年] 海克·科宁 , 巴斯蒂安·海仁 , 约翰·杰林 :
编程导师中的学生重构行为。 Koli呼叫 2020 : 4:1-4:10 [i3] 尼克·穆伦内斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
面向编程导师的模型驱动综合。 CoRR公司 abs/2011.07510 ( 2020 )
2010 – 2019
2019 [j7] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
LogEx中详细反馈和限制反馈的比较,LogEx是一种教授重写逻辑公式的工具。 J.计算。 协助。 学习。 35 ( 5 ) : 620-632 ( 2019 ) [j6] 海克·科宁 , 约翰·杰林 , 巴斯蒂安·希伦 :
编程练习自动反馈生成的系统文献综述。 ACM事务处理。 计算。 教育。 19 ( 1 ) : 3:1-3:43 ( 2019 ) [公元37年] Sietske Tacoma公司 , 巴斯蒂安·海仁 , 约翰·杰林 , 保罗·德里杰弗斯 :
假设测试结构的自动反馈。 AIED(2) 2019 : 281-285 [公元36年] 雷娜特·范德本特 , 约翰·杰林 , 巴斯蒂安·海仁 :
智能辅导系统的诊断行为。 EC-TEL公司 2019 : 112-126 [公元35年] 海克·科宁 , 巴斯蒂安·海仁 , 约翰·杰林 :
教师将如何帮助学生改进他们的代码。 ITiCSE公司 2019 : 119-125 [公元34年] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
在结构归纳辅导系统中提供提示、下一步和反馈。 CADE的ThEdu 2019 : 17-34 2018 [公元33年] 巴斯蒂安·海仁 , 约翰·杰林 , 谢尔盖·索斯诺夫斯基 , 保罗·德里杰弗斯 , 彼得·B·J·布恩 , Sietske Tacoma公司 , 杰西·科普斯 , 阿明·温伯格 , Brigitte Grugeon-Allys公司 , 弗朗索瓦斯·切内沃托特·昆廷 , 乔恩·范·威克 , 费迪南德·范瓦利 :
基于自由输入的数学故事问题精细认知评估。 EC-TEL公司 2018 : 262-276 2017 [j5] 亚历克斯·格德斯 , 巴斯蒂安·希伦 , 约翰·杰林 , 托马斯·范·宾斯贝根 :
Ask-Elle:Haskell提供自动反馈的适应性编程导师。 国际艺术杂志。 智力。 教育。 27 ( 1 ) : 65-100 ( 2017 ) [公元32年] 巴斯蒂安·海仁 , 约翰·杰林 :
用于描述问题解决过程的可扩展领域专用语言。 AIED公司 2017 : 77-89 [公元31年] 海克·科宁 , 巴斯蒂安·海仁 , 约翰·杰林 :
学生课程中的代码质量问题。 ITiCSE公司 2017 : 110-115 [公元30年] 雨果·阿伦兹 , 海克·科宁 , 巴斯蒂安·海仁 , 约翰·杰林 :
智能导师学习微控制器I/O编程表达式的评估。 Koli呼叫 2017 : 2-9 [公元29年] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
生成Hilbert-style公理证明的提示和反馈。 SIGCSE公司 2017 : 387-392 2016 【j4】 Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
命题逻辑领域推理器。 J.大学。 计算。 科学。 22 ( 8 ) : 1097-1122 ( 2016 ) [公元28年] 海克·科宁 , 约翰·杰林 , 巴斯蒂安·海仁 :
对编程练习的自动反馈生成进行系统审查。 ITiCSE公司 2016 : 41-46 2015 [公元27年] 约翰·杰林 , 弗兰斯·格罗斯菲尔德 , 巴斯蒂安·海仁 , 米歇尔·赫尔斯贝根 , 里奇塔·伊金特马 , 文森特·容克 , 妮可·马斯滕布鲁克 , 马尔滕·范德·斯马特 , 弗兰克·维曼斯 , 马贾妮·沃尔特斯 , 亨克·范·泽茨(Henk van Zeijts) :
沟通!- 沟通技巧的严肃游戏-。 EC-TEL公司 2015 : 513-517 [i2] Josje Lodder公司 , 巴斯蒂安·海仁 , 约翰·杰林 :
LogEx使用的初步研究,经验教训。 CoRR公司 abs/1507.03671 ( 2015 ) 2014 [j3] 巴斯蒂安·海仁 , 约翰·杰林 :
逐步练习的反馈服务。 科学。 计算。 程序。 88 : 110-129 ( 2014 ) [公元26年] 约翰·杰林 , 托马斯·范·宾斯贝根 , 亚历克斯·格德斯 , 巴斯蒂安·海仁 :
Ask-Elle中用于诊断学生程序的模型解决方案和属性。 中国能源监管委员会 2014 : 31-40 [公元25年] 海克·科宁 , 巴斯蒂安·海仁 , 约翰·杰林 :
编程导师中基于策略的反馈。 中国能源监管委员会 2014 : 43-54 [公元24年] 蒂姆·奥尔默 , 巴斯蒂安·海仁 , 约翰·杰林 :
在辅导环境中评估Haskell表达式。 TFPIE公司 2014 : 50-66 2013 【c23】 埃里克·安德烈斯 , 巴斯蒂安·海仁 , 约翰·杰林 :
面向特定于域的数学输入支持的自动生成。 CICM研讨会 2013 2012 [公元22年] 西尔维娅·斯图尔曼 , 马可·C·J·D·范·埃克伦 , 巴斯蒂安·海仁 :
开放教育资源可持续发展的新途径。 中国能源监管委员会 2012 : 57-66 【c21】 亚历克斯·格德斯 , 巴斯蒂安·海仁 , 约翰·杰林 :
负责的教师和学生——在函数编程导师中使用带注释的模型解决方案。 EC-TEL公司 2012 : 383-388 [公元20年] 约翰·杰林 , 亚历克斯·格德斯 , 巴斯蒂安·海仁 :
Ask-Elle:哈斯克尔导师-示范。 EC-TEL公司 2012 : 453-458 [第19条] 亚历克斯·格德斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
交互式函数式编程导师。 ITiCSE公司 2012 : 250-255 2011 [第18条] 约翰·杰林 , 亚历克斯·格德斯 , 巴斯蒂安·海仁 :
Haskell的编程导师。 CEFP公司 2011 : 1-45 [第17条] 巴斯蒂安·海仁 , 约翰·杰林 :
交错策略。 结石/MKM 2011 : 196-211 [第16条] Josje Lodder公司 , 巴斯蒂安·海仁 :
用于证明逻辑公式之间等价性的教学工具。 TICTTL公司 2011 : 154-161 2010 [注2] 托马斯·范诺特 , 亚历克谢·罗德里格斯·雅库舍夫 , 斯特凡·霍尔德曼 , 约翰·杰林 , 巴斯蒂安·海仁 , 何塞·佩德罗·马加莱斯 :
数据类型泛型重写的轻量级方法。 J.功能。 程序。 20 ( 3-4 ) : 375-413 ( 2010 ) [j1] 巴斯蒂安·海仁 , 约翰·杰林 , 亚历克斯·格德斯 :
指定交互式练习的重写策略。 数学。 计算。 科学。 三 ( 三 ) : 349-370 ( 2010 ) [第15条] 巴斯蒂安·海仁 , 约翰·杰林 :
适应数学领域推理器。 AISC/MKM/结石 2010 : 315-330 [第14条] 亚历克斯·格德斯 , 约翰·杰林 , 巴斯蒂安·海仁 :
使用策略评估编程练习。 SIGCSE公司 2010 : 441-445 [第13条] 亚历克斯·格德斯 , 巴斯蒂安·海仁 , 约翰·杰林 :
锻炼策略的属性。 综合水系统 2010 : 21-34 [i1] 巴斯蒂安·海仁 , 约翰·杰林 :
适应数学领域推理器。 CoRR公司 绝对值/100 5.4762 ( 2010 )
2000 – 2009
2009 [第12条] 亚历克斯·格德斯 , 巴斯蒂安·海仁 , 约翰·杰林 :
构建编程策略。 CSEDU(1) 2009 : 65-72 [第11条] 巴斯蒂安·海仁 , 约翰·杰林 :
交互式运动助理中的标准形式。 结石/MKM 2009 : 325-340 [第10条] 约翰·杰林 , 何塞·佩德罗·马加莱斯 , 巴斯蒂安·海仁 :
领域推理机的通用编程。 函数式编程趋势 2009 : 113-128 2008 【c9】 巴斯蒂安·海仁 , 约翰·杰林 , 亚瑟·范·吕文 , 亚历克斯·格德斯 :
指定练习策略。 AISC/MKM/结石 2008 : 430-445 【c8】 托马斯·范诺特 , 阿列克谢·罗德里格斯 , 斯特凡·霍尔德曼 , 约翰·杰林 , 巴斯蒂安·海仁 :
数据类型泛型重写的轻量级方法。 ICFP-WGP公司 2008 : 13-24 【c7】 埃尔科·多斯特拉 , 侏罗纪黑格 , 巴斯蒂安·海仁 , 斯特凡·霍尔德曼 , 约翰·杰林 , 安德烈斯·洛赫 , 克拉拉·洛赫 , 阿里·米德尔科普 , 阿列克谢·罗德里格斯 , 约翰·范·希伊 :
第十届ICFP编程竞赛报告。 ICFP公司 2008 : 397-408 【c6】 巴斯蒂安·海仁 , 约翰·杰林 :
识别策略。 WRS@RTA中 2008 : 91-106 [c5] 侏罗纪黑格 , 巴斯蒂安·海仁 :
解决类型和效果系统中约束的策略。 FOSAD的VODCA 2008 : 163-183 2006 【c4】 侏罗纪黑格 , 巴斯蒂安·希伦 :
类型错误发现和恢复的启发。 国际单项体育联合会 2006 : 199-216 2005 【b1】 巴斯蒂安·海仁 :
顶级质量类型错误消息。 荷兰乌得勒支大学, 2005 【c3】 巴斯蒂安·海仁 , 侏罗纪黑格 :
类型类指令。 PADL(PADL) 2005 : 253-267 2003 【c2】 巴斯蒂安·海仁 , Daan Leijen公司 , 阿尔扬·范·伊岑多恩 :
氦,用于学习哈斯克尔。 哈斯克尔 2003 : 62-71 【c1】 巴斯蒂安·海仁 , 侏罗纪黑格 , S.Doaitse Swierstra公司 :
编写类型推断过程的脚本。 ICFP公司 2003 : 3-13