停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

凯西·菲斯勒

凯瑟琳·菲斯勒

>主页 >珀森斯

人员信息

附属： 美国罗得岛州普罗维登斯布朗大学
隶属关系（前）： 伍斯特理工学院，美国马萨诸塞州伍斯特

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元77年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/RiveraFK24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/RiveraFK24
以利亚·里维拉,凯西·菲斯勒,克里希纳穆西神社:
学生课程规划符号设计观察。 SIGCSE（一） 2024:1133-1139
[公元76年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/DrozdaWFW24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/DrozdaWFW24
扎雷克·德罗兹达,东芝沃克法官,凯西·菲斯勒,大卫·温特洛普:
数据科学中的计算还是计算机科学中的数据？探索K-12教育中数据科学与计算机科学的关系。 SIGCSE（2） 2024:1527-1528
2023
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LuKFT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LuKFT23
匡臣路,克里希纳穆西神社,凯西·菲斯勒,埃瑟尔·祖库杜:
学生转换（功能）语言时会发生什么（经验报告）。程序。ACM计划。语言。 7(ICFP公司):796-812(2023)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigcse/FranklinFDH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigcse/FranklinFDH23网站
戴安娜·富兰克林,凯西·菲斯勒,保罗·丹尼,玛格丽特·汉密尔顿:
ICER 2023概述。 ACM SIGCSE公牛。 55(4):5(2023)
[公元75年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/RenF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/RenF23
任燕燕,凯西·菲斯勒:
构建负责任计算教学的社会威胁建模框架。 SIGCSE（一） 2023:402-408
[电子4]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/2023-1
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/2023-1
凯西·菲斯勒,保罗·丹尼,戴安娜·富兰克林,玛格丽特·汉密尔顿:
2023年美国计算机学会国际计算教育研究会议记录-第1卷，ICER 2023，芝加哥，伊利诺伊州，美国，2023年8月7日至11日。 ACM公司 2023，国际标准图书编号978-1-4503-9976-0 [目录]
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/2023-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/2023-2
凯西·菲斯勒,保罗·丹尼,戴安娜·富兰克林,玛格丽特·汉密尔顿:
2023年美国计算机学会国际计算教育研究会议记录-第2卷，ICER 2023，芝加哥，伊利诺伊州，美国，2023年8月7日至11日。 ACM公司 2023，国际标准图书编号978-1-4503-9975-3 [目录]
2022
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/FincherF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/FincherF22
萨利·芬奇,凯西·菲斯勒:
探索计算机科学教育中的问题和答案。 Commun公司。ACM公司 65(7):9(2022)
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/DyerNFK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/DyerNFK22
特里斯坦染色机,蒂姆尼尔森,凯西·菲斯勒,克里希纳穆西神社:
将认知原理应用于建模输出：负面信息的积极价值。程序。ACM计划。语言。 6(OOPSLA1公司):1-29(2022)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigcse/HauswirthVFF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigcse/HauswirthVFF22
马蒂亚斯·豪斯沃思,扬·瓦伦霍尔德,戴安娜·富兰克林,凯西·菲斯勒:
ICER 2022呼吁参与。 ACM SIGCSE公牛。 54(2):6(2022)
[公元74年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dataed/Fisler公司22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dataed/Fisler22
凯西·菲斯勒:
数据中心：重新思考引导性计算以支持数据科学。数据编辑@SIGMOD 2022:1-3
[公元73年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/ShanzerPDDPLFK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/ShanzerPDDPLFK21
艾曼纽尔·尚泽（Emmanuel Schanzer）,南希·普芬宁,弗兰纳里·丹尼,萨姆·杜曼,乔·吉布斯-波利茨,本杰明·勒纳,凯西·菲斯勒,克里希纳穆西神社:
中学综合数据科学：课程设计与评估。 SIGCSE（一） 2022:22-28
[公元72年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/FislerFLV21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/FislerFLV21
凯西·菲斯勒,索雷尔·弗里德勒,凯文·林,苏雷什·文卡塔苏布拉曼尼亚语:
将负责任的计算融入数据结构和算法课程的方法。 SIGCSE（2） 2022:1049-1050
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/2022
扬·瓦伦霍尔德,凯西·菲斯勒,马蒂亚斯·豪斯沃思,戴安娜·富兰克林:
ICER 2022:ACM国际计算机教育研究会议，卢加诺和虚拟活动，瑞士，2022年8月7-11日，第1卷。 ACM公司 2022，国际标准图书编号978-1-4503-9194-8 [目录]
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/2022-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/2022年2月2日
扬·瓦伦霍尔德,凯西·菲斯勒,马蒂亚斯·豪斯沃思,戴安娜·富兰克林:
ICER 2022:ACM国际计算教育研究会议，瑞士卢加诺和虚拟活动，2022年8月7日至11日，第2卷。 ACM公司 2022，国际标准图书编号978-1-4503-9195-5 [目录]
2021
[公元71年]
- 看法
  - 电子版@gi.de
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/delfi/Fisler公司21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/delfi/Fisler21
凯西·菲斯勒:
利用数据科学和社会影响分析扩大计算机科学入门课程的参与。 DELFI公司 2021:21-22
[公元70年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/KrishnamurthiF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/KrishnamurthiF21
克里希纳穆西神社,凯西·菲斯勒:
发展高阶函数的行为概念。 ICER公司 2021:306-318
[公元69年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/FislerSWFRKPLPK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/FislerSWFRKPLPK21
凯西·菲斯勒,艾曼纽尔·尚泽（Emmanuel Schanzer）,史蒂夫·魏玛,安妮·费特,K.Ann Renninger公司,克里希纳穆西神社,乔·吉布斯-波利茨,本杰明·勒纳,詹妮弗·普尔,克里斯汀·科尔纳:
发展K-12课程，将计算机科学融入数学。 SIGCSE公司 2021:59-65
[c68]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/刘易斯FHMPPS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/LewisFHMPPS21
科琳·M·刘易斯,凯西·菲斯勒,珍妮·辛兹,大卫·J·马兰,约书亚·E·佩利,曼努埃尔·A·佩雷斯-奎尼翁,希哈·辛格:
微格教学：语义学，计算机定义，运行时间，分形树，类封装，P与NP。 SIGCSE公司 2021:766-767
[公元67年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/CohenTF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/CohenPTF21
莉娜·科恩,海拉·普雷塞尔,哈罗德·特里德曼,凯西·菲斯勒:
将负责任计算融入CS课程的新模型。 SIGCSE公司 2021:858-864
2020
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/KrishnamurthiF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/KrishnamurthiF20
克里希纳穆西神社,凯西·菲斯勒:
以数据为中心：计算机教育面临的挑战和机遇。 Commun公司。ACM公司 63(8):24-26(2020)
[公元66年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/GuHLRFK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/GuHLRFK20
顾行健,马克斯·海勒,斯特拉·李,任燕燕,凯西·菲斯勒,克里希纳穆西神社:
使用设计备选方案了解数据组织。 ICER公司 2020:248-258
[公元65年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/LewisBBCFFFGHMH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/LewisBBCFFFGHMH20
科琳·M·刘易斯,蒂姆·贝尔,保罗·布利克斯坦,亚当·卡特,卡特里娜·福克纳,萨利·芬奇,凯西·菲斯勒,古兹迪阿尔,帕特里夏·哈登,Sepehr Hejazi Moghadam公司,迈克尔·S·霍恩,克里斯托弗·亨德豪森,艾米·J·科,托马斯·兰卡斯特,迈克尔·路易斯,劳伦·马古利埃,利奥·波特,安东尼·罗宾斯,Jean J.Ryoo,尼拉尔·沙阿,本杰明·夏皮罗,凯里·谢泼德,贝斯·西蒙,迈克·蒂森巴姆,伊恩·尤廷,扬·瓦伦霍尔德,阿曼·雅达夫:
《剑桥计算机教育研究手册》在75分钟内完成了总结。 SIGCSE公司 2020:323-324
【c64】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/GroverFLY20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/GroverFLY20
舒奇·格罗弗,凯瑟琳·菲斯勒,艾琳·A·李,阿曼·雅达夫:
将计算和计算思维融入K-12 STEM学习。 SIGCSE公司 2020:481-482
[公元63年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/CastroF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/CastroF20
弗朗西斯科·恩里克·维森特·卡斯特罗,凯西·菲斯勒:
新手程序员任务级和代码级思维之间运动的定性分析。 SIGCSE公司 2020:487-493
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-01794
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-01794
克里希纳穆西神社,艾曼纽尔·尚泽（Emmanuel Schanzer）,乔·吉布斯-波利茨,本杰明·勒纳,凯西·菲斯勒,萨姆·杜曼:
数据科学是中学生和高中生走向人工智能的途径。 CoRR公司 abs/2005.01794(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/SchanzerKF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/ShanzerKF19
艾曼纽尔·尚泽（Emmanuel Schanzer）,克里希纳穆西神社,凯西·菲斯勒:
计算机课程取得成功意味着什么？ Commun公司。ACM公司 62(5):30-32(2019)
[c62]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/RenKF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/RenKF19
任燕燕,克里希纳穆西神社,凯西·菲斯勒:
学生在助教办公时间寻求什么帮助？ ICER公司 2019:41-49
[第61条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/CastroF19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/CastroF19
弗朗西斯科·恩里克·维森特·卡斯特罗,凯西·菲斯勒:
平衡行为：关于新手高级任务思维和低级实现思维之间相互作用的理论。 ICER公司 2019:295
[公元60年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/SarinenKFW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/SarinenKFW19
萨姆·萨里宁,克里希纳穆西神社,凯西·菲斯勒,普雷斯顿？特内尔？威尔逊:
利用课堂智慧：评估工具生成的课堂资源和机器学习。 SIGCSE公司 2019:606-612
2018
[公元59年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/WrennKF18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/WrennKF18
约翰·雷恩,克里希纳穆西神社,凯西·菲斯勒:
谁测试测试人员？ ICER公司 2018:51-59
[公元58年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/ShanzerFK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/ShanzerFK18
艾曼纽尔·尚泽（Emmanuel Schanzer）,凯西·菲斯勒,克里希纳穆西神社:
评估引导：代数学生的支架式和非支架式单词问题。 SIGCSE公司 2018:8-13
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/SchanzerKF18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/SchanzerKF18
艾曼纽尔·尚泽（Emmanuel Schanzer）,克里希纳穆西神社,凯西·菲斯勒:
创意、定制和所有权：引导中的游戏设计：代数。 SIGCSE公司 2018:161-166
[c56]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/WilsonFK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/WilsonFK18
普雷斯顿？特内尔？威尔逊,凯西·菲斯勒,克里希纳穆西神社:
评估替换概念机中递归的跟踪。 SIGCSE公司 2018:1023-1028
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/PolitzFKL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/PolitzFKL17
乔·吉布斯-波利茨,凯西·菲斯勒,克里希纳穆西神社,本杰明·勒纳:
从电子表格到程序：数据科学和Pyret中的CS1（仅摘要）。 SIGCSE公司 2018:1058
2017
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/FislerC17型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/FislerC17
凯西·菲斯勒,弗朗西斯科·恩里克·维森特·卡斯特罗:
有时，降雨量会累积：与初学者功能程序员一起大声交谈。 ICER公司 2017:12-20
[公元53年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kolicalling/CastroF17号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kolicalling/CastroF17网址
弗朗西斯科·恩里克·维森特·卡斯特罗,凯西·菲斯勒:
设计多方面的SOLO分类法，以在整个课程中跟踪程序设计技能。科利呼叫 2017:10-19
[第52条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kolicalling/CastroKF17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kolicalling/CastroKF17
弗朗西斯科·恩里克·维森特·卡斯特罗,克里希纳穆西神社,凯西·菲斯勒:
一堂讲座对第一年CS课程计划的影响。科利呼叫 2017:118-122
[第51条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/FislerKW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/FislerKW17
凯西·菲斯勒,克里希纳穆西神社,普雷斯顿？特内尔？威尔逊:
高水平本科生的评估和教学范围、变异和混淆。 SIGCSE公司 2017:213-218
[公元50年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/snapl/PombrioKF17文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/snapl/PombrioKF17
贾斯汀·庞布里奥,克里希纳穆西神社,凯西·菲斯勒:
通过实验和对抗性思维教授编程语言。 SNAPL公司 2017:13:1-13:9
2016
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/CastroF16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/CastroF16
弗朗西斯科·恩里克·维森特·卡斯特罗,凯西·菲斯勒:
自下而上与数据类型驱动程序设计之间的相互作用。 SIGCSE公司 2016:205-210
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/FislerKS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/FislerKS16
凯西·菲斯勒,克里希纳穆西神社,珍妮特·西格蒙德:
现代化的平面构成研究。 SIGCSE公司 2016:211-216
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/PolitzCGFK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/PolizCGFK16
乔·吉布斯-波利茨,约瑟夫·科拉德,阿琼·古哈,凯西·菲斯勒,克里希纳穆西神社:
扫荡：流动同行评审的基本示例。 SIGCSE公司 2016:243-248
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl报告/CaspersenFV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/CaspersenFV16
迈克尔·卡斯珀森,凯西·菲斯勒,扬·瓦伦霍尔德:
计算机科学导论学习评估（Dagstuhl研讨会16072）。达格斯图尔报告 6(2):78-96(2016)
2015
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/ShanzerFKF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/ShanzerFKF15
艾曼纽尔·尚泽（Emmanuel Schanzer）,凯西·菲斯勒,克里希纳穆西神社,马提亚斯·费莱森:
通过引导将解决单词问题的技能从计算转移到代数。 SIGCSE公司 2015:616-621
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/ShanzerF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/ShanzerF15
艾曼纽尔·尚泽（Emmanuel Schanzer）,凯西·菲斯勒:
通过引导和程序设计教授代数和计算（仅抽象）。 SIGCSE公司 2015:695
2014
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/PolitzKF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/PolizKF14
乔·吉布斯-波利茨,克里希纳穆西神社,凯西·菲斯勒:
测试首次编程中测试的流入同行审查。 ICER公司 2014:11-18
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/Fisler14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/Fisler14
凯西·菲斯勒:
反复出现的降雨问题。 ICER公司 2014:35-42
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 确认/确认CFHKPTW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iticse/ClarkeCFHKPTW14
戴夫·克拉克,托尼·克莱尔,凯西·菲斯勒,马蒂亚斯·豪斯沃思,克里希纳穆西神社,乔·吉布斯-波利茨,维尔·蒂罗宁,托比亚斯·箭牌:
流动同行评审。 ITiCSE-WGR公司 2014:59-79
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iticse/PolitzPKF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iticse/PolitzPKF14
乔·吉布斯-波利茨,丹尼尔·帕特森,克里希纳穆西神社,凯西·菲斯勒:
CaptainTeach：针对编程任务的多阶段、流程内同行评审。 ITiCSE公司 2014:267-272
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iticse/PolitzKF14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/politice/PolitzKF14
乔·吉布斯-波利茨,克里希纳穆西神社,凯西·菲斯勒:
CaptainTeach：一个用于对编程任务进行流式同行评审的平台。 ITiCSE公司 2014:332
2013
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/NelsonSDFK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/NelsonSDFK13
蒂姆尼尔森,萨勒曼·萨加菲,丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
铝：通过最小化进行原则性场景探索。 ICSE公司 2013:232-241
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/ValleeWZFK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ValleeWZFK13网站
汉纳河谷码头,詹姆斯·沃尔什,威廉·齐姆林,凯西·菲斯勒,克里希纳穆西神社:
可用安全作为一个静态分析问题：对社交共享系统中的用户权限进行建模和推理。向前的！ 2013:1-16
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcomm/NelsonGDFK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcomm/NelsonGDFK13
蒂姆尼尔森,阿琼·古哈,丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
力量的平衡：富有表现力、可分析的控制器编程。 HotSDN（热SDN） 2013:79-84
2012
[c36]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aosd/FislerFB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aosd/FislerFB12
凯西·菲斯勒,保罗·弗里塔斯,丹·比约热:
面向总线协议的方面语言。 DSAL@AOSD 2012:3-8
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aosd/SaghafiFK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aosd/SaghafiFK12
萨勒曼·萨加菲,凯西·菲斯勒,克里希纳穆西神社:
特性和对象能力：协调模块化的两种观点。 AOSD公司 2012:25-34
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asm/NelsonDFK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/NelsonDFK12
蒂莫西·纳尔逊,丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
走向更完整的合金。 ABZ公司 2012:136-149
[c33]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/FislerB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/FislerB12
凯西·菲斯勒,斯蒂芬·布洛赫:
按设计编程：从动画到数据结构（仅抽象）。 SIGCSE公司 2012:661
2011
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icer/MarceauFK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icer/MarceauFK11
纪尧姆·马尔索,凯西·菲斯勒,克里希纳穆西神社:
价值观在树上生长吗函数式编程中的表达式完整性。 ICER公司 2011:39-44
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iticse/YooSKF11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iticse/YooSKF11
丹尼·尤奥,艾曼纽尔·尚泽（Emmanuel Schanzer）,克里希纳穆西神社,凯西·菲斯勒:
WeScheme：浏览器是您的编程环境。 ITiCSE公司 2011:163-167
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/netgames/JordanKMCF11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/netgames/JordanKMCF11
克雷格·乔丹,马特·克纳普,丹·米切尔,马克·克莱普尔,凯西·菲斯勒:
对策：一款教授计算机安全的游戏。网络游戏 2011:1-6
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/MarceauFK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/MarceauFK11
纪尧姆·马尔索,凯西·菲斯勒,克里希纳穆西神社:
注意你的语言：关于新手与错误消息的交互。向前的！ 2011:3-18
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcse/MarceauFK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcse/MarceauFK11
纪尧姆·马尔索,凯西·菲斯勒,克里希纳穆西神社:
衡量为新手程序员设计的错误消息的有效性。 SIGCSE公司 2011:499-504
2010
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/ClementsF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/ClementsF10
克莱门茨,凯西·菲斯勒:
“小语言”项目模块。 J.功能。程序。 20(1):3-18(2010)
[公元27年]
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lisa/NelsonBDFK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lisa/NelsonBDFK10
蒂莫西·纳尔逊,克里斯托弗·巴拉特,丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
用于防火墙分析的Margrave工具。丽莎 2010
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sacmat/FislerK10型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sacmat/FislerK10
凯西·菲斯勒,克里希纳穆西神社:
用于策略创作的三角剖分环境模型。 SACMAT公司 2010:3-12
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/FislerKD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/FislerKD10
凯西·菲斯勒,克里希纳穆西神社,丹尼尔·道尔蒂:
拥抱政策工程。 FoSER公司 2010:109-110

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/GiannakopoulosDFK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/GiannakopoulosDFK09
提奥菲洛斯·吉安娜科普洛斯,丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
合金的操作语义。 FM公司 2009:483-498
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/汤/FislerK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/soups/FislerK09
凯西·菲斯勒,克里希纳穆西神社:
逃离矩阵：从访问控制要求的案例研究中吸取的教训。 SOUPS系统 2009
2008
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigplan/Fisler08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigplan/Fisler08
凯西·菲斯勒:
实施特定领域的语言作为荣誉CS入门课程的基础。 ACM SIGPLAN通知 43(11):66-70(2008)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/克里希那穆尔蒂FDY08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/KrishnamurthiFDY08
克里希纳穆西神社,凯西·菲斯勒,丹尼尔·道尔蒂,丹尼尔·尤奥:
炼金术：将基础合金规范转化为实现。 SIGSOFT FSE公司 2008:158-169
2007
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tosem/KrishnamurthiF07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tosem/KrishnamurthiF07
克里希纳穆西神社,凯西·菲斯勒:
增量方面模型检查的基础。 ACM事务处理。柔和。工程方法。 16(2):7(2007)
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esorics/DoughertyFK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esorics/DoughertyFK07
丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
义务及其与项目的互动。 ESORICS公司 2007:375-389
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/Fisler07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/Fisler07网址
凯西·菲斯勒:
组合总线协议的二维正则表达式。 FMCAD公司 2007:154-157
2006
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Fisler06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Fisler06网址
凯西·菲斯勒:
在事件序列语言中实现图形化和效率。国际期刊软件。技术工具。Transf公司。 8(4-5):431-447(2006)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DoughertyFK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DoughertyFK06
丹尼尔·道尔蒂,凯西·菲斯勒,克里希纳穆西神社:
指定和推理动态访问控制策略。国际JCAR 2006:632-646
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gpce/树叶ABBCFHJMJSSS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06
加里·利文斯,珍妮·雷蒙德·阿布里尔,唐·S·巴托里,迈克尔·巴特勒,亚历山德罗·科格里奥,凯西·菲斯勒,埃里克·C·R·海纳,克利夫·琼斯,戴尔·米勒,西蒙·佩顿·琼斯,穆拉利·西塔拉曼,道格拉斯·史密斯,亚伦·斯塔姆:
增强语言和方法的路线图，以帮助验证。 GPCE公司 2006:221-236
2005
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/ase/LiKF05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ase/LiKF05
哈里·C·李,克里希纳穆西神社,凯西·菲斯勒:
使用三值模型检查对开放特征进行模块化验证。自动。柔和。工程师。 12(三):349-382(2005)
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/ChocklerF05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/ChocklerF05
哈娜·查克勒,凯西·菲斯勒:
简明捕捉时序图的时间模式。使着迷 2005:176-190
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/FislerKMT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/FislerKMT05
凯西·菲斯勒,克里希纳穆西神社,利奥·梅耶罗维奇,迈克尔·卡尔·桑茨:
访问控制策略的验证和变化影响分析。 ICSE公司 2005:196-205
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/FislerK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/FislerK05
凯西·菲斯勒,克里希纳穆西神社:
围绕最终用户特征分解验证。 VSTTE公司 2005:74-81
2004
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/BlundellFKH04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/BlundellFKH04
科林·布伦德尔,凯西·菲斯勒,克里希纳穆西神社,帕斯卡·范·亨特利克:
用于产品线开放系统验证的参数化接口。 ASE公司 2004:258-267
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/KrishnamurthiFG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/KrishnamurthiFG04
克里希纳穆西神社,凯西·菲斯勒,格林堡:
模块化验证方面建议。 SIGSOFT FSE公司 2004:137-146
2003
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/Fisler03型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/Fisler03网址
凯西·菲斯勒:
事件序列语言中的可图性和效率。使着迷 2003:185-199
2002
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/FislerV02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/FislerV02
凯西·菲斯勒,莫舍·瓦尔迪:
互模拟最小化和符号模型检查。形式方法系统。设计。 21(1):39-78(2002)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/LiKF02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/LiKF02
哈里·C·李,克里希纳穆西神社,凯西·菲斯勒:
模块化特征验证接口。 ASE公司 2002:195-204
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/LiKF02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/LiKF02
哈里·C·李,克里希纳穆西神社,凯西·菲斯勒:
将横切功能验证为开放系统。 SIGSOFT FSE公司 2002:89-98
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/LiFK02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/LiFK02
哈里·C·李,凯西·菲斯勒,克里希纳穆西神社:
软件模块系统对模块验证的影响。自旋蛋白 2002:60-78
2001
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigsoft/FislerK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigsoft/FislerK01
凯西·菲斯勒,克里希纳穆西神社:
基于协作的软件设计的模块化验证。 ESEC/SIGSOFT FSE 2001:152-163
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FislerFVY01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FislerFVY01
凯西·菲斯勒,拉南·弗雷尔,吉拉·卡米,莫舍·瓦尔迪,杨子江:
有最佳的符号周期检测算法吗？墨西哥玉米饼 2001:420-434

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jolli/Fisler99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/jolli/Fisler99
凯西·菲斯勒:
时序图：形式化和算法验证。 J.日志。语言信息。 8(三):323-361(1999)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/charme/FislerV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/charme/FislerV99
凯西·菲斯勒,莫舍·瓦尔迪:
相互模拟和模型检查。使着迷 1999:338-341
1998
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/FislerG98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/FislerG98
凯西·菲斯勒,克劳德·吉罗:
分布式共享内存一致性协议的建模和模型检查。 ICATPN公司 1998:84-103
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/FislerV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/FislerV98
凯西·菲斯勒,莫舍·瓦尔迪:
自动机理论验证框架中的互模拟最小化。 FMCAD公司 1998:115-132
1997
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Fisler97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Fisler97网址
凯西·菲斯勒:
非正则时序图语言中正则语言的包含是可以确定的。 CAV汽车 1997:155-166
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fhv/FislerK97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fhv/FislerK97
凯西·菲斯勒,罗伯特·P·库尔山:
使用COSPAN验证VHDL设计。正式硬件验证 1997:206-247
1994
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tpcd/Fisler94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tpcd/Fisler94
凯西·菲斯勒:
通过支持硬件图扩展形式推理。 TPCD公司 1994:298-303

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。