编辑配置文件（在新选项卡中打开） 汤姆·沃纳 合著者距离 作者ID： 沃纳瘤 发布日期： 汤姆·沃纳；托马斯·沃伊纳尔；托马斯·沃纳；沃伊纳尔，T。 更多。。。较少的 外部链接： 逆戟鲸 已编制索引的文档： 53出版物自2000年起 9作为编辑的贡献 合著者： 58位合著者具有62联合出版物 1055合著作者 全部的 前5名合著者 0 单作者的 24 卢卡什·霍利克 18 彼得·哈伯梅尔 13 Ondřej Lengál 12 帕罗什·阿齐兹·阿卜杜拉 12 艾哈迈德·博阿贾尼 11 拉杜·奥西夫 9 亚当·罗加列维奇 6 科什卡，米兰 4 陈玉芳 4 汤姆·菲多尔 4 丽莎·卡蒂 三 大卫·安托什 三 马吕斯·博兹加 三 皮埃尔·莫罗 三 Šimáckek，Jiří 2 乔纳森·塞德伯格 2 康斯坦丁·埃纳 2 帕维尔·埃尔勒巴赫 2 沃伊特·哈夫勒纳 2 弗拉迪米尔·贾努塞克 2 本特·琼森 2 兹登·科塔塞克 2 卢德克·马蒂斯卡 2 理查德·梅尔。 2 尤拉吉·西奇 2 米哈埃拉·西希雷亚努 2 聪奎·特里恩 2 张丽君 1 简·布达 1 伊万娜·乔纳 1 洛伦佐·克莱门特 1 卡米尔·杜德卡 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 彼得·赫林 1 Chih-Duo洪 1 马丁·赫鲁斯卡 1 彼得·扬克 1 科夫罗，简 1 菲利普·科内钦 1 米查尔·科祖别克 1 波胡斯拉夫·科埃纳 1 莫西尔·Křetínsk \345] 1 安东尼·库塞拉 1 瓦克拉夫·马塔什 1 彼得·马图舍克 1 吉·马蒂亚什 1 沃伊特·姆拉泽克 1 雅罗斯拉夫·内舍特伊尔 1 彼得·佩林格 1 卢卡什·塞卡尼纳 1 莫里茨·辛恩 1 斯姆奇卡，阿列什 1 泰瑟·图利 1 马雷克·特里克 1 伦卡·图罗·奥瓦 1 马古斯·维恩斯 1 帕维尔·泽姆西克 1 弗洛里安·祖勒格 全部的 前5名系列 5 系统设计中的形式化方法 5 计算机科学课堂讲稿 三 信息学报 2 国际计算机科学基础杂志 2 理论计算机科学电子笔记 2 OASIcs–信息学中的OpenAccess系列 1 国际通用系统杂志 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 领域 60 计算机科学（68至XX） 10 数理逻辑与基础（03-XX） 9 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用276中的次175文件 引用人▼ 年份▼ 抽象定期模型检查。 Zbl 1103.68071号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；汤姆·沃纳 25 2004 复杂动态数据结构的抽象规则树模型检查。 兹比尔1225.68067 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；亚当·罗加列维奇；汤姆·沃纳 22 2006 带有列表的程序是计数器自动机。 Zbl 1188.68181号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 21 2006 用树自动机确定归纳分离逻辑中的蕴涵。 Zbl 1448.68266号 拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳 19 2014 抽象常规树模型检查。 Zbl 1273.68221号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；亚当·罗加列维奇；汤姆·沃纳 17 2006 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 Zbl 1284.68337号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；卢卡什·霍利克；Richard迈尔；汤姆·沃纳 17 2010 用于验证堆操作的森林自动机。 Zbl 1284.68398号 彼得·哈伯梅尔；卢卡什·霍利克；亚当·罗加列维奇；Šimáckek，Jiří；汤姆·沃纳 12 2012 使用正则语言推理的正则模型检查。 Zbl 1272.68256号 彼得·哈伯梅尔；汤姆·沃纳 12 2005 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；洛伦佐·克莱门特；卢卡什·霍利克；Chih-Duo洪；Richard迈尔；汤姆·沃纳 12 2011 在定期模型检查中验证具有动态1-选择器链接结构的程序。 Zbl 1087.68585号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；皮埃尔·莫罗；汤姆·沃纳 11 2005 在树自动机上计算模拟。减少树自动机的有效技术。 Zbl 1134.68391号 阿卜杜拉，帕罗什A。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 11 2008 整数数组还有什么可判定的？ Zbl 1139.03007号 彼得·哈伯梅尔；拉杜·奥西夫；汤姆·沃纳 11 2008 不确定性有限树自动机上基于反链的通用性和包含性测试。 Zbl 1172.68493号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；卢卡什·霍利克；泰瑟·图利；汤姆·沃纳 9 2008 带有列表的程序是计数器自动机。 Zbl 1217.68059号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 7 2011 分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号 康斯坦丁·埃纳；Ondřej Lengál；米哈埃拉·西希雷亚努；汤姆·沃纳 7 2014 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 阿卜杜拉，帕罗什A。；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 6 2009 单索引数组的逻辑。 兹比尔1182.03032 彼得·哈伯梅尔；拉杜·奥西夫；汤姆·沃纳 5 2008 使用优先FIFO资源管理验证参数并发系统。 Zbl 1138.68464号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；汤姆·沃纳 5 2008 VATA：用于有效操作非确定性树自动机的库。 Zbl 1352.68135号 Ondřej Lengál；Šimáckek，Jiří；汤姆·沃纳 4 2012 整数数组程序的自动验证。 Zbl 1242.68063号 马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；菲利普·科内钦；汤姆·沃纳 4 2009 WS1S的嵌套反链。 Zbl 1420.68186号 汤姆·菲多尔；卢卡什·霍利克；Ondřej Lengál；汤姆·沃纳 4 2015 分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号 康斯坦丁·埃纳；Ondřej Lengál；米哈埃拉·西希雷亚努；汤姆·沃纳 4 2017 简化中介（最小化交替Büchi自动机）。 Zbl 1248.68280号 阿卜杜拉，帕罗什A。；陈玉芳；卢卡什·霍利克；汤姆·沃纳 三 2009 证明树操作程序的终止。 Zbl 1141.68469号 彼得·哈伯梅尔；拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳 三 2007 从形状到摊销复杂性。 Zbl 1446.68030号 汤姆·菲多尔；卢卡什·霍利克；亚当·罗加列维奇；莫里茨·辛恩；汤姆·沃纳；弗洛里安·祖勒格 三 2018 WS1S的惰性自动机技术。 Zbl 1452.03090号 汤姆·菲多尔；卢卡什·霍利克；彼得·扬克；Ondřej Lengál；汤姆·沃纳 三 2017 用于构建和分析系统的工具和算法。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。 Zbl 1408.68024号 三 2019 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 2 2013 树自动机的合成互模拟。 Zbl 1172.68487号 阿卜杜拉，帕罗什A。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 2 2008 自动使用惰性\（\mathrm中的术语{WS}k\mathrm{S}\）决策程序。 Zbl 07178983号 沃伊特·哈夫勒纳；卢卡什·霍利克；Ondřej Lengál；汤姆·沃纳 2 2019 线性链接结构程序的通用多模式验证。 Zbl 1125.68072号 科什卡，米兰；帕维尔·埃尔勒巴赫；汤姆·沃纳 1 2007 计算机科学中的数学和工程方法。2011年10月14日至16日，第七届国际博士研讨会，MEMICS 2011，捷克共和国莱德尼斯。修订了选定的论文。 Zbl 1234.68009号 1 2012 具有扩展线性链接数据结构的基于模式的程序验证。 Zbl 1276.68055号 科什卡，米兰；帕维尔·埃尔勒巴赫；汤姆·沃纳 1 2006 自动化形式分析和验证：概述。 Zbl 1286.68318号 波胡斯拉夫·科埃纳；汤姆·沃纳 1 2013 使用树更新对程序进行基于自动机的验证。 Zbl 1185.68414号 彼得·哈伯梅尔；拉杜·奥西夫；汤姆·沃纳 1 2010 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；卢卡什·霍利克；卡蒂，丽莎；汤姆·沃纳 1 2009 从低级指针到高级容器。 Zbl 1475.68084号 卡米尔·杜德卡；卢卡什·霍利克；彼得·佩林格；马雷克·特里克；汤姆·沃纳 1 2016 无限状态系统的迹包含的抽象精化和反链。 Zbl 1420.68107号 拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳 1 2016 森林自动机的反例验证和基于插值的精化。 Zbl 1484.68103号 卢卡什·霍利克；马丁·赫鲁斯卡；Ondřej Lengál；亚当·罗加列维奇；汤姆·沃纳 1 2017 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 1 2016 用于构建和分析系统的工具和算法。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。 Zbl 1408.68024号 三 2019 自动使用惰性\（\mathrm中的术语{WS}k\mathrm｛S｝\）决策过程。 Zbl 07178983号 沃伊特·哈夫勒纳；卢卡什·霍利克；Ondřej Lengál；汤姆·沃纳 2 2019 从形状到摊销复杂性。 Zbl 1446.68030号 汤姆·菲多尔；卢卡什·霍利克；亚当·罗加列维奇；莫里茨·辛恩；汤姆·沃纳；弗洛里安·祖勒格 三 2018 分离逻辑片段的合成蕴涵检查。 Zbl 1377.68073号 康斯坦丁·埃纳；Ondřej Lengál；米哈埃拉·西希雷亚努；汤姆·沃纳 4 2017 WS1S的惰性自动机技术。 Zbl 1452.03090号 汤姆·菲多尔；卢卡什·霍利克；彼得·扬克；Ondřej Lengál；汤姆·沃纳 三 2017 森林自动机的反例验证和基于插值的精化。 Zbl 1484.68103号 卢卡什·霍利克；马丁·赫鲁斯卡；Ondřej Lengál；亚当·罗加列维奇；汤姆·沃纳 1 2017 从低级指针到高级容器。 Zbl 1475.68084号 卡米尔·杜德卡；卢卡什·霍利克；彼得·佩林格；马雷克·特里克；汤姆·沃纳 1 2016 无限状态系统的迹包含的抽象精化和反链。 Zbl 1420.68107号 拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳 1 2016 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68136号 帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 1 2016 WS1S的嵌套反链。 Zbl 1420.68186号 汤姆·菲多尔；卢卡什·霍利克；Ondřej Lengál；汤姆·沃纳 4 2015 用树自动机确定归纳分离逻辑中的蕴涵。 Zbl 1448.68266号 拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳 19 2014 分离逻辑片段的合成蕴涵检查。 Zbl 1453.68046号 康斯坦丁·埃纳；Ondřej Lengál；米哈埃拉·西希雷亚努；汤姆·沃纳 7 2014 通过扩展森林自动机验证具有有序数据的堆操作程序。 Zbl 1344.68135号 帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 2 2013 自动化形式分析和验证：概述。 Zbl 1286.68318号 波胡斯拉夫·科埃纳；汤姆·沃纳 1 2013 用于验证堆操作的森林自动机。 Zbl 1284.68398号 彼得·哈伯梅尔；卢卡什·霍利克；亚当·罗加列维奇；Šimáckek，Jiří；汤姆·沃纳 12 2012 VATA：用于有效操作非确定性树自动机的库。 Zbl 1352.68135号 Ondřej Lengál；Šimáckek，Jiří；汤姆·沃纳 4 2012 计算机科学中的数学和工程方法。2011年10月14日至16日，第七届国际博士研讨会，MEMICS 2011，捷克共和国莱德尼斯。修订了选定的论文。 Zbl 1234.68009号 1 2012 高级基于拉姆西的Büchi自动机包含测试。 Zbl 1343.68130号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；洛伦佐·克莱门特；卢卡什·霍利克；Chih-Duo洪；Richard迈尔；汤姆·沃纳 12 2011 带有列表的程序是计数器自动机。 Zbl 1217.68059号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 7 2011 当模拟遇到反链时。（关于检查非确定性有限（树）自动机的语言包含）。 Zbl 1284.68337号 帕罗什·阿齐兹·阿卜杜拉；陈玉芳；卢卡什·霍利克；Richard迈尔；汤姆·沃纳 17 2010 使用树更新对程序进行基于自动机的验证。 Zbl 1185.68414号 彼得·哈伯梅尔；拉杜·奥西夫；汤姆·沃纳 1 2010 用于简化树自动机的统一（双）模拟框架。 Zbl 1291.68223号 阿卜杜拉，帕罗什A。；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 6 2009 整数数组程序的自动验证。 Zbl 1242.68063号 马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；菲利普·科内钦；汤姆·沃纳 4 2009 减少的中介（关于最小化交替的Büchi自动机）。 Zbl 1248.68280号 阿卜杜拉，帕罗什A。；陈玉芳；卢卡什·霍利克；汤姆·沃纳 三 2009 树自动机的合成互模拟。 Zbl 1176.68098号 帕罗什·阿齐兹·阿卜杜拉；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 1 2009 在树自动机上计算模拟。减少树自动机的有效技术。 Zbl 1134.68391号 阿卜杜拉，帕罗什A。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 11 2008 整数数组还有什么可判定的？ Zbl 1139.03007号 彼得·哈伯梅尔；拉杜·奥西夫；汤姆·沃纳 11 2008 不确定性有限树自动机上基于反链的通用性和包含性测试。 Zbl 1172.68493号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；卢卡什·霍利克；泰瑟·图利；汤姆·沃纳 9 2008 单索引数组的逻辑。 Zbl 1182.03032号 彼得·哈伯梅尔；拉杜·奥西夫；汤姆·沃纳 5 2008 使用优先FIFO资源管理验证参数并发系统。 Zbl 1138.68464号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；汤姆·沃纳 5 2008 树自动机的合成互模拟。 Zbl 1172.68487号 阿卜杜拉，帕罗什A。；艾哈迈德·博阿贾尼；卢卡什·霍利克；卡蒂，丽莎；汤姆·沃纳 2 2008 证明树操作程序的终止。 Zbl 1141.68469号 彼得·哈伯梅尔；拉杜·奥西夫；亚当·罗加列维奇；汤姆·沃纳 三 2007 线性链接结构程序的通用多模式验证。 Zbl 1125.68072号 科什卡，米兰；帕维尔·埃尔勒巴赫；汤姆·沃纳 1 2007 复杂动态数据结构的抽象规则树模型检查。 Zbl 1225.68067号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；亚当·罗加列维奇；汤姆·沃纳 22 2006 带有列表的程序是计数器自动机。 Zbl 1188.68181号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 21 2006 抽象常规树模型检查。 Zbl 1273.68221号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；亚当·罗加列维奇；汤姆·沃纳 17 2006 具有扩展线性链接数据结构的基于模式的程序验证。 Zbl 1276.68055号 科什卡，米兰；帕维尔·埃尔勒巴赫；汤姆·沃纳 1 2006 使用正则语言推理的正则模型检查。 Zbl 1272.68256号 彼得·哈伯梅尔；汤姆·沃纳 12 2005 在定期模型检查中验证具有动态1-选择器链接结构的程序。 Zbl 1087.68585号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；皮埃尔·莫罗；汤姆·沃纳 11 2005 抽象定期模型检查。 Zbl 1103.68071号 艾哈迈德·博阿贾尼；彼得·哈伯梅尔；汤姆·沃纳 25 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名336位作者引用 17 汤姆·沃纳 13 卢卡什·霍利克 11 帕罗什·阿齐兹·阿卜杜拉 10 拉杜·奥西夫 8 Ondřej Lengál 7 艾蒂安·洛兹 6 艾哈迈德·博阿贾尼 6 斯特凡·德姆里。 6 李勇 6 莫西·亚亚科夫·瓦尔迪 6 弗洛里安·祖勒格 5 马吕斯·博兹加 5 张丽君 4 约翰娜·比约克隆德 4 雷米·布罗赫宁 4 陈玉芳 4 皮埃尔·甘蒂 4 诺尔，托马斯 4 让-弗朗索瓦·拉斯金 4 艾哈迈德·雷兹 4 亚当·罗加列维奇 三 尤罕·博伊库特 三 洛伦佐·克莱门特 三 穆纳乔·埃切宁 三 康斯坦丁·埃纳 三 塞斯·福格蒂。 三 彼得·哈伯梅尔 三 海姆，皮尔雷·科里尔 三 米尔卡胡塔加隆 三 大辅木村 三 奥尔纳·库普弗曼 三 马丁·兰格 三 Le，Quang Loc公司 三 克里斯托夫·马提亚 三 尼古拉斯·佩尔蒂埃 三 菲利普·吕默 三 米哈埃拉·西希雷亚努 三 Makoto Tatsuta 三 Tsay，Yih-Kuen先生 2 弗朗西斯科·阿尔贝蒂 2 亚历山大·安德拉德·德梅洛 2 尼古拉·S·比约纳。 2 劳拉·博泽利 2 保罗·布鲁内特 2 特夫菲克·布尔坦 2 克里希南德·查特吉 2 陈、陶璐 2 魏恩根·钦 2 洛克·杰拉德·克利奥帕斯 2 德奥利维拉·奥利维拉，马特乌斯 2 乔治·德尔扎诺 2 塞萨拉·德拉戈伊 2 汤姆·菲多尔 2 达纳·菲斯曼 2 西尔维奥·吉拉尔迪 2 沃伊特·哈夫勒纳 2 弗雷德里克·哈齐扎 2 诺伯特·亨德斯哈根 2 奥斯卡·H·伊巴拉。 2 佛罗伦萨·杰克马尔 2 克里斯蒂娜·詹森 2 丽莎·卡蒂 2 Joost-Pieter卡托恩 2 费利克斯·克莱特克 2 吉原小岛 2 巴巴拉·科尼格 2 维克多·昆卡 2 迪特里赫·库斯克 2 洛伦兹·勒特盖布 2 Anthony Widjaja林 2 刘德鹏 2 鲁帕克·马朱姆达尔 2 尼古拉斯·梅奎特 2 理查德·梅尔。 2 乔治·莫瑟 2 詹斯·佩格尔 2 苏菲·平奇纳特 2 Damien Pous 2 皮埃尔·雷蒂 2 Masahiko酒井 2 克里斯蒂安·席林 2 娜塔莎·莎莉吉娜 2 约瑟夫·西法基斯 2 安德烈亚·图里尼 2 马古斯·维恩斯 2 托马斯·维斯 2 吴志林 2 于、方 1 娜塔莎·亚历奇纳 1 侯赛因·阿贾扎尔 1 穆阿特·阿尔卡拉夫 1 阿隆·拉维德 1 拉杰夫·阿鲁尔 1 约书亚·阿玛维 1 达纳州安格鲁因 1 安德鲁·W·阿佩尔。 1 科尼利厄斯·阿斯切尔曼 1 Domagoj Babić 1 伊塔·巴拉班 1 克莱门特巴拉布里加 …还有236位作者 全部的 前5名26篇连载文章中引用 15 理论计算机科学 14 系统设计中的形式化方法 10 自动推理杂志 8 信息学报 7 信息与计算 5 程序设计中的逻辑和代数方法杂志 4 信息处理信件 三 计算的形式方面 三 计算机基础理论 三 ACM计算逻辑事务 2 计算系统理论 2 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 人工智能 1 国际通用系统杂志 1 Automatica公司 1 计算机与系统科学杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 自动机、语言和组合学杂志 1 逻辑程序设计理论与实践 1 伊朗模糊系统杂志 全部的 前5名在6个字段中引用 171 计算机科学（68至XX） 49 数理逻辑与基础（03-XX） 6 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 系统论；控制（93至XX） 按年份列出的引文