埃里克·巴伦德森
人员信息
附属: 荷兰奈梅亨Radboud大学
优化列表
2020年–今天
2023 [j8] 杰奎琳·尼詹胡伊斯·沃格特 , 杜丹·贝拉姆·雅各布斯 , 保利安·梅耶尔 , 埃里克·巴伦德森 :
高中教育中的教学算法:教师教学内容知识研究。 计算。 科学。 教育。 33 ( 1 ) : 61-93 ( 2023 ) [公元48年] 尼尔斯末日 , 坦贾·E.J.沃斯 , Beatriz Marín , 埃里克·巴伦德森 :
在教授编程时树立一个正确的榜样:用实例进行基于测试的学习(TILE)。 ICST公司 2023 : 269-280 [公元47年] 尼尔斯末日 , 坦贾·E.J.沃斯 , Beatriz Marín , 克里斯托夫·博基什 , 斯蒂芬·迪克 , 埃里克·巴伦德森 :
领域TILE:基于测试领域示例的测试学习。 RCIS公司 2023 : 501-508 2022 [j7] 杰奎琳·尼詹胡伊斯·沃格特 , 杜丹·贝拉姆·雅各布斯 , 保利安·梅耶尔 , 埃里克·巴伦德森 :
在新环境中识别算法概念:学生推理分析。 信息学教育。 21 ( 三 ) : 541-568 ( 2022 ) [公元46年] 克里斯托斯·奇塔斯 , 艾克·勃拉姆斯 , 伊拉·迪瑟姆 , 埃里克·巴伦德森 :
青少年在基于制造的编码活动中对计算设计的看法。 FabLearn/MakeEd公司 2022 : 4分-4秒9 [公元45年] 萨比哈·耶尼 , 杰奎琳·尼詹胡伊斯·沃格特 , 猫咪赫尔曼斯 , 埃里克·巴伦德森 :
计算思维与语言艺术的融合:数字讲故事对学生学习的贡献。 WiPSCE软件 2022 : 3:1-3:10 [电子10] 布雷特·贝克尔 , 基思·奎尔 , 米科·尤西·拉克索 , 埃里克·巴伦德森 , 西蒙 :
《ITiCSE 2022:计算机科学教育中的创新与技术》,爱尔兰都柏林,2022年7月8日至13日,第1卷。 ACM公司 2022 ,国际标准图书编号 978-1-4503-9201-3 [目录] [电子9] 布雷特·贝克尔 , 基思·奎尔 , 米科·尤西·拉克索 , 埃里克·巴伦德森 , 西蒙 :
《ITiCSE 2022:计算机科学教育中的创新与技术》,爱尔兰都柏林,2022年7月8日至13日,第2卷。 ACM公司 2022 ,国际标准图书编号 978-1-4503-9200-6 [目录] [电子8] 布雷特·贝克尔 , 基思·奎尔 , 米科·尤西·拉克索 , 埃里克·巴伦德森 :
《2022年计算机科学教育创新与技术工作组报告汇编》,ITiCSE-WGR 2022,爱尔兰都柏林,2022年7月8日至13日。 ACM公司 2022 [目录] 2021 [j6] 杰奎琳·尼詹胡伊斯·沃格特 , 杜丹·贝拉姆·雅各布斯 , 保利安·梅耶尔 , 埃里克·巴伦德森 :
无所不在但难以捉摸:教师对中学算法教学背景的看法。 计算。 科学。 教育。 31 ( 1 ) : 30-59 ( 2021 ) [公元44年] 巴斯·范·扎德尔霍夫 , 易卜拉欣·拉希米 , 埃里克·巴伦德森 :
促进中等教育编程设计学习环境的原则,同时使学习以真实的方式可见。 Koli呼叫 2021 : 12:1-12:10 [公元43年] 西尔维娅·范·博尔库洛 , 克里斯托斯·奇塔斯 , 保罗·德里杰弗斯 , 埃里克·巴伦德森 , 乔斯·托布姆 :
数学课堂中的计算思维:使用动态数学软件培养算法思维和泛化技能。 WiPSCE软件 2021 : 19:1-19:9 [公元42年] 萨比哈·耶尼 , 娜塔莎·格古里纳 , 猫咪赫尔曼斯 , 乔斯·托布姆 , 埃里克·巴伦德森 :
情境中教师计算思维的PCK探究。 WiPSCE软件 2021 : 20:1-20:10 [电子7] 埃里克·巴伦德森 , 克里斯托斯·奇塔斯 :
学校信息学。 重新思考计算机教育——第14届学校信息学国际会议:形势、演变和展望,ISSEP 2021,虚拟事件,2021年11月3-5日,会议记录。 计算机科学讲义 13057, 施普林格 2021 ,国际标准图书编号 978-3-030-90227-8 [目录] [电子6] 卡斯滕·舒尔特 , 布雷特·贝克尔 , 莫妮卡·迪维蒂尼 , 埃里克·巴伦德森 :
ITiCSE’21:第26届ACM计算机科学教育创新与技术会议论文集V.1,虚拟活动,德国,2021年6月26日至7月1日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8214-4 [目录] [电子5] 卡斯滕·舒尔特 , 布雷特·贝克尔 , 莫妮卡·迪维蒂尼 , 埃里克·巴伦德森 :
ITiCSE’21:第26届ACM计算机科学教育创新与技术会议论文集,第2版,虚拟活动,德国,2021年6月26日至7月1日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8397-4 [目录] 2020 [公元41年] 伦斯克·塔尔斯玛 , 埃里克·巴伦德森 , Sjaak Smetsers公司 :
使用眼动跟踪分析区块突出显示对初学者阅读行为的影响。 中国能源监管委员会 2020 : 9:1-9:10 [公元40年] 伦斯克·维达 , 克鲁兹·伊祖 , 玛丽亚·卡莉亚 , 埃里克·巴伦德森 :
中等教育EiPE任务评估准则:确定质量指标和描述符。 Koli呼叫 2020 : 30:1-30:10
2010 – 2019
2019 [公元39年] 伊洛娜·威尔蒙特 , 埃里克·巴伦德森 , Stijn Hoppenbrouwers公司 :
实际流程建模中执行功能的案例研究。 CAiSE研讨会 2019 : 17-28 [公元38年] 西尔维娅·斯图尔曼 , 哈里·J·M·帕西耶 , 盖文(Frédérique Geven) , 埃里克·巴伦德森 :
自闭症:关于软件工程的包容性教育的含义。 中国能源监管委员会 2019 : 15-25 [公元37年] 阿诺德·皮尔斯 , 埃里克·巴伦德森 , 瓦伦蒂娜·达吉恩 , 弗拉迪米拉斯·多尔戈波洛娃 , 埃格尔·贾苏特 :
通过计算思维进行整体STEAM教育:未来教师培训的一个视角。 ISSEP公司 2019 : 41-52 [公元36年] 海尔克·H·费伯 , 乔西娜·科宁 , Menno D.M.Wierdsma公司 , 亨德利恩·斯特恩贝克(Henderien W.Steenbeek) , 埃里克·巴伦德森 :
在幼儿解决算法任务中观察抽象。 ISSEP公司 2019 : 95-106 [c35] 杰奎琳·尼詹胡伊斯·沃格特 , 杜丹·贝拉姆·雅各布斯 , 保利安·梅耶尔 , 埃里克·巴伦德森 :
分析学生对算法概念的重新文本化策略。 WiPSCE软件 2019 : 7:1-7:2 2018 [公元34年] 易卜拉欣·拉希米 , 伊内克·亨泽 , 猫咪赫尔曼斯 , 埃里克·巴伦德森 :
调查参加临时编程MOOC的教师的教学内容知识。 ISSEP公司 2018 : 180-193 [公元33年] 娜塔莎·格古里纳 , 乔斯·托布姆 , 埃里克·巴伦德森 :
荷兰中等教育信息学第二个十年。 ISSEP公司 2018 : 271-282年 [公元32年] 马可·马塞利斯 , 埃里克·巴伦德森 , 杰罗恩·J·G·范梅里恩博尔 :
使用4C/ID设计Android应用程序开发的混合课程。 Koli呼叫 2018 : 19:1-19:5 [公元31年] 劳拉·本韦努蒂 , 埃里克·巴伦德森 , 杰里特·范德维尔 , 约翰·维森达尔 :
理解混合世界中的计算:关于本科课程的前沿发展。 SIGCSE公司 2018 : 580-585 [公元30年] 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 科尔·J·M·苏里 , 伯特·兹瓦内维尔德 , 克拉斯·范维恩 :
中等计算科学教育中的建模与仿真评估。 WiPSCE软件 2018 : 7:1-7:10 [公元29年] 易卜拉欣·拉希米 , 埃里克·巴伦德森 , 伊内克·亨泽 :
在中等计算机科学教育中将设计和概念理解联系起来的教学模式。 WiPSCE软件 2018 : 11:1-11:4 [公元28年] 杰奎琳·尼詹胡伊斯·沃格特 , 保利安·梅耶尔 , 埃里克·巴伦德森 :
基于情境的计算机科学基础概念教学:探索教师的想法。 WiPSCE软件 2018 : 15:1-15:4 2017 [c27] 伊洛娜·威尔蒙特 , Stijn Hoppenbrouwers公司 , 埃里克·巴伦德森 :
协作建模技能行为分析的观察方法。 CAiSE研讨会 2017 : 59-71 [公元26年] 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 科尔·J·M·苏里 , 克拉斯·范维恩 , 伯特·兹瓦内维尔德 :
信息学教师初始教学内容建模与仿真知识调查。 ISSEP公司 2017 : 65-76 [公元25年] 易卜拉欣·拉希米 , 埃里克·巴伦德森 , 伊内克·亨泽 :
通过流程图分析识别学生对基本算法概念的误解。 ISSEP公司 2017 : 155-168 [电子4] 埃里克·巴伦德森 , 彼得·哈布维塞 :
2017年11月8日至10日,荷兰奈梅亨,第十二届中小学计算机教育研讨会论文集,WiPSCE 2017。 ACM公司 2017 ,国际标准图书编号 978-1-4503-5428-8 [目录] 2016 [公元24年] 埃里克·巴伦德森 , 蒂姆·斯蒂恩沃登 :
中等教育国际信息学课程的概念内容分析。 ISSEP公司 2016 : 14-27 【c23】 易卜拉欣·拉希米 , 埃里克·巴伦德森 , 伊内克·亨泽 :
荷兰高中教育中信息学教师设计数字艺术品的PCK类型化。 ISSEP公司 2016 : 65-77 [公元22年] 埃里克·巴伦德森 , 娜塔莎·格古里纳 , 乔斯·托布姆 :
荷兰中学信息学新课程。 ISSEP公司 2016 : 105-117 【c21】 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 伯特·兹瓦内维尔德 , 克拉斯·范维恩 , 科尔·J·M·苏里 :
信息学中建模与仿真的定义与观察。 ISSEP公司 2016 : 130-141 [公元20年] 西尔维娅·斯图尔曼 , Harrie Passer公司 , 埃里克·巴伦德森 :
分析学生的软件重新设计策略。 Koli呼叫 2016 : 110-119 [第19条] Martijn Stegeman公司 , 埃里克·巴伦德森 , Sjaak Smetsers公司 :
为编程课程中的代码质量设计反馈量规。 Koli呼叫 2016 : 160-164 [电子3] 扬·瓦伦霍尔德 , 埃里克·巴伦德森 :
2016年10月13日至15日,德国慕尼黑WiPSCE第十一届中小学计算机教育研讨会论文集。 ACM公司 2016 ,国际标准图书编号 978-1-4503-4223-0 [目录] 2015 [第18条] 埃里克·巴伦德森 , 琳达·曼尼拉 , 芭芭拉·德莫 , 娜塔莎·格古里纳 , 克鲁兹·伊祖 , 克劳迪奥·米罗洛 , Sue判决 , 琥珀色定居 , 加布里埃尔·斯图普林 :
K-9计算机科学教育的概念。 ITiCSE-WGR公司 2015 : 85-116 [c17] 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 克拉斯·范维恩 , 科尔·J·M·苏里 , 伯特·兹瓦内维尔德 :
探索学生在建模和仿真项目中的计算思维技能:初步研究。 WiPSCE软件 2015 : 65-68 2014 [第16条] Martijn Stegeman公司 , 埃里克·巴伦德森 , Sjaak Smetsers公司 :
针对代码质量评估的经验验证模型。 Koli呼叫 2014 : 99-108 [第15条] 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 伯特·兹瓦内维尔德 , 克拉斯·范维恩 , Idzard Stoker公司 :
荷兰中学教育中的计算思维技能:探索教学内容知识。 Koli呼叫 2014 : 173-174 [第14条] 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 伯特·兹瓦内维尔德 , 克拉斯·范维恩 , Idzard Stoker公司 :
荷兰中学教育中的计算思维技能:探索教师的观点。 WiPSCE软件 2014 : 124-125 [电子2] 埃里克·巴伦德森 , 瓦伦蒂娜·达吉恩 :
2014年11月5日至6日,德国柏林,CSERC,计算机科学教育研究会议记录。 ACM公司 2014 ,国际标准图书编号 978-1-4503-3347-4 [目录] 2013 [第13条] Sjaak Smetsers公司 , 埃里克·巴伦德森 :
验证函数形式化——PVS中的一个类型理论案例研究。 功能代码之美 2013 : 47-59 [第12条] 伊洛娜·威尔蒙特 , Sytse Hengeveld公司 , 埃里克·巴伦德森 , Stijn Hoppenbrouwers公司 :
概念建模的认知机制——人们是如何做到的? 急诊室 2013 : 74-87 [第11条] 埃里克·巴伦德森 , Idzard Stoker公司 :
CS教材中的计算思维:一项初步研究。 Koli呼叫 2013 : 199-200 [第10条] 娜塔莎·格古里纳 , 埃里克·巴伦德森 , 伯特·兹瓦内维尔德 , 维姆·范·德·格里夫特 , Idzard Stoker公司 :
荷兰中学教育中的计算思维技能。 WiPSCE软件 2013 : 31-32 [电子1] 马可·C·J·D·范·埃克伦 , 埃里克·巴伦德森 , 彼得·斯洛普 , 杰里特·范德维尔 :
2013年4月4日至5日,荷兰阿纳姆,第三届计算机科学教育研究会议论文集,CSERC 2013。 ACM公司 2013 [目录] 2012 【c9】 伊洛娜·威尔蒙特 , 埃里克·巴伦德森 , Stijn Hoppenbrouwers公司 , Sytse Hengeveld公司 :
协同建模中的抽象推理。 HICSS公司 2012 : 170-179 【c8】 伊洛娜·威尔蒙特 , 埃里克·巴伦德森 , Stijn Hoppenbrouwers公司 :
确定流程建模中抽象和执行控制的角色。 PoEM(短文) 2012
2000 – 2009
2009 【c7】 本尼迪克特·奥约 , 德姆贝·威廉姆斯 , 埃里克·巴伦德森 :
整合行动研究和系统动力学:面向参与式建模的通用过程设计。 HICSS公司 2009 : 1-11 2002 [j5] 亨克·巴伦德雷格特 , 埃里克·巴伦德森 :
形式证明中的自动机计算。 J.汽车。 原因。 28 ( 三 ) : 321-336 ( 2002 )
1990 – 1999
1999 【j4】 赫尔曼·杰弗斯 , 埃里克·巴伦德森 :
关于一阶依赖型系统lambda-P的一些逻辑和句法观察。 数学。 结构。 计算。 科学。 9 ( 4 ) : 335-359 ( 1999 ) 1996 [j3] 埃里克·巴伦德森 , 马克·贝泽姆 :
简单类型结构的多形扩张-应用于杆递归最小化。 Ann.纯粹应用。 日志。 79 ( 三 ) : 221-280 ( 1996 ) [注2] 埃里克·巴伦德森 , Sjaak Smetsers公司 :
具有图形重写语义的函数语言的唯一性类型。 数学。 结构。 计算。 科学。 6 ( 6 ) : 579-612 ( 1996 ) 1995 【c6】 埃里克·巴伦德森 , Sjaak Smetsers公司 :
自然演绎风格的独特性打字。 函数式编程 1995 : 1 【c5】 埃里克·巴伦德森 , Sjaak Smetsers公司 :
唯一性类型推断。 PLILP公司 1995 : 189-206 [c4] 埃里克·巴伦德森 , Sjaak Smetsers公司 :
唯一性类型的派生系统。 赛格拉 1995 : 11-18 1993 [c3] 埃里克·巴伦德森 , Sjaak Smetsers公司 :
使用复制扩展图形重写。 达格斯图尔计算机科学图形变换研讨会 1993 : 51-70 【c2】 Sjaak Smetsers公司 , 埃里克·巴伦德森 , 马可·C·J·D·范·埃克伦 , 马林努斯·普拉斯梅耶尔 :
通过具有图形唯一性信息的类型系统确保安全的破坏性更新。 达格斯图尔计算机科学图形变换研讨会 1993 : 358-379 【c1】 埃里克·巴伦德森 , Sjaak Smetsers公司 :
图形重写系统中的常规类型和唯一类型。 FSTTCS公司 1993 : 41-51 1991 [j1] 埃里克·巴伦德森 :
lambda微积分中的一个不可解数值系统。 J.功能。 程序。 1 ( 三 ) : 367-372 ( 1991 )