编辑配置文件（在新选项卡中打开） 一郎·哈索 合著者距离 作者ID： 哈索·伊奇罗 发布日期： 一郎·哈索 编入索引的文档： 63出版物自2003年起 4作为编辑的贡献 合著者： 67位合著者具有60联合出版物 1301合著作者 全部的 前5名合著者 7 单作者的 11 Natsuki Urabe 10 巴特·雅各布斯 9 胜本，Shin-ya 6 Kohei Suenaga公司 5 杰雷米·杜布特 5 Masaki Waga 4 安娜·索科洛娃 4 戴维·斯普伦格 三 肯塔·乔 三 北彦浩弘 三 清水、顺介 三 Toru Takisaka公司 三 Akihisa山田 2 Akazaki、Takumi 2 保罗·阿卡尼 2 科琳娜·科斯特 2 乌戈·达尔拉戈 2 埃伯哈特，克洛维斯 2 克劳迪娅·法吉安 2 克里斯·希恩 2 Toshiki Kataoka 2 川崎，吉野 2 基多、肯戈 2 斯特凡·克里科维茨 2 尤拉杰·科尔查克 2 Kori、Mayuko 2 佐藤库拉 2 科科·穆罗亚 2 尤一郎·奥亚布 2 帕南加登，普拉卡什 2 阿基拉·吉咪祖 2 张振亚 1 埃蒂安·安德烈 1 川崎朝田 1 Attrapadung、Nuttapong 1 埃泽奎尔·卡斯特拉诺 1 斯瓦拉特·乔杜里 1 鲍勃·科克 1 崔，杨 1 大卫·加林多 1 托马斯·M·哈斯。 1 花冈、果一郎 1 Masaki Hara 1 日野、瓦塔鲁 1 伊迈、希德基 1 石川，Fuyuki 1 鹿岛，良 1 小林，弘基 1 小林，Tsutomu 1 小岛贤介 1 吕德云 1 马磊 1 松浦康达 1 中川昭一 1 米拉德·尼基 1 Yuki西田 1 塔卡马萨·奥库多诺 1 基蒂芬·法拉卡恩 1 萨西内·普鲁克普拉塞特 1 樱田秀树 1 Sekine、Hiroyoshi 1 不，Hiroshi 1 塔尔莫乌斯塔卢 1 托尔斯滕·维曼 1 杨鹏 1 张瑞 1 赵建军 全部的 前5名系列 三 计算机科学中的逻辑方法 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 纯逻辑与应用逻辑年鉴 1 新一代计算 1 信息与计算 1 逻辑与计算杂志 1 函数编程杂志 1 IGPL逻辑杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 64 计算机科学（68至XX） 25 范畴理论；同调代数（18-XX） 20 数学逻辑和基础（03-XX） 5 量子理论（81-XX） 5 系统论；控制（93至XX） 4 总体主题；集合（00-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 代数几何（14-XX） 1 测量和集成（28-XX） 1 动力系统和遍历理论（37至XX） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 52出版物有被引用296中的次195文件 引用人▼ 年份▼ 通过共同归纳的通用跟踪语义。 兹比尔1131.68058 一郎·哈索;巴特·雅各布斯;安娜·索科洛娃 62 2007 箭头的分类语义。 Zbl 1191.68406号 巴特·雅各布斯;克里斯·希恩;一郎·哈索 16 2009 通用正向和反向模拟。 Zbl 1151.68532号 一郎·哈索 15 2006 单子函数的通用最弱前提语义丰富了顺序。 兹比尔1330.68046 一郎·哈索 14 2015 余代数中的微观原理和并发性。 Zbl 1139.68042号 一郎·哈索;巴特·雅各布斯;安娜·索科洛娃 10 2008 用无穷小编程：aWhile期间-混合系统建模语言。 Zbl 1333.68181号 Kohei Suenaga公司;一郎·哈索 9 2011 通用正向和反向模拟。二： 概率模拟。 Zbl 1285.68104号 一郎·哈索 8 2010 MTL的时间鲁棒性和混合系统证伪的表达性。 Zbl 1381.68142号 Akazaki、Takumi;一郎·哈索 8 2015 通过相互作用几何的高阶量子计算的语义。 Zbl 1422.68161号 一郎·哈索;北彦浩弘 8 2017 通过联合语义跟踪的无上下文语言。 Zbl 1131.68057号 一郎·哈索;巴特·雅各布斯 7 2005 具有强否定的一阶构造逻辑的Kripke完备性。 Zbl 1048.03022号 一郎·哈索;鹿岛，良 7 2003 共导谓词和断句中的最终序列。 Zbl 1334.68136号 一郎·哈索;肯塔·乔;Toshiki Kataoka 7 2013 纤维理性的相互刺激和定量推理。 Zbl 1509.18025号 戴维·斯普伦格;胜本，Shin-ya;杰雷米·杜布特;一郎·哈索 7 2018 Coalgebraic无限迹和Kleisli模拟。 Zbl 1366.68159号 Natsuki Urabe;一郎·哈索 7 2015 类迹理论。 Zbl 1276.68122号 一郎·哈索;巴特·雅各布斯;安娜·索科洛娃 7 2006 多种微观结构中的煤系成分。 Zbl 1239.68044号 一郎·哈索;克里斯·希恩;巴特·雅各布斯;安娜·索科洛娃 6 2009 交互作用的记忆几何：从联合成分到代数效应。 Zbl 1394.68062号 北彦浩弘;科科·穆罗亚;一郎·哈索 6 2014 二元性带来的健康。 Zbl 1401.68042号 日野、瓦塔鲁;小林，弘基;一郎·哈索;巴特·雅各布斯 6 2016 格理论进度措施和联合模型检验。 兹比尔1347.68227 一郎·哈索;清水、顺介;科琳娜·科斯特 5 2016 超流处理系统，连续时间信号的非标准建模。 Zbl 1301.68105号 Kohei Suenaga公司;广岛Sekine;一郎·哈索 5 2013 煤系组分的痕迹。 兹比尔1230.18004 一郎·哈索;巴特·雅各布斯 4 2011 用于定时模式匹配的Boyer-Moore类型算法。 Zbl 1433.68262号 Masaki Waga;Akazaki、Takumi;一郎·哈索 4 2016 通用正向和反向模拟。III： 矩阵定量模拟。 Zbl 1417.68139号 Natsuki Urabe;一郎·哈索 4 2014 Büchi和奇偶自动机的协代数跟踪语义。 Zbl 1392.68271号 Natsuki Urabe;清水、顺介;一郎·哈索 4 2016 纤维相互模拟和定量推理：扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本，Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 共导谓词和断句中的最终序列。 Zbl 1386.68103号 一郎·哈索;Toshiki Kataoka;肯塔·乔 4 2018 概率规划中对可达性进行排序和排斥。 Zbl 1517.68084号 Toru Takisaka公司;尤一郎·奥亚布;Natsuki Urabe;一郎·哈索 三 2018 记忆中的交互几何。II： 递归性和充分性。 Zbl 1347.68214号 科科·穆罗亚;北彦浩弘;一郎·哈索 三 2016 同步的几何结构。 Zbl 1395.03033号 乌戈·达尔拉戈;克劳迪娅·法吉安;一郎·哈索;阿基拉·吉咪祖 三 2014 用于程序验证的更清晰、更简单的非线性插值。 Zbl 1503.68184号 塔卡马萨·奥库多诺;Yuki西田;小岛贤介;Kohei Suenaga公司;基多、肯戈;一郎·哈索 三 2017 分形的余代数表示理论。 Zbl 1342.68215号 一郎·哈索;巴特·雅各布斯;米拉德·尼基 三 2010 随机对策有界值迭代中的最宽路径和全局传播。 Zbl 1478.68171号 基蒂芬·法拉卡恩;Toru Takisaka公司;托马斯·哈斯;一郎·哈索 三 2020 免费路径类别。来自具有非确定性分支的余代数的开态射。 Zbl 1524.68205号 托尔斯滕·维曼;杰雷米·杜布特;胜本，Shin-ya;一郎·哈索 三 2019 高阶矩鞅随机程序运行时的尾部概率。 Zbl 1527.68037号 佐藤库拉;Natsuki Urabe;一郎·哈索 三 2019 通过联合模拟实现概率匿名。 Zbl 1187.68068号 一郎·哈索;川部义信 2 2007 通过联合模拟实现概率匿名。 Zbl 1209.68219号 一郎·哈索;川崎，吉野;樱田秀树 2 2010 通过基于自动跳过的高效在线定时模式匹配。 Zbl 1494.68318号 Masaki Waga;一郎·哈索;Kohei Suenaga公司 2 2017 作为高阶量子电路的验证网中的测量。 Zbl 1405.68095号 阿基拉·吉咪祖;一郎·哈索;克劳迪娅·法吉安;乌戈·达尔拉戈 2 2014 非确定性和概率Büchi自动机的公平模拟：一个联合的观点。 Zbl 1459.68125号 Natsuki Urabe;一郎·哈索 2 2017 基于QB-鲁棒性的蒙特卡罗树搜索的有效混合系统伪造。 Zbl 1493.68227号 张振亚;吕德云;保罗·阿卡尼;马磊;一郎·哈索;赵建军 2 2021 通过函子交替不动点的分类Büchi和奇偶条件。 Zbl 1519.68148号 Natsuki Urabe;一郎·哈索 2 2018 定量线性时间逻辑的奇偶自动机。 Zbl 1433.68212号 科琳娜·科斯特;清水、顺介;一郎·哈索 2 2017 通过箭头作为深度因子将计算分类为组件。 Zbl 1247.68084号 川崎朝田;一郎·哈索 2 2010 根据时间和数据参数化规范进行符号监控。 Zbl 07805552号 Masaki Waga;埃蒂安·安德烈;一郎·哈索 2 2019 基于身份的加密方案的安全性概念之间的关系。 Zbl 1145.94431号 Attrapadung、Nuttapong;崔，杨;大卫·加林多;花冈、果一郎;一郎·哈索;伊迈、希德基;松浦康达;杨鹏;张瑞 1 2006 初始代数上的纤维化初始代数-有限余代数重合：将验证见证倒置。 Zbl 07730623号 Kori、Mayuko;一郎·哈索;胜本、新雅 1 2021 用无穷小进行抽象解释。在非标准静态分析中实现可伸缩性。 Zbl 1475.68188号 基多、肯戈;斯瓦拉特·乔杜里;一郎·哈索 1 2016 通过逻辑进行架构指导的测试资源分配。 兹比尔1489.68043 克洛维斯·埃伯哈特;Akihisa山田;斯特凡·克里科维茨;胜本，Shin-ya;小林，Tsutomu;一郎·哈索;石川，Fuyuki 1 2021 基于CEGIS的终止分析中的决策树学习。 Zbl 1493.68215号 佐藤库拉;不，Hiroshi;一郎·哈索 1 2021 属性导向可达性分析的格理论本质。 Zbl 1514.68137号 Kori，麻由子;Natsuki Urabe;胜本，Shin-ya;Kohei Suenaga公司;一郎·哈索 1 2022 海报摘要：Moore-machine定时和非定时模式匹配过滤。 Zbl 07120169号 Masaki Waga;一郎·哈索 1 2019 混合系统证伪中布尔连接词的多武器强盗。 Zbl 07805545号 张振亚;一郎·哈索;保罗·阿卡尼 1 2019 属性导向可达性分析的格理论本质。 Zbl 1514.68137号 Kori、Mayuko;Natsuki Urabe;胜本，Shin-ya;Kohei Suenaga公司;一郎·哈索 1 2022 纤维相互模拟和定量推理：扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本，Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 基于QB-鲁棒性的蒙特卡罗树搜索的有效混合系统伪造。 Zbl 1493.68227号 张振亚;吕德云;保罗·阿卡尼;马磊;一郎·哈索;赵建军 2 2021 初始代数上的纤维化初始代数-有限余代数重合：将验证见证倒置。 Zbl 07730623号 Kori、Mayuko;一郎·哈索;胜本、新雅 1 2021 通过逻辑进行体系结构引导的测试资源分配。 Zbl 1489.68043号 克洛维斯·埃伯哈特;Akihisa山田;斯特凡·克里科维茨;胜本，Shin-ya;小林，Tsutomu;一郎·哈索;石川，Fuyuki 1 2021 基于CEGIS的终止分析中的决策树学习。 Zbl 1493.68215号 佐藤库拉;不，Hiroshi;一郎·哈索 1 2021 随机对策有界值迭代中的最宽路径和全局传播。 Zbl 1478.68171号 基蒂芬·法拉卡恩;Toru Takisaka公司;托马斯·哈斯;一郎·哈索 三 2020 免费路径类别。具有非确定分支的余代数的开放态射。 Zbl 1524.68205号 托尔斯滕·维曼;杰雷米·杜布特;胜本，Shin-ya;一郎·哈索 三 2019 高阶矩鞅随机程序运行时的尾部概率。 Zbl 1527.68037号 黑田聪;Natsuki Urabe;一郎·哈索 三 2019 根据时间和数据参数化规范进行符号监控。 Zbl 07805552号 Masaki Waga;埃蒂安·安德烈;一郎·哈索 2 2019 海报摘要：Moore-machine定时和非定时模式匹配过滤。 Zbl 07120169号 Masaki Waga;一郎·哈索 1 2019 混合系统证伪中布尔连接词的多武器强盗。 Zbl 07805545号 张振亚;一郎·哈索;保罗·阿卡尼 1 2019 纤维理性的相互刺激和定量推理。 Zbl 1509.18025号 戴维·斯普伦格;胜本，Shin-ya;杰雷米·杜布特;一郎·哈索 7 2018 共导谓词和断句中的最终序列。 Zbl 1386.68103号 一郎·哈索;Toshiki Kataoka;肯塔·乔 4 2018 概率规划中对可达性进行排序和排斥。 Zbl 1517.68084号 Toru Takisaka公司;尤一郎·奥亚布;Natsuki Urabe;一郎·哈索 三 2018 通过函子交替不动点的分类Büchi和奇偶条件。 Zbl 1519.68148号 Natsuki Urabe;一郎·哈索 2 2018 通过相互作用几何的高阶量子计算的语义。 Zbl 1422.68161号 一郎·哈索;北彦浩弘 8 2017 用于程序验证的更清晰、更简单的非线性插值。 Zbl 1503.68184号 塔卡马萨·奥库多诺;Yuki西田;小岛贤介;Kohei Suenaga公司;基多、肯戈;一郎·哈索 三 2017 通过基于自动机的跳过进行高效的在线定时模式匹配。 Zbl 1494.68318号 Masaki Waga;一郎·哈索;Kohei Suenaga公司 2 2017 非确定性和概率Büchi自动机的公平模拟：一个联合的观点。 Zbl 1459.68125号 Natsuki Urabe;一郎·哈索 2 2017 定量线性时间逻辑的奇偶自动机。 Zbl 1433.68212号 科琳娜·科斯特;清水、顺介;一郎·哈索 2 2017 二元性带来的健康。 Zbl 1401.68042号 日野、瓦塔鲁;小林，弘基;一郎·哈索;巴特·雅各布斯 6 2016 格理论进度措施和联合模型检验。 Zbl 1347.68227号 一郎·哈索;清水、顺介;科琳娜·科斯特 5 2016 用于定时模式匹配的Boyer-Moore类型算法。 Zbl 1433.68262号 Masaki Waga;Akazaki、Takumi;一郎·哈索 4 2016 Büchi和奇偶自动机的协代数跟踪语义。 Zbl 1392.68271号 Natsuki Urabe;清水、顺介;一郎·哈索 4 2016 令人难忘的交互几何图形。二： 递归性和充分性。 Zbl 1347.68214号 科科·穆罗亚;北彦浩弘;一郎·哈索 三 2016 用无穷小进行抽象解释。在非标准静态分析中实现可伸缩性。 Zbl 1475.68188号 基多、肯戈;斯瓦拉特·乔杜里;一郎·哈索 1 2016 来自富含顺序的monad的通用最弱先决条件语义。 Zbl 1330.68046号 一郎·哈索 14 2015 MTL的时间鲁棒性和混合系统证伪的表达性。 Zbl 1381.68142号 Akazaki、Takumi;一郎·哈索 8 2015 Coalgebraic无限迹和Kleisli模拟。 Zbl 1366.68159号 Natsuki Urabe;一郎·哈索 7 2015 交互作用的记忆几何：从联合成分到代数效应。 Zbl 1394.68062号 北彦浩弘;科科·穆罗亚;一郎·哈索 6 2014 通用正向和反向模拟。三： 通过矩阵进行定量模拟。 Zbl 1417.68139号 Natsuki Urabe;一郎·哈索 4 2014 同步的几何结构。 Zbl 1395.03033号 乌戈·达尔拉戈;克劳迪娅·法吉安;一郎·哈索;阿基拉·吉咪祖 三 2014 作为高阶量子电路的验证网中的测量。 Zbl 1405.68095号 阿基拉·吉咪祖;一郎·哈索;克劳迪娅·法吉安;乌戈·达尔拉戈 2 2014 fibration中的共导谓词和最终序列。 Zbl 1334.68136号 一郎·哈索;肯塔·乔;Toshiki Kataoka 7 2013 超流处理系统，连续时间信号的非标准建模。 Zbl 1301.68105号 Kohei Suenaga公司;广岛Sekine;一郎·哈索 5 2013 用无穷小编程：aWhile期间-混合系统建模语言。 Zbl 1333.68181号 Kohei Suenaga公司;一郎·哈索 9 2011 煤系组分的痕迹。 兹比尔1230.18004 一郎·哈索;巴特·雅各布斯 4 2011 通用正向和反向模拟。二： 概率模拟。 Zbl 1285.68104号 一郎·哈索 8 2010 分形的余代数表示理论。 Zbl 1342.68215号 一郎·哈索;巴特·雅各布斯;米拉德·尼基 三 2010 通过联合模拟实现概率匿名。 兹比尔1209.68219 一郎·哈索;川崎，吉野;樱田秀树 2 2010 通过箭头作为profunctor将计算分类为组件。 Zbl 1247.68084号 川崎朝田;一郎·哈索 2 2010 箭头的分类语义。 Zbl 1191.68406号 巴特·雅各布斯;克里斯·希恩;一郎·哈索 16 2009 多种微观结构中的煤系成分。 兹比尔1239.68044 一郎·哈索;克里斯·希恩;巴特·雅各布斯;安娜·索科洛娃 6 2009 余代数中的微观原理和并发性。 Zbl 1139.68042号 一郎·哈索;巴特·雅各布斯;安娜·索科洛娃 10 2008 通过共同归纳的通用跟踪语义。 兹比尔1131.68058 一郎·哈索;巴特·雅各布斯;安娜·索科洛娃 62 2007 通过联合模拟实现概率匿名。 Zbl 1187.68068号 一郎·哈索;川崎，吉野 2 2007 通用正向和反向模拟。 Zbl 1151.68532号 一郎·哈索 15 2006 类迹理论。 Zbl 1276.68122号 一郎·哈索;巴特·雅各布斯;安娜·索科洛娃 7 2006 基于身份的加密方案的安全性概念之间的关系。 Zbl 1145.94431号 Attrapadung、Nuttapong;崔，杨;大卫·加林多;花冈、果一郎;一郎·哈索;伊迈、希德基;松浦康达;杨鹏;张瑞 1 2006 通过联合语义跟踪的无上下文语言。 兹比尔1131.68057 一郎·哈索;巴特·雅各布斯 7 2005 具有强否定的一阶构造逻辑的Kripke完备性。 Zbl 1048.03022号 一郎·哈索;鹿岛，良 7 2003 所有引用出版物 前5名被引用出版物 全部的 前5名304位作者引用 18 一郎·哈索 10 菲利波·邦奇 10 巴特·雅各布斯 9 胜本，Shin-ya 9 朱里安·罗特 9 亚历山德拉·席尔瓦 7 斯特凡·米利厄斯 6 巴巴拉·科尼格 6 卢茨·施罗德 6 安娜·索科洛娃 6 Kohei Suenaga公司 5 埃齐奥·巴托西 5 杰雷米·杜布特 5 佐藤，铁杉 4 托马斯·布伦戈斯 4 克里斯·希恩 4 克莱门斯·库普克 4 塞巴斯蒂安·库珀 4 亚历山大·库兹 4 内维斯、雷纳托 4 萨姆·斯塔顿 4 Natsuki Urabe 4 尼尔斯·F·W·沃恩维尔德。 4 托尔斯滕·维曼 三 巴博萨、路易斯·索亚雷斯 三 肯塔·乔 三 科琳娜·科斯特 三 谢尔盖·冈查洛夫 三 德克·霍夫曼 三 巴托克·克林 三 小岛贤介 三 科瓦奇，劳拉·伊尔迪科 三 简·Křetínsk 三 德扬·尼科维奇 三 德克·帕丁森 三 Daniela Luan Petrisan 三 皮罗格，马西耶 三 马西斯·雷内拉 三 阿莱西奥·桑塔马利亚 三 塔尔莫乌斯塔卢 三 马克西米利安·韦宁格 三 玛格丽塔·佐齐 2 亚历杭德罗·阿吉雷 2 埃蒂安·安德烈 2 尤金·亚萨林 2 阿德里亚娜·巴兰 2 哈什·贝哈尔 2 文森佐·西安西亚 2 乌戈·达尔拉戈 2 戴维·德·弗鲁托斯·埃斯克里格 2 托马斯·麦考利·弗格森 2 理查德·加纳 2 Dan R.吉卡。 2 比尼特·戈什 2 杰里米·吉本斯 2 卡洛斯·格雷戈里奥·罗德里格斯 2 丹尼尔·豪斯曼 2 北彦浩弘 2 毛罗·贾斯克利奥夫 2 马尔蒂·卡沃宁 2 Toshiki Kataoka 2 佐藤库拉 2 保罗·布莱恩·利维 2 康斯坦蒂诺斯·马穆拉斯 2 路易斯·蒙泰罗 2 马塞尔·穆斯布鲁克 2 劳伦斯·莫斯。 2 佩德罗·诺拉 2 卢卡·保里尼 2 马可·佩雷索蒂 2 Damien Pous 2 埃克塞奎尔·里瓦斯 2 简·J·M·M·鲁顿。 2 樱田秀树 2 塞萨尔·桑切斯 2 亚历山大·斯利文斯基 2 巴布亚州索波辛斯基 2 戴维·斯普伦格 2 米罗斯拉夫斯坦科维奇 2 鲁本·图肯堡 2 海宁·乌尔巴特 2 法比奥·扎纳西 1 亚历山德罗·阿巴特 1 法利斯·阿布·萨利赫 1 贝尼氨基Accattoli 1 阿达梅克，吉安尼 1 沃尔夫冈·阿伦特 1 马克·艾吉尔 1 阿米罗申·阿克巴尔·塔巴塔拜 1 克努特·奥凯森 1 亚伦·D·埃姆斯。 1 安、杰 1 米盖尔·安德烈斯。 1 保罗·阿卡尼 1 川崎朝田 1 穆克西特·阿齐姆 1 埃里克·巴杜埃尔 1 鲍嘉璐 1 曼纽尔·巴博萨 1 费伦茨·戈斯顿·巴塔 …还有204位作者 全部的 前5名29篇连载文章中引用 23 计算机科学中的逻辑方法 14 理论计算机科学 12 MSCS公司。计算机科学中的数学结构 4 信息与计算 4 程序设计中的逻辑和代数方法杂志 三 Studia Logica公司 三 系统设计中的形式化方法 2 计算机与系统科学杂志 2 合成 2 新一代计算 1 信息学报 1 人工智能 1 数学进展 1 Automatica公司 1 卡罗莱纳大学数学评论 1 纯粹与应用代数杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 应用非经典逻辑杂志 1 拓扑程序 1 函数编程杂志 1 范畴的理论与应用 1 数学与人工智能年鉴 1 软计算 1 逻辑与逻辑哲学 1 物理学基础 1 计算机科学中的数学 1 非线性分析。混合动力系统 1 《大学学报》。数学软件 全部的 前5名22个领域被引用 171 计算机科学（68至XX） 66 范畴理论；同调代数（18-XX） 50 数学逻辑和基础（03-XX） 10 量子理论（81-XX） 9 系统论；控制（93至XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 阶、格、有序代数结构（06-XX） 4 概率论与随机过程（60-XX） 三 测量和集成（28-XX） 2 动力系统和遍历理论（37至XX） 2 功能分析（46倍X倍） 2 统计学（62-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 历史和传记（01-XX） 1 代数几何（14-XX） 1 结合环与代数（16-XX） 1 几何图形（51至XX） 1 微分几何（53至XX） 1 一般拓扑结构（54至XX） 1 代数拓扑（55-XX） 1 整体分析，流形分析（58至XX） 按年份列出的引文