编辑配置文件（在新选项卡中打开） Annabelle K.McIver。 合著者距离 作者ID: 麦克维尔·安娜贝勒-k 发布日期： 安娜贝拉·麦克维尔;A.K.McIver。;Annabelle K.McIver。;Mciver，安娜贝尔;A.K.Mciver。;A.麦克维尔。 更多。。。较少的 编入索引的文档： 67出版物自1987年以来，包括2本书 7作为编辑的贡献 合著者： 48位合著者具有67联合出版物 954位合作作者 全部的 前5名合著者 7 单作者的 40 卡罗尔·C·摩根。 10 塔希里·拉贝哈加。 6 拉里萨·梅尼基。 6 乔治·斯特鲁斯 5 马里奥·阿尔维姆。 4 娜塔莎·费尔南德斯 4 Hoang，泰国儿子 三 彼得·霍夫纳 三 凯伦·塞德尔 三 莫里斯·比克。 2 亚瑟·阿梅里科 2 奥列塔·塞利库 2 康斯坦蒂诺斯·查齐科科拉基斯 2 马克·德拉斯 2 Fehnker，Ansgar公司 2 赫德，乔 2 靳振东 2 Joost-Pieter卡托恩 2 卡图西亚帕拉米德斯 2 肯·罗宾逊 1 苏珊娜·安多瓦 1 塞尔吉奥·坎波斯。 1 戴维斯，马丁·戴维 1 芭芭拉·埃斯皮诺萨 1 杰里米·吉本斯 1 卡洛斯·冈萨利亚 1 弗里德里希·格雷茨 1 安德拉斯·霍瓦思 1 尼尔斯·詹森 1 何继峰 1 本杰明·卢西恩·卡明斯基 1 乌卡丘库·恩杜克武 1 彼得·迈克尔·诺伊曼 1 加布里埃尔·H·努斯。 1 Manuel A.努内兹。 1 何塞·努诺·奥利维拉 1 费德里科·奥利梅多 1 马吕斯·波特曼 1 杰夫·桑德斯。 1 汤姆·施里杰弗斯 1 安东尼·斯隆（Anthony M.Sloane）。 1 苏萨托，E。 1 Tan、Wee Lum 1 Elena A.Troubitsyna。 1 范格拉贝克、罗伯特·扬 1 阿图尔·瓦兹 1 安德烈·沃伦科夫 1 Tjark韦伯 全部的 前5名系列 7 理论计算机科学 4 计算的形式方面 三 计算机科学课堂讲稿 2 信息处理信件 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 数学档案馆 1 数学季刊。牛津第二系列 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 北欧计算机杂志 1 IGPL逻辑杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 信息安全与密码学 全部的 前5名领域 70 计算机科学（68至XX） 14 数理逻辑与基础（03-XX） 6 总体主题；集合（00-XX） 5 信息与通信理论、电路（94-XX） 2 群论与推广（20-XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物被引用389中的次247份文件 引用人▼ 年份▼ 概率系统的抽象、精化和证明。 Zbl 1069.68039号 安娜贝拉·麦克维尔;卡罗尔·摩根 80 2005 保护命令语言的概率模型。 Zbl 0877.68014号 何继峰;塞德尔，K。;A.麦克维尔。 38 1997 无线网状网络的进程代数。 Zbl 1352.68183号 Fehnker，Ansgar公司;罗布·范格拉贝克;彼得·霍夫纳;安娜贝拉·麦克维尔;马吕斯·波特曼;Tan、Wee Lum 24 2012 枚举有限组。 2014年6月27日 安娜贝拉·麦克维尔;彼得·纽曼（Peter M.Neumann）。 20 1987 概率恶魔程序的部分正确性。 Zbl 0992.68137号 A.K.McIver。;C.摩根。 18 2001 CSP的优化导向概率。 兹比尔0862.68050 卡罗尔·摩根;安娜贝拉·麦克维尔;凯伦·塞德尔;J.W.桑德斯。 17 1996 概率不干扰下贝叶斯风险的合成闭包。 Zbl 1288.68024号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 14 2010 概率程序的线性变分生成：自动支持基于证据的方法。 Zbl 1239.68020号 Joost-Pieter卡托恩;Annabelle K.McIver。;拉里萨·梅尼基。;卡罗尔·C·摩根。 13 2010 HOL中机械化的概率防护命令。 Zbl 1080.68063号 赫德，乔;安娜贝拉·麦克维尔;卡罗尔·摩根 13 2005 概率规划中的条件处理。 Zbl 1351.68066号 尼尔斯·詹森;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;费德里科·奥利梅多;弗里德里希·格雷茨;安娜贝拉·麦克维尔 11 2015 使用概率Kleene代数进行协议验证。 Zbl 1134.68415号 A.K.McIver。;科恩，E。;C.C.摩根。 10 2006 博弈、概率和定量演算。 Zbl 1023.68064号 A.K.McIver。;C.C.摩根。 9 2002 顺序程序中的恶魔、天使和无限概率选择。 Zbl 0971.68027号 A.K.McIver。;C.摩根。 9 2001 使用概率Kleene代数pKA进行协议验证。 Zbl 1148.68034号 A.K.McIver。;冈萨利亚，C。;科恩，E。;C.C.摩根。 8 2008 抽象通道及其鲁棒的信息泄漏排序。 Zbl 1461.68081号 安娜贝拉·麦克维尔;卡罗尔·摩根;杰弗里·史密斯;芭芭拉·埃斯皮诺萨;拉里萨·梅尼基 8 2014 关于定量演算的结果。 Zbl 1367.68199号 安娜贝拉·麦克维尔;卡罗尔·摩根 8 2007 赫尔曼环是（Theta（N^{2}）的一个初等证明。 Zbl 1182.68358号 安娜贝拉·麦克维尔;卡罗尔·摩根 7 2005 基于期望的概率时间演算。 Zbl 0885.03037号 卡罗尔·摩根;安娜贝拉·麦克维尔 7 1997 概率并发Kleene代数的事件结构模型。 Zbl 1407.68337号 安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 7 2013 抽象隐马尔可夫模型：定量信息流的一元描述。 兹比尔1401.68046 安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加 6 2015 面向概率分布式系统的自动证明支持。 Zbl 1143.68458号 Annabelle K.McIver。;Tjark韦伯 5 2005 HOL中机械化的概率防护命令。 Zbl 1272.68258号 赫德，乔;安娜贝拉·麦克维尔;卡罗尔·摩根 5 2005 概率可靠性保证演算。 Zbl 1356.68156号 安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 5 2016 带迭代的Hidden-Markov程序代数。 Zbl 1362.68052号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 5 2015 计算机编程的秘密艺术。 Zbl 1250.68092号 Annabelle K.McIver。 4 2009 统一wp和wlp。 Zbl 0875.68625号 卡罗尔·摩根;安娜贝拉·麦克维尔 三 1996 数以千计的密码学家。 Zbl 1209.68231号 A.K.Mciver。;C.C.摩根。 三 2010 HOL中机械化概率程序的基于成本的分析。 Zbl 1088.68536号 奥列塔·塞利库;安娜贝拉·麦克维尔 三 2004 概率机器的概率不变量。 兹比尔1028.68547 Hoang，泰国儿子;靳振东;肯·罗宾逊;安娜贝拉·麦克维尔;卡罗尔·摩根 三 2003 概率程序中基于成本的特性的组成规范和分析。 Zbl 1120.68386号 奥列塔·塞利库;安娜贝拉·麦克维尔 三 2005 概率命令式编程：一种严格的方法（扩展抽象）。 Zbl 0885.68032号 凯伦·塞德尔;卡罗尔·摩根;安娜贝拉·麦克维尔 2 1997 概率蒸汽锅炉：概率数据精化的案例研究。 Zbl 0924.68022号 安娜贝拉·麦克维尔;卡罗尔·摩根;埃琳娜·特鲁比西纳 2 1998 基于代理的安全协议中的组合优化。 Zbl 1245.68065号 A.K.McIver。;C.C.摩根。 2 2011 概率并发Kleene代数。 兹比尔1464.68254 Annabelle Mciver;塔希里·拉贝哈加;乔治·斯特鲁斯 2 2013 时间逻辑PTL中的最新事件和抽象概率。 Zbl 0972.03016号 A.麦克维尔。;C.摩根。 2 2001 用于信息隐藏的Kantorovich-monadic功率域，具有概率和不确定性。 Zbl 1362.68161号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 2 2012 走向路由表代数。 Zbl 1329.68042号 彼得·霍夫纳;安娜贝拉·麦克维尔 1 2011 编程方法。 兹比尔1030.68010 1 2003 信息流度量的公理化。 Zbl 1423.68159号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2019 调度程序和完成程序：关于生成事件结构的行为。 Zbl 1400.68138号 安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 1 2016 概率时序逻辑的期望变换器模型。 Zbl 1073.68679号 卡罗尔·摩根;Annabelle K.McIver。 1 1999 概率演算中关于效率的推理。 兹伯利0920.68080 Annabelle K.McIver。 1 1998 无干扰安全的抽象：概率与可能性。 Zbl 1323.68212号 Hoang，T.S.公司。;A.K.McIver。;梅尼克，L。;C.C.摩根。;A.斯隆。;苏萨托，E。 1 2014 定量信息流的科学。 Zbl 1496.68001号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2020 隐私文本处理：信息流视角。 兹比尔1460.68034 娜塔莎·费尔南德斯;马克·德拉斯;安娜贝拉·麦克维尔 1 2018 信息流推理的代数方法。 Zbl 1460.68035号 亚瑟·阿梅里科;马里奥·阿尔维姆。;安娜贝拉·麦克维尔 1 2018 定量信息流代数。 Zbl 1486.68044号 A.K.McIver。;C.C.摩根。;T·拉贝哈加。 1 2017 定量信息流的科学。 Zbl 1496.68001号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2020 信息流度量的公理化。 Zbl 1423.68159号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚Palamidessi;杰弗里·史密斯 1 2019 隐私文本处理：信息流视角。 Zbl 1460.68034号 娜塔莎·费尔南德斯;马克·德拉斯;安娜贝拉·麦克维尔 1 2018 信息流推理的代数方法。 Zbl 1460.68035号 亚瑟·阿梅里科;马里奥·阿尔维姆。;安娜贝拉·麦克维尔 1 2018 定量信息流代数。 Zbl 1486.68044号 A.K.McIver。;C.C.摩根。;T·拉贝哈加。 1 2017 概率可靠性保证演算。 Zbl 1356.68156号 安娜贝拉·麦克维尔;塔希里Rabehaja;乔治·斯特鲁斯 5 2016 调度程序和完成程序：关于生成事件结构的行为。 Zbl 1400.68138号 安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 1 2016 概率规划中的条件处理。 Zbl 1351.68066号 尼尔斯·詹森;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;费德里科·奥利梅多;弗里德里希·格雷茨;安娜贝拉·麦克维尔 11 2015 抽象隐马尔可夫模型：定量信息流的一元描述。 Zbl 1401.68046号 安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加 6 2015 带迭代的Hidden-Markov程序代数。 Zbl 1362.68052号 安娜贝拉·麦克维尔;拉里萨·梅尼克;卡罗尔·摩根 5 2015 抽象通道及其可靠的信息泄漏排序。 Zbl 1461.68081号 安娜贝拉·麦克维尔;卡罗尔·摩根;杰弗里·史密斯;芭芭拉·埃斯皮诺萨;拉里萨·梅尼基 8 2014 无干扰安全的抽象：概率与可能性。 Zbl 1323.68212号 Hoang，T.S.公司。;A.K.McIver。;梅尼克，L。;C.C.摩根。;A.斯隆。;苏萨托，E。 1 2014 概率并发Kleene代数的事件结构模型。 兹比尔1407.68337 安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 7 2013 概率并发Kleene代数。 Zbl 1464.68254号 Annabelle Mciver;塔希里·拉贝哈加;乔治·斯特鲁斯 2 2013 无线网状网络的进程代数。 Zbl 1352.68183号 Fehnker，Ansgar公司;罗布·范格拉贝克;彼得·霍夫纳;安娜贝拉·麦克维尔;马吕斯·波特曼;Tan、Wee Lum 24 2012 用于信息隐藏的Kantorovich-monadic功率域，具有概率和不确定性。 Zbl 1362.68161号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 2 2012 基于代理的安全协议中的组合优化。 Zbl 1245.68065号 A.K.McIver。;C.C.摩根。 2 2011 走向路由表代数。 兹比尔1329.68042 彼得·霍夫纳;安娜贝拉·麦克维尔 1 2011 概率不干扰下贝叶斯风险的合成闭包。 Zbl 1288.68024号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 14 2010 概率程序的线性变分生成：自动支持基于证据的方法。 Zbl 1239.68020号 Joost-Pieter卡托恩;Annabelle K.McIver。;拉里萨·梅尼基。;卡罗尔·C·摩根。 13 2010 数以千计的密码学家。 Zbl 1209.68231号 A.K.Mciver。;C.C.摩根。 三 2010 计算机编程的秘密艺术。 Zbl 1250.68092号 Annabelle K.McIver。 4 2009 使用概率Kleene代数pKA进行协议验证。 Zbl 1148.68034号 A.K.McIver。;冈萨利亚，C。;科恩，E。;C.C.摩根。 8 2008 关于定量演算的结果。 Zbl 1367.68199号 安娜贝拉·麦克维尔;卡罗尔·摩根 8 2007 使用概率Kleene代数进行协议验证。 Zbl 1134.68415号 A.K.McIver。;科恩，E。;C.C.摩根。 10 2006 概率系统的抽象、精化和证明。 Zbl 1069.68039号 安娜贝拉·麦克维尔;卡罗尔·摩根 80 2005 HOL中机械化的概率防护命令。 Zbl 1080.68063号 赫德，乔;安娜贝拉·麦克维尔;卡罗尔·摩根 13 2005 赫尔曼环是（Theta（N^{2}）的一个初等证明。 Zbl 1182.68358号 安娜贝拉·麦克维尔;卡罗尔·摩根 7 2005 面向概率分布式系统的自动证明支持。 兹比尔1143.68458 Annabelle K.McIver。;Tjark韦伯 5 2005 HOL中机械化的概率防护命令。 Zbl 1272.68258号 赫德，乔;安娜贝拉·麦克维尔;卡罗尔·摩根 5 2005 概率程序中基于成本的特性的组成规范和分析。 Zbl 1120.68386号 奥列塔·塞利库;安娜贝拉·麦克维尔 三 2005 HOL中机械化概率程序的基于成本的分析。 Zbl 1088.68536号 奥列塔·塞利库;安娜贝拉·麦克维尔 三 2004 概率机器的概率不变量。 Zbl 1028.68547号 黄泰善;靳振东;肯·罗宾逊;安娜贝拉·麦克维尔;卡罗尔·摩根 三 2003 编程方法。 Zbl 1030.68010号 1 2003 博弈、概率和定量演算。 Zbl 1023.68064号 A.K.McIver。;C.C.摩根。 9 2002 概率恶魔程序的部分正确性。 Zbl 0992.68137号 A.K.McIver。;C.摩根。 18 2001 顺序程序中的恶魔、天使和无限概率选择。 Zbl 0971.68027号 A.K.McIver。;C.摩根。 9 2001 时间逻辑PTL中的最新事件和抽象概率。 兹伯利0972.03016 A.麦克维尔。;C.摩根。 2 2001 概率时序逻辑的期望变换器模型。 Zbl 1073.68679号 卡罗尔·摩根;Annabelle K.McIver。 1 1999 概率蒸汽锅炉：概率数据精化的案例研究。 Zbl 0924.68022号 安娜贝拉·麦克维尔;卡罗尔·摩根;埃琳娜·特鲁比西纳 2 1998 概率演算中关于效率的推理。 Zbl 0920.68080号 Annabelle K.McIver。 1 1998 保护命令语言的概率模型。 Zbl 0877.68014号 何继峰;塞德尔，K。;A.麦克维尔。 38 1997 基于期望的概率时间演算。 Zbl 0885.03037号 卡罗尔·摩根;安娜贝拉·麦克维尔 7 1997 概率命令式编程：一种严格的方法（扩展抽象）。 Zbl 0885.68032号 凯伦·塞德尔;卡罗尔·摩根;安娜贝拉·麦克维尔 2 1997 CSP的优化导向概率。 Zbl 0862.68050号 卡罗尔·摩根;安娜贝拉·麦克维尔;凯伦·塞德尔;J.W.桑德斯。 17 1996 统一wp和wlp。 Zbl 0875.68625号 卡罗尔·摩根;安娜贝拉·麦克维尔 三 1996 枚举有限组。 2014年6月27日 安娜贝拉·麦克维尔;彼得·纽曼（Peter M.Neumann）。 20 1987 所有引用出版物 前5名被引用出版物 全部的 前5名被377位作者引用 21 Annabelle K.McIver。 16 卡罗尔·C·摩根。 14 Joost-Pieter卡托恩 10 范格拉贝克、罗伯特·扬 8 彼得·霍夫纳 7 Marta Z.Kwiatkowska。 7 朱慧彪 6 本杰明·卢西恩·卡明斯基 6 拉里萨·梅尼基。 6 塔希里·拉贝哈加。 6 乔治·斯特鲁斯 5 马里奥·阿尔维姆。 5 克里希南德·查特吉 5 何继峰 5 克劳斯·凯梅尔 5 安德烈·卢基尼 5 格钦·诺曼 5 托拜厄斯·温克勒 4 马可·贝尔纳多 4 康斯坦蒂诺斯·查齐科科拉基斯 4 洛科·德尼古拉 4 邓玉欣 4 冯、袁 4 奥斯曼·哈桑 4 约翰·Hölzl 4 巴特·雅各布斯 4 Legay、Axel 4 米歇尔·洛雷蒂 4 克里斯托夫·马提亚 4 卡图西亚帕拉米德斯 4 索菲涅·塔哈尔 4 张丽君 三 埃齐奥·巴托西 三 凯文·巴茨 三 乔纳森·鲍文（Jonathan P.Bowen）。 三 卢卡·德·阿尔法罗 三 娜塔莎·费尔南德斯 三 法特梅·加塞米 三 伊恩·海耶斯。 三 轩尼诗，Matthew C.B。 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 Hoang，泰国儿子 三 斯特凡·基弗 三 科瓦奇，劳拉·伊尔迪科 三 鲁帕克·马朱姆达尔 三 安德烈·穆拉夫斯基。 三 何塞·努诺·奥利维拉 三 费德里科·奥利梅多 三 乔尔·欧·瓦克宁。 三 秦胜超 三 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 三 卢茨·施罗德 三 金索林 三 威尔德，保罗 三 詹姆斯·沃雷尔。 2 亚历杭德罗·阿吉雷 2 苏珊娜·安多瓦 2 克里斯特尔·拜尔 2 巴博萨、路易斯·索亚雷斯 2 弗拉维恩·布鲁瓦特 2 卡梅隆、彼得·杰夫森 2 阿隆索·卡斯蒂略-拉米雷斯 2 迭戈·卡佐拉 2 陈明帅 2 陈一峰 2 陈一香 2 费尔南多·库亚特罗 2 乌戈·达尔拉戈 2 D’Argenio，佩德罗·鲁本 2 朱尔斯·德沙奈斯 2 埃洛伊莎·德托米 2 戴安娜·菲舍尔 2 Forejt，Vojtěch公司 2 约阿金·加巴罗 2 克里斯蒂娜·盖恩 2 索尼娅·乔治耶夫斯卡 2 于尔根·吉斯尔 2 莱安德罗·戈麦斯（Leandro G.Gomes）。 2 Jean Goubault Larrecq先生 2 弗里德里希·格雷茨 2 马塞尔·哈克 2 阿加提·埃尔鲁 2 尼尔斯·詹森 2 卢卡斯·凯泽 2 胜本，Shin-ya 2 卢茨·克林肯伯格 2 拉诺特、拉格罗 2 费尔南多·洛佩斯·佩莱奥 2 亚历山大·卢博茨基 2 亚历山大·马德拉 2 阿维诺安·曼恩 2 马西莫·梅罗 2 诺尔，托马斯 2 奥尔德罗格（Ernst-Rüdiger Olderog） 2 拉兹洛·皮伯 2 Rosenbusch，Artus博士。 2 杰夫·桑德斯。 2 亚历山德拉·席尔瓦 2 巴勃罗·斯皮加 2 米罗斯拉夫斯坦科维奇 …还有277位作者 全部的 前5名42篇连载文章中引用 30 计算的形式方面 19 理论计算机科学 8 信息学报 8 信息与计算 8 MSCS公司。计算机科学中的数学结构 8 计算机科学中的逻辑方法 8 程序设计中的逻辑和代数方法杂志 6 逻辑与代数程序设计杂志 5 计算机与系统科学杂志 5 系统设计中的形式化方法 4 信息处理信件 4 代数杂志 三 以色列数学杂志 三 自动推理杂志 2 数学档案馆 2 信息科学 2 半群论坛 2 计算机程序设计科学 2 分布式计算 2 软计算 1 代数通讯 1 应用科学中的数学方法 1 模糊集与系统 1 组合理论杂志。B系列 1 编程和计算机软件 1 西伯利亚数学杂志 1 美国数学学会会刊 1 纯逻辑与应用逻辑年鉴 1 离散事件动态系统 1 美国数学学会公报。新系列 1 函数编程杂志 1 数学与人工智能年鉴 1 计算系统理论 1 组合优化期刊 1 群论杂志 1 数学年鉴。第二系列 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 自然计算 1 离散优化 1 计算机科学前沿 1 计算机科学评论 全部的 前5名23个字段中引用 219 计算机科学（68至XX） 37 数理逻辑与基础（03-XX） 17 群论与推广（20-XX） 15 博弈论、经济学、金融和其他社会和行为科学（91-XX） 12 信息与通信理论、电路（94-XX） 7 运筹学、数学规划（90-XX） 6 阶、格、有序代数结构（06-XX） 6 概率论与随机过程（60-XX） 5 数论（11-XX） 5 范畴理论；同调代数（18-XX） 5 量子理论（81-XX） 三 历史和传记（01-XX） 三 组合数学（05-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 结合环与代数（16-XX） 2 统计学（62-XX） 2 系统论；控制（93至XX） 1 拓扑群、李群（22日至XX日） 1 测量和集成（28-XX） 1 动力系统和遍历理论（37至XX） 1 功能分析（46倍X倍） 1 凸和离散几何（52至XX） 1 一般拓扑结构（54至XX） 按年份列出的引文