编辑配置文件（在新选项卡中打开） 迪诺·曼德里奥利 合著者距离 作者ID： 曼德里奥利·迪诺 发布日期： 迪诺·曼德里奥利;Mandrioli，D。 外部链接： MGP公司 已编制索引的文档： 56出版物自1972年以来，包括3本书 2作为编辑的贡献·1进一步贡献 合著者： 38位合著者具有53联合出版物 590名合作作者 全部的 前5名合著者 三 单作者的 17 马蒂奥·普拉德拉 11 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 9 卡洛·盖齐 7 维奥莱塔·罗纳蒂 5 安杰洛·莫尔岑蒂 4 米歇尔·齐亚里 4 克劳迪奥·西特里尼 4 卡洛·阿尔贝托·福里亚 4 马里诺·加托 4 吉奥瓦尼·吉达 4 罗西（Matteo A.C.Rossi）。 4 马尔科·索马利维科 三 奥古斯托·塞勒坦诺 三 德尔拉·维格纳（Della Vigna）、皮埃尔路易吉（Pierluigi） 三 费德里卡·帕内拉 三 塞尔吉奥·里纳尔迪 2 亚历山德拉·切鲁比尼 2 曼弗雷德·德罗斯特 2 斯特凡·杜克 1 荒木，Keijiro 1 亚历山德罗·巴伦吉 1 丹尼尔·贝里（Daniel M.Berry）。 1 迪迪埃·布克斯 1 Coen Porisini，阿尔贝托 1 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡（Stefan） 1 乔瓦纳·迪·马尔佐·塞卢根多 1 卢卡·费鲁奇 1 安吉洛·加甘蒂尼 1 格内西、斯特凡尼亚 1 尼古拉斯·盖尔菲 1 贾萨耶里，梅迪 1 库利科夫斯基（Kulikowski）、朱利叶斯·莱赫（Juliusz Lech） 1 莱维特，W.J.M。 1 大卫·F·马丁。 1 安吉洛·马佐洛 1 伯纳德·梅尔泽 1 贝特朗·梅耶 1 桑德罗·莫拉斯卡 1 阿梅迪奥·帕西 1 佩泽，毛罗 1 Sangiovanni Vencentelli，A。 1 Alberto L.Sangiovanni-Vincentelli。 1 弗朗西斯科·蒂萨托 1 沃尔特·乌科维奇 全部的 前5名系列 5 理论计算机科学 三 信息处理信件 三 计算机语言 三 信息和控制 三 SIAM计算机杂志 2 卡尔科洛 2 计算机协会杂志 2 信息与计算 2 计算机科学中的逻辑方法 1 国际系统科学杂志 1 信息科学 1 计算机与系统科学杂志 1 米兰费西科马特米蒂科研讨会（Rendiconti del Seminario Matemático e Fisico di Milano） 1 程序设计语言与系统学报 1 国际计算机科学基础杂志 1 并行：实践与经验 1 IEEE软件工程汇刊 1 CISM国际机械科学中心。课程和讲座 1 计算机科学讲义 1 La Matematica nella Societyáe nella Cultura协会。I系列 1 计算机科学评论 1 理论计算机科学专著。EATCS系列 全部的 前5名领域 56 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 三 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 动力系统和遍历理论（37-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用250中的次154文件 引用人▼ 年份▼ 一类向量加法系统的可判定性定理。 Zbl 0302.68065号 克雷斯皮·雷吉齐，S。;D.曼德里奥利。 22 1975 运算符优先级和明显的下推属性。 Zbl 1250.68175号 雷吉兹、斯特凡诺·克雷斯皮;迪诺·曼德里奥利 22 2012 QRT FIFO自动机，广度优先语法及其关系。 Zbl 0745.68069号 亚历山德拉·切鲁比尼;克劳迪奥·西特里尼;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;迪诺·曼德里奥利 21 1991 运算符优先语言：它们的自动机理论和逻辑特征。 Zbl 1522.68278号 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;费德里卡·帕内拉;马蒂奥·普拉德拉 17 2015 计算机科学的理论基础。 Zbl 0734.68002号 迪诺·曼德里奥利;卡洛·盖齐 16 1987 Petri网和Szilard语言。 Zbl 0354.68098号 克雷斯皮·雷吉齐，S。;Mandrioli，D。 15 1977 算子优先语言的代数性质。 Zbl 0377.68048号 克雷斯皮·雷吉齐、斯特凡诺;迪诺·曼德里奥利;大卫·F·马丁。 13 1978 不计上下文无关语言。 Zbl 0388.68073号 克雷斯皮·雷吉齐，S。;G.吉达。;D.曼德里奥利。 11 1978 软件工程基础。 Zbl 0827.68030号 卡洛·盖齐;贾萨耶里，梅迪;迪诺·曼德里奥利 10 1991 推广输入驱动的语言：理论和实践的好处。 Zbl 1382.68136号 迪诺·曼德里奥利;马蒂奥·普拉德拉 9 2018 关于确定性多通分析。 Zbl 0611.68051号 克劳迪奥·西特里尼;克雷斯皮·雷吉齐、斯特凡诺;迪诺·曼德里奥利 7 1986 操作员优先时序逻辑和模型检查。 Zbl 1464.68197号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 7 2020 计算中的建模时间。 Zbl 1260.68004号 卡罗·福里亚（Carlo A.Furia）。;迪诺·曼德里奥利;安杰洛·莫尔岑蒂;罗西，马蒂奥 7 2012 运算符优先语法和非计数属性。 Zbl 0454.68090号 克雷斯皮·雷吉齐，斯特凡诺;吉奥瓦尼·吉达;迪诺·曼德里奥利 5 1981 交换语法。 Zbl 0354.68099号 克雷斯皮·雷吉齐，S。;D.曼德里奥利。 5 1976 增量解析。 Zbl 0449.68046号 卡洛·盖齐;迪诺·曼德里奥利 4 1979 解决问题的一般学习方法。 Zbl 0376.68062号 Sangiovanni Vincentelli，A。;D.曼德里奥利。;索马利维科，M。 4 1976 优先自动机和语言。 兹比尔1252.68178 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 4 2011 运算符优先语法的并行分析。 Zbl 1259.68101号 亚历山德罗·巴伦吉;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡（Stefan）;迪诺·曼德里奥利;马蒂奥·普拉德拉 4 2013 高级面向对象软件工程。 Zbl 0814.68049号 三 1992 动力系统中的伪平衡。 Zbl 0274.93022号 M·加托。;D.曼德里奥利。;里纳尔迪，S。 三 1973 增强解析器以支持增量。 Zbl 0475.68052号 卡洛·盖齐;迪诺·曼德里奥利 三 1980 运算符优先语言的时序逻辑和模型检查。 Zbl 1528.68215号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 三 2018 加权运算符优先语言。 Zbl 1441.68121号 曼弗雷德·德罗斯特;斯特凡·杜克;迪诺·曼德里奥利;马蒂奥·普拉德拉 三 2017 结构化无上下文语言的星型、一阶可定义性和非周期性。 Zbl 07369988号 迪诺·曼德里奥利;马蒂奥·普拉德拉;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 三 2020 运算符优先级和明显的下推属性。 Zbl 1284.68345号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;迪诺·曼德里奥利 三 2010 选择模型的结构化上下文无关语言。 兹比尔1493.68207 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 三 2021 自由语言的一阶逻辑可定义性。 Zbl 1465.68122号 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;费德里卡·帕内拉;马蒂奥·普拉德拉 三 2015 运算符优先级\（\omega \）-语言。 Zbl 1381.68130号 费德里卡·帕内拉;马蒂奥·普拉德拉;维奥莱塔·罗纳蒂;迪诺·曼德里奥利 三 2013 使用Petri网的并发系统的符号执行。 Zbl 0689.68008号 卡洛·盖齐;迪诺·曼德里奥利;桑德罗·莫拉斯卡;佩泽，毛罗 2 1989 作为复杂性理解和自动问题解决的代数基础的综合问题理论。 Zbl 0337.90051号 吉奥瓦尼·吉达;迪诺·曼德里奥利;阿梅迪奥·帕西;马尔科·索马利维科 2 1976 处理公理系统中的零时间转换。 Zbl 1045.68591号 安吉洛·加甘蒂尼;迪诺·曼德里奥利;安杰洛·莫尔岑蒂 2 1999 无形结构语言的逻辑特征：以弗洛伊德语言为例。 Zbl 1303.68080号 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 2 2013 朝向输入驱动的局部可解析语言理论。 Zbl 1355.68154号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 2 2017 广度和深度语法和Deque自动机。 Zbl 0732.68066号 亚历山德拉·切鲁比尼;克劳迪奥·西特里尼;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;迪诺·曼德里奥利 1 1990 连锁确定性下推转换。 兹伯利0614.68056 Citrini，C。;Crespi Reghizzi，S.公司。;D.曼德里奥利。 1 1986 问题解决者的集成模型。 Zbl 0368.94023号 吉奥瓦尼·吉达;迪诺·曼德里奥利;马尔科·索马利维科 1 1977 实时系统的自动合成证明。 Zbl 1119.68427号 卡罗·福里亚（Carlo A.Furia）。;罗西，马蒂奥;迪诺·曼德里奥利;安杰洛·莫尔岑蒂 1 2005 实时同步Petri网。 Zbl 1047.68606号 乔瓦纳·迪·马尔佐·塞卢根多;迪诺·曼德里奥利;迪迪埃·布克斯;尼古拉斯·盖尔菲 1 2002 结构化无上下文语言的一阶完整时序逻辑。 Zbl 07577575号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 1 2022 本地链接访问语言。 Zbl 1465.68138号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 1 2015 结构化无上下文语言的一阶完整时序逻辑。 Zbl 07577575号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 1 2022 选择模型的结构化上下文无关语言。 Zbl 1493.68207号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 三 2021 操作员优先时序逻辑和模型检查。 Zbl 1464.68197号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 7 2020 结构化无上下文语言的星型、一阶可定义性和非周期性。 兹伯利07369988 迪诺·曼德里奥利;马蒂奥·普拉德拉;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 三 2020 泛化输入驱动语言：理论和实践益处。 Zbl 1382.68136号 迪诺·曼德里奥利;马蒂奥·普拉德拉 9 2018 运算符优先语言的时序逻辑和模型检查。 Zbl 1528.68215号 米歇尔·齐亚里;迪诺·曼德里奥利;马蒂奥·普拉德拉 三 2018 加权运算符优先语言。 Zbl 1441.68121号 曼弗雷德·德罗斯特;斯特凡·杜克;迪诺·曼德里奥利;马蒂奥·普拉德拉 三 2017 朝向输入驱动的局部可解析语言理论。 Zbl 1355.68154号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 2 2017 运算符优先语言：它们的自动机理论和逻辑特征。 Zbl 1522.68278号 维奥莱塔·洛纳蒂;迪诺·曼德里奥利;费德里卡·帕内拉;马蒂奥·普拉德拉 17 2015 自由语言的一阶逻辑可定义性。 Zbl 1465.68122号 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;费德里卡·帕内拉;马蒂奥·普拉德拉 三 2015 本地链接访问语言。 Zbl 1465.68138号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 1 2015 运算符优先语法的并行分析。 Zbl 1259.68101号 亚历山德罗·巴伦吉;Crespi Reghizzi，斯特凡;迪诺·曼德里奥利;马蒂奥·普拉德拉 4 2013 运算符优先级\（\omega \）-语言。 Zbl 1381.68130号 费德里卡·帕内拉;马蒂奥·普拉德拉;维奥莱塔·罗纳蒂;迪诺·曼德里奥利 三 2013 无形结构语言的逻辑特征：以弗洛伊德语言为例。 Zbl 1303.68080号 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 2 2013 运算符优先级和明显的下推属性。 Zbl 1250.68175号 雷吉兹、斯特凡诺·克雷斯皮;迪诺·曼德里奥利 22 2012 计算中的建模时间。 Zbl 1260.68004号 卡罗·福里亚（Carlo A.Furia）。;迪诺·曼德里奥利;安杰洛·莫尔岑蒂;罗西，马蒂奥 7 2012 优先级自动机和语言。 Zbl 1252.68178号 维奥莱塔·罗纳蒂;迪诺·曼德里奥利;马蒂奥·普拉德拉 4 2011 运算符优先级和明显的下推属性。 Zbl 1284.68345号 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;迪诺·曼德里奥利 三 2010 实时系统的自动合成证明。 Zbl 1119.68427号 卡罗·福里亚（Carlo A.Furia）。;罗西，马蒂奥;迪诺·曼德里奥利;安杰洛·莫尔岑蒂 1 2005 实时同步Petri网。 Zbl 1047.68606号 乔瓦纳·迪·马尔佐·塞卢根多;迪诺·曼德里奥利;迪迪埃·布克斯;尼古拉斯·盖尔菲 1 2002 处理公理系统中的零时间转换。 Zbl 1045.68591号 安吉洛·加甘蒂尼;迪诺·曼德里奥利;安杰洛·莫尔岑蒂 2 1999 高级面向对象软件工程。 Zbl 0814.68049号 三 1992 QRT FIFO自动机，第一宽文法及其关系。 Zbl 0745.68069号 亚历山德拉·切鲁比尼;克劳迪奥·西特里尼;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;迪诺·曼德里奥利 21 1991 软件工程基础。 Zbl 0827.68030号 卡洛·盖齐;贾萨耶里，梅迪;迪诺·曼德里奥利 10 1991 广度和深度语法和Deque自动机。 Zbl 0732.68066号 亚历山德拉·切鲁比尼;克劳迪奥·奇特里尼;克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano）;迪诺·曼德里奥利 1 1990 使用Petri网的并发系统的符号执行。 Zbl 0689.68008号 卡洛·盖齐;迪诺·曼德里奥利;桑德罗·莫拉斯卡;佩泽，毛罗 2 1989 计算机科学的理论基础。 Zbl 0734.68002号 迪诺·曼德里奥利;卡洛·盖齐 16 1987 关于确定性多通分析。 Zbl 0611.68051号 克劳迪奥·西特里尼;克雷斯皮·雷吉齐、斯特凡诺;迪诺·曼德里奥利 7 1986 连锁确定性下推转换。 Zbl 0614.68056号 Citrini，C。;Crespi Reghizzi，S.公司。;D.曼德里奥利。 1 1986 运算符优先语法和非计数属性。 兹比尔0454.68090 克雷斯皮·雷吉齐、斯特凡诺;吉奥瓦尼·吉达;迪诺·曼德里奥利 5 1981 扩充解析器以支持增量。 Zbl 0475.68052号 卡洛·盖齐;迪诺·曼德里奥利 三 1980 增量解析。 Zbl 0449.68046号 卡洛·盖齐;迪诺·曼德里奥利 4 1979 算子优先语言的代数性质。 Zbl 0377.68048号 克雷斯皮·雷吉齐、斯特凡诺;迪诺·曼德里奥利;大卫·F·马丁。 13 1978 不计上下文无关语言。 Zbl 0388.68073号 克雷斯皮·雷吉齐，S。;吉达，G。;D.曼德里奥利。 11 1978 Petri网和Szilard语言。 Zbl 0354.68098号 克雷斯皮·雷吉齐，S。;D.曼德里奥利。 15 1977 问题解决者的集成模型。 Zbl 0368.94023号 吉奥瓦尼·吉达;迪诺·曼德里奥利;马尔科·索马利维科 1 1977 交换语法。 Zbl 0354.68099号 克雷斯皮·雷吉齐，S。;Mandrioli，D。 5 1976 解决问题的一般学习方法。 Zbl 0376.68062号 Sangiovanni Vincentelli，A。;D.曼德里奥利。;索马利维科，M。 4 1976 作为复杂性理解和自动问题解决的代数基础的综合问题理论。 Zbl 0337.90051号 吉奥瓦尼·吉达;迪诺·曼德里奥利;阿梅迪奥·帕西;马尔科·索马利维科 2 1976 一类向量加法系统的可判定性定理。 Zbl 0302.68065号 克雷斯皮·雷吉齐，S。;Mandrioli，D。 22 1975 动力系统中的伪平衡。 Zbl 0274.93022号 M·加托。;D.曼德里奥利。;里纳尔迪，S。 三 1973 所有引用出版物 前5名被引用出版物 全部的 前5名208位作者引用 20 迪诺·曼德里奥利 19 马丁·库特里布 16 安德烈亚斯·马尔彻 16 马蒂奥·普拉德拉 11 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 10 马蒂亚斯·温德兰特 8 卡洛·梅雷盖蒂 8 比阿特丽斯·帕拉诺 6 Yen、Hsuchun 5 米歇尔·齐亚里 5 Rodney R.豪厄尔。 5 维奥莱塔·罗纳蒂 5 路易斯·E·罗西尔。 4 最好的，艾克 4 雷蒙德·魔鬼队 4 圣皮埃特罗（San Pietro）、皮耶路易吉（Pierluigi L.）。 三 曼弗雷德·德罗斯特 三 卡洛·阿尔贝托·福里亚 三 吉奥瓦尼·吉达 三 克里斯托弗·摩尔 三 安杰洛·莫尔岑蒂 三 罗西（Matteo A.C.Rossi）。 三 马尔科·索马利维科 2 比约纳，迪内斯 2 亚历山德拉·切鲁比尼 2 詹姆斯·克拉奇菲尔德。 2 斯特凡·杜克 2 亨宁费尔瑙 2 克里斯蒂娜·盖恩 2 亚历山德拉·格拉格纳尼 2 托马斯·胡贾萨 2 亨特，哈里·鲍文三世 2 马提亚斯·扬岑 2 Joost-Pieter卡托恩 2 托马斯·斯蒂芬·爱德华·迈鲍姆 2 马达夫·马拉特。 2 威廉·P·R·米切尔。 2 费德里卡·帕内拉 2 拉德哈克利什南（Radhakrishnan，Venkatesh） 2 拉维，S.S。 2 塞尔吉奥·里纳尔迪 2 哈罗德·西蒙斯 2 托拜厄斯·温克勒 1 Nazareno M.阿吉雷。 1 塞利姆·G·阿克尔。 1 保罗·阿利蒙蒂 1 拉杰夫·阿鲁尔 1 法哈德·阿尔巴 1 安德烈·阿诺德 1 阿塔纳索夫，克拉西米尔·托多罗夫 1 霍尔格·博克·阿克塞尔森 1 亨德里克·彼得·巴伦德雷格特 1 朱利亚·巴蒂洛蒂 1 西蒙·拜尔 1 Bensch，苏娜 1 马西莫·伯纳西 1 马尔塞洛·玛丽亚·贝尔萨尼 1 杰苏斯·比斯巴尔 1 卢卡·布雷维利里 1 弗兰克·卡塞兹 1 菲利波·卡斯蒂格利奥内 1 巴勃罗·卡斯特罗。 1 马蒂奥·卡瓦利埃 1 克劳迪奥·西特里尼 1 兰斯·克莱维兰 1 弗兰斯·科宁 1 菲尔·库克 1 马里奥·科普 1 罗尼·克里斯蒂亚诺 1 Gianpaolo Cugola公司 1 沃伊切赫，切尔文斯基 1 文森特·拉吉库马尔（Vincent Rajkumar） 1 尤尔根·达索 1 拉米罗·德马西 1 法比奥·德科尔 1 Dezani Ciancaglini，马里亚焦拉 1 克里斯蒂安·迪利茨 1 奇诺维·迪斯金 1 道德，德拉甘 1 董国柱 1 赛义德·杜斯塔利 1 法兰克·德雷维斯 1 曼尼什·库马尔·杜比 1 巴里·伊格尔斯通 1 卡里姆·埃尔德夫拉维 1 埃罗菲耶夫·叶夫根尼 1 克劳迪娅·法根 1 米盖尔·费尔德 1 斯蒂芬·芬纳（Stephen A.Fenner）。 1 卢卡·费鲁奇 1 埃斯特班，费尔斯坦 1 达纳·菲斯曼 1 彼得·丰塔纳 1 埃米利奥·弗雷尔·马西亚斯 1 维杰·加格。 1 安吉洛·加甘蒂尼 1 乔塔姆，维奈 1 卡洛·盖齐 1 保罗·格拉斯曼 1 简·格拉博夫斯基 …还有108位作者 全部的 前5名47篇连载文章被引用 29 理论计算机科学 11 信息处理信件 10 符号逻辑杂志 7 计算机与系统科学杂志 7 信息与计算 4 信息学报 三 计算的形式方面 三 计算机科学中的逻辑方法 三 RAIRO公司。理论信息学及其应用 2 倒排索引综述 2 人工智能 2 卡尔科洛 2 信息科学 2 物理D 2 国际智能系统杂志 2 国际计算机科学基础杂志 2 国际应用科学与工程分叉与混沌杂志 2 软计算 2 计算机基础理论 1 比特币 1 计算 1 数学系统理论 1 RAIRO，Informatique Théorique公司 1 SIAM计算机杂志 1 软件。实践与经验 1 理论种群生物学 1 计算机程序设计科学 1 离散事件动态系统 1 国际计算机数学杂志 1 模式识别 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程软件进展 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 符号逻辑公报 1 数学与人工智能年鉴 1 可靠的计算 1 并行算法与应用 1 欧洲控制杂志 1 计算系统理论 1 自动机、语言和组合数学杂志 1 软件维护与进化杂志。研究与实践 1 应用数学与计算杂志 1 应用逻辑杂志 1 国际计算方法杂志 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名16个领域引用 138 计算机科学（68至XX） 32 数学逻辑和基础（03-XX） 4 生物学和其他自然科学（92-XX） 4 信息与通信理论、电路（94-XX） 三 阶、格、有序代数结构（06-XX） 三 常微分方程（34-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 群论与推广（20-XX） 2 数值分析（65-XX） 1 组合数学（05-XX） 1 动力系统和遍历理论（37-XX） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文