编辑配置文件（在新选项卡中打开） 戴维·德·弗鲁托斯·埃斯克里格 合著者距离 作者ID： de-frutos-escrig.david软件 发布日期： 戴维·德·弗鲁托斯·埃斯克里格;戴维·德·弗鲁托斯·埃斯克里格;戴维·德·弗鲁托斯·埃斯克里格;戴维·德·弗鲁托斯·埃斯克里格;戴维·德·弗鲁托斯·埃斯克里格 更多。。。较少的 外部链接： ORCID公司 已编制索引的文档： 53出版物自1989年起 3作为编辑的贡献 合著者： 34位合著者具有55联合出版物 565位合作作者 全部的 前5名合著者 1 单作者的 14 卡洛斯·格雷戈里奥·罗德里格斯 12 费尔南多·罗莎·维拉尔多 10 米格尔·帕洛米诺 9 卢卡·埃特罗 7 Anna Ingólfsdóttir 5 伊格纳西奥·法布雷加斯 4 奥尔加马罗金·阿隆索 4 Manuel A.努内兹。 三 埃尔南德斯，大卫·罗梅罗 三 马西耶·库特尼 三 路易斯·费尔南多·拉娜·迪亚斯 三 乌卡斯·米库尔斯基 2 黛拉·莫妮卡，达里奥 2 Jeroen J.A.Keiren。 2 安吉洛·蒙塔纳里 2 Tim A.C.Willemse。 1 奥尔加·马拉戈因·阿隆索 1 大卫·巴罗齐尼 1 罗伯托·布鲁尼 1 哈拉尔德·费彻 1 克劳斯·英德马克 1 纳塔利亚·洛佩斯 1 杰拉尔德·吕特根 1 马丁·奥列特，纳西索 1 Martos Salgado，玛丽亚 1 乌戈·蒙塔纳里。 1 阿尼埃洛·穆拉诺 1 尤兰达奥尔特加购物中心 1 卡洛斯·格雷戈里奥·罗德罗格斯 1 皮埃特罗·萨拉 1 海科·A·施密特。 1 圭多·西亚维科 1 克拉拉·塞古拉 1 瓦伦蒂安·瓦莱罗·鲁伊斯 全部的 前5名系列 4 计算机基础理论 三 理论计算机科学 2 计算机科学中的逻辑方法 1 信息学报 1 信息处理信件 1 控制论学报 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 计算机科学与技术杂志 1 信息与计算 1 西班牙皇家马特马提卡足球俱乐部（La Gaceta de La Real Sociedad Matemática Española） 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 领域 55 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物被引用148次95文件 引用人▼ 年份▼ 具有无序数据的Petri网的可判定性和复杂性。 兹比尔1231.68172 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 16 2011 定时弧Petri网性质的可判定性。 Zbl 0986.68077号 戴维·德·弗鲁托斯·埃斯克里格;瓦伦蒂安·瓦莱罗·鲁伊斯;奥尔加马罗金·阿隆索 12 2000 开放项和术语图通过分片逻辑的双相似同余。 Zbl 0999.68142号 罗伯托·布鲁尼;戴维·德·弗鲁托斯·埃斯克里格;马丁·奥列特，纳西索;乌戈·蒙塔纳里 10 2000 统一进程语义的线性时间分支时间谱。 Zbl 1297.68181号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺;埃尔南德斯，大卫·罗梅罗 9 2013 Petri网系统中的名称创建与复制。 Zbl 1154.68093号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 8 2008 准备就绪：代数和一般证明。 Zbl 1187.68309号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 8 2009 线性时间分支时间谱的最大互模拟。 Zbl 1134.68457号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 7 2005 关于移动同步Petri网的表示性。 Zbl 1277.68205号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格;奥尔加马洛金·阿隆索 6 2007 论过程语义的统一：等式语义。 兹比尔1337.68180 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 6 2009 （Bi）模拟可描述流程语义。 Zbl 1165.68054号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 5 2009 最新和规范的模拟预订单（扩展抽象）。 Zbl 1278.68148号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 4 2007 具有名称和复制的Petri网中的可判定性问题。 Zbl 1209.68341号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 4 2010 协变-逆变模态公式的图形表示。 Zbl 1457.68175号 卢卡·埃特罗;伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;Anna Ingólfsdóttir;米格尔·帕洛米诺 4 2011 Petri网可解二进制字的一个有效特征。 Zbl 1427.68189号 戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 4 2018 反转Petri网中的步骤。 Zbl 07796221号 戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 4 2019 具有名称的Petri网覆盖集的加速。 兹比尔1248.68357 费尔南多·罗莎·维拉尔多;Martos Salgado，玛丽亚;戴维·德·弗鲁托斯·埃斯克里格 三 2011 共性特征揭示了预订单和等价物之间的良好关系。 Zbl 1286.68350号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 三 2008 分支互模拟游戏。 Zbl 1347.68276号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 三 2016 在BCCSP上公理化弱就绪模拟语义。 兹比尔1351.68177 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 2 2011 非稳定阶也定义了有趣的模拟关系。 Zbl 1239.68051号 伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;米格尔·帕洛米诺 2 2009 复制无所不在的网络。 Zbl 1209.68342号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格;奥尔加马洛金·阿隆索 2 2006 分布式系统的新互模拟语义。 Zbl 1215.68161号 戴维·德·弗鲁托斯·埃斯克里格;费尔南多·罗莎·维拉尔多;卡洛斯·格雷戈里奥·罗德里格斯 2 2007 Petri网系统中的名称创建与复制。 Zbl 1226.68065号 费尔南多·罗莎·维拉多;戴维·德·弗鲁托斯·埃斯克里格 2 2007 完整和现成的模拟语义并不是基于BCCSP的有限性，即使使用单一字母表也是如此。 Zbl 1260.68252号 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 2 2011 具有名称创建的Petri网正向分析。 Zbl 1233.68168号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 2 2010 论过程语义学的统一：观察语义学。 Zbl 1206.68220号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 2 2009 在BCCSP上公理化弱模拟语义。 Zbl 1359.68183号 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 2 2014 用于相互模拟和抽象的游戏。 Zbl 1398.68362号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 2 2017 通过区间时序逻辑模型检查评估时序数据集。 Zbl 1515.68109号 黛拉·莫妮卡，达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 2 2017 BCCSP上弱完全模拟语义的等式理论。 兹比尔1298.68161 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;Anna Ingólfsdóttir 1 2012 相关模态细化、协变-逆变模拟和部分互模拟。 Zbl 1353.68192号 卢卡·埃特罗;伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;Anna Ingólfsdóttir;米格尔·帕洛米诺 1 2012 全球时间互模拟：简介。 Zbl 0954.68113号 戴维·德·弗鲁托斯·埃斯克里格;纳塔利亚·洛佩斯;曼努埃尔·努涅斯 1 1999 进程之间的距离：纯代数方法。 兹比尔1394.68219 大卫·罗梅罗·埃尔南德斯;戴维·德·弗鲁托斯·埃斯克里格 1 2013 具有名称创建和复制的Petri网受限模型的可判定性结果。 Zbl 1242.68185号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 1 2009 Beyond（ω）-正则语言：（ωT）-正则表达式及其自动机和逻辑对应项。 Zbl 1433.68192号 大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2020 随时间扩展Petri盒演算。 Zbl 0986.68082号 奥尔加马罗金·阿隆索;戴维·德·弗鲁托斯·埃斯克里格 1 2001 时间观测的完整证明系统。 Zbl 0967.68512号 约兰达奥尔特加购物中心;戴维·德·弗鲁托斯·埃斯克里格 1 1991 聚代数（bi）模拟中属性的反射和保持。 Zbl 1147.68571号 伊格纳西奥·法布雷加斯;米格尔·帕洛米诺;戴维·德·弗鲁托斯·埃斯克里格 1 2007 研究Petri网中步骤的可逆性。 Zbl 1522.68359号 戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 1 2021 研究Petri网中步骤的可逆性。 Zbl 1522.68359号 戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 1 2021 Beyond（ω）-正则语言：（ωT）-正则表达式及其自动机和逻辑对应项。 Zbl 1433.68192号 大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡，达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2020 反转Petri网中的步骤。 Zbl 07796221号 戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 4 2019 Petri网可解二进制字的一个有效特征。 兹比尔1427.68189 戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;乌卡斯·米库尔斯基 4 2018 用于相互模拟和抽象的游戏。 Zbl 1398.68362号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 2 2017 通过区间时序逻辑模型检查评估时序数据集。 Zbl 1515.68109号 黛拉·莫妮卡，达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 2 2017 分支互模拟游戏。 Zbl 1347.68276号 戴维·德·弗鲁托斯·埃斯克里格;Jeroen J.A.Keiren。;Tim A.C.Willemse。 三 2016 对BCCSP上的弱模拟语义进行公理化。 Zbl 1359.68183号 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 2 2014 统一进程语义的线性时间分支时间谱。 Zbl 1297.68181号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺;大卫·罗梅罗·埃尔南德斯 9 2013 进程之间的距离：纯代数方法。 Zbl 1394.68219号 大卫·罗梅罗·埃尔南德斯;戴维·德·弗鲁托斯·埃斯克里格 1 2013 BCCSP上弱完全模拟语义的等式理论。 Zbl 1298.68161号 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;Anna Ingólfsdóttir 1 2012 相关模态细化、协变-逆变模拟和部分互模拟。 Zbl 1353.68192号 卢卡·埃特罗;伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;Anna Ingólfsdóttir;米格尔·帕洛米诺 1 2012 具有无序数据的Petri网的可判定性和复杂性。 兹比尔1231.68172 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 16 2011 协变-逆变模态公式的图形表示。 Zbl 1457.68175号 卢卡·埃特罗;伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;Anna Ingólfsdóttir;米格尔·帕洛米诺 4 2011 具有名称的Petri网覆盖集的加速。 Zbl 1248.68357号 费尔南多·罗莎·维拉尔多;Martos Salgado，玛丽亚;戴维·德·弗鲁托斯·埃斯克里格 三 2011 在BCCSP上公理化弱就绪模拟语义。 Zbl 1351.68177号 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 2 2011 完整和现成的模拟语义并不是基于BCCSP的有限性，即使使用单一字母表也是如此。 Zbl 1260.68252号 卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂 2 2011 具有名称和复制的Petri网中的可判定性问题。 Zbl 1209.68341号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 4 2010 具有名称创建的Petri网正向分析。 兹比尔1233.68168 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 2 2010 准备就绪：代数和一般证明。 Zbl 1187.68309号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 8 2009 论过程语义的统一：等式语义。 Zbl 1337.68180号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 6 2009 （Bi）模拟可描述流程语义。 Zbl 1165.68054号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 5 2009 非稳定阶也定义了有趣的模拟关系。 兹比尔1239.68051 伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;米格尔·帕洛米诺 2 2009 论过程语义学的统一：观察语义学。 Zbl 1206.68220号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 2 2009 具有名称创建和复制的Petri网受限模型的可判定性结果。 Zbl 1242.68185号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 1 2009 Petri网系统中的名称创建与复制。 Zbl 1154.68093号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 8 2008 共性特征揭示了预订单和等价物之间的良好关系。 Zbl 1286.68350号 De Frutos Escrig，大卫;卡洛斯·格雷戈里奥·罗德里格斯;米格尔·帕洛米诺 三 2008 关于移动同步Petri网的表示性。 Zbl 1277.68205号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格;奥尔加马洛金·阿隆索 6 2007 模拟最新和规范的预订单（扩展抽象）。 Zbl 1278.68148号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 4 2007 分布式系统的新互模拟语义。 Zbl 1215.68161号 戴维·德·弗鲁托斯·埃斯克里格;费尔南多·罗莎·维拉尔多;卡洛斯·格雷戈里奥·罗德里格斯 2 2007 Petri网系统中的名称创建与复制。 Zbl 1226.68065号 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 2 2007 聚代数（bi）模拟中属性的反射和保持。 Zbl 1147.68571号 伊格纳西奥·法布雷加斯;米格尔·帕洛米诺;戴维·德·弗鲁托斯·埃斯克里格 1 2007 复制无所不在的网络。 兹比尔1209.68342 费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格;奥尔加马洛金·阿隆索 2 2006 线性时间分支时间谱的最大互模拟。 Zbl 1134.68457号 戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 7 2005 随时间扩展Petri盒演算。 Zbl 0986.68082号 奥尔加马罗金·阿隆索;戴维·德·弗鲁托斯·埃斯克里格 1 2001 定时弧Petri网性质的可判定性。 Zbl 0986.68077号 戴维·德·弗鲁托斯·埃斯克里格;瓦伦蒂安·瓦莱罗·鲁伊斯;奥尔加马罗金·阿隆索 12 2000 开放项和术语图通过分片逻辑的双相似同余。 Zbl 0999.68142号 罗伯托·布鲁尼;戴维·德·弗鲁托斯·埃斯克里格;马丁·奥列特，纳西索;乌戈·蒙塔纳里 10 2000 全球时间互模拟：简介。 Zbl 0954.68113号 戴维·德·弗鲁托斯·埃斯克里格;纳塔利亚·洛佩斯;曼努埃尔·努涅斯 1 1999 时间观测的完整证明系统。 Zbl 0967.68512号 尤兰达奥尔特加购物中心;戴维·德·弗鲁托斯·埃斯克里格 1 1991 所有引用出版物 前5名被引用出版物 全部的 前5名146位作者引用 17 戴维·德·弗鲁托斯·埃斯克里格 14 卡洛斯·格雷戈里奥·罗德里格斯 12 卢卡·埃特罗 12 Anna Ingólfsdóttir 9 费尔南多·罗莎·维拉尔多 7 马可·蒙塔利 5 伊格纳西奥·法布雷加斯 5 米格尔·帕洛米诺 5 安德烈·里夫金 4 帕罗什·阿齐兹·阿卜杜拉 4 罗伯托·布鲁尼 4 黛拉·莫妮卡，达里奥 4 萨沃米尔·拉索塔 三 威廉·扬·福克金 三 马西耶·库特尼 三 巴斯·卢提克 三 乌卡斯·米库尔斯基 三 乌戈·蒙塔纳里。 三 吉·斯尔巴 三 范格拉贝克、罗伯特·扬 2 普拉奈阿格拉瓦尔 2 卡米拉·巴里尔斯卡 2 本杰明·比斯平 2 迈克尔·布隆丁 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 陈、陶璐 2 乔治·德尔扎诺 2 德克·法兰德 2 乌里·法伦贝格 2 阿兰·芬克尔 2 法比奥·加杜奇 2 安娜·果戈林斯卡 2 让·古鲍特·拉雷克 2 洛依茨海露 2 彼得·霍夫曼 2 简·Křetínsk 2 兰科·拉齐奇 2 Legay、Axel 2 Martos Salgado，玛丽亚 2 理查德·梅尔（Richard M.Mayr）。 2 米凯尔·哈克杰·默勒 2 埃米利奥·穆尼奥斯·韦拉斯科 2 乌韦·内斯特曼 2 马蒂亚斯·拉加德·佩德森 2 Polyvyany，Artem公司 2 弗拉迪米罗·萨松 2 西尔万·施密茨 2 圭多·西亚维科 2 帕特里克·托茨克 2 瓦伦蒂安·瓦莱罗 2 van der Werf，Jan Martijn E.M。 2 张金进 2 张燕 2 朱兆辉 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 克莱门·奥伯特 1 塔贾纳Ban Kirigin 1 尼古拉·贝内什 1 哈什·贝哈尔 1 最好的，艾克 1 西蒙·布利兹 1 米歇尔·博雷尔 1 马克·博伊尔 1 大卫·布雷索林 1 安东尼奥·布埃诺 1 迭戈·卡尔瓦内斯 1 拉杜·乔巴努 1 恩里科·科米纳托 1 威廉·康拉迪 1 安德烈亚·科拉迪尼 1 Jean-Pierre科蒂亚特 1 斯乔德·克兰恩 1 伊奥娜·多姆尼纳·克里斯特斯库 1 费尔南多·库亚特罗 1 戴维斯，吉姆 1 马西米利亚诺·德·利奥尼 1 皮埃尔·德·萨奎·桑奈斯 1 邓玉欣 1 瓦迪姆·杰尼索夫 1 雷蒙德·魔鬼队 1 埃罗菲耶夫·叶夫根尼 1 保罗·费利 1 休伯特·加拉维 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 西蒙·格纳尼 1 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 1 Furio Honsell 1 侯泽晨 1 拉塞·雅各布森 1 莫滕·雅各布森 1 大卫·詹森（David N.Jansen）。 1 Max Iosifovich，卡诺维奇 1 皮耶朱利奥·凯蒂斯 1 Jeroen J.A.Keiren。 1 汉娜·克劳代尔 1 Köhler Bußmeier，迈克尔 1 弗雷德里克·朗 1 金·古德斯特兰·拉森 1 玛丽娜·莱妮莎 …还有46位作者 全部的 前5名15篇连载文章中引用 12 理论计算机科学 8 计算机基础理论 6 信息与计算 5 信息学报 4 计算机科学中的逻辑方法 三 MSCS公司。计算机科学中的数学结构 2 信息处理信件 2 程序设计中的逻辑和代数方法杂志 1 应用数学与计算 1 模糊集与系统 1 计算的形式方面 1 离散事件动态系统 1 软计算 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 全部的 前5名在8个字段中引用 95 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 量子理论（81-XX） 1 系统论；控制（93至XX） 按年份列出的引文