编辑配置文件（在新选项卡中打开） 吉安·路易吉，法拉利 合著者距离 作者ID： 费拉里·吉安·路易吉 发布日期： Gianluigi法拉利;吉安·路易吉，法拉利;法拉利，吉安·路易吉;吉安·路易吉，法拉利;法拉利，G.L。;G.-L.法拉利。 更多。。。较少的 外部链接： ORCID公司·数据库许可证 已编制索引的文档： 61出版物自1990年以来 3作为编辑的贡献 合著者： 45位合著者具有61联合出版物 576名合著者 全部的 前5名合著者 三 单作者的 19 皮耶保罗·德加诺 19 乌戈·蒙塔纳里。 14 埃米利奥·托斯托 9 马西莫·巴托莱蒂 7 罗萨里奥·普格利泽 6 洛科·德尼古拉 5 博迪，恰拉 5 罗伯托·祖尼诺 4 大卫·巴兹勒 4 马可·皮斯托雷 三 文森佐·西安西亚 三 盖列塔，莱特里奥 三 罗伯特·瓜夏莱 三 吉安卢卡·梅泽蒂 三 尤金尼奥·莫吉 三 丹尼尔·斯特罗洛 2 弗拉维奥·科拉迪尼 2 米兰达·莫布雷 2 科拉多·普里亚米 2 保拉夸格里亚 2 贝蒂·文内里 1 迈克尔·巴尔达穆斯 1 贾科莫·巴尔迪 1 杰斯珀·本特森 1 洛伦佐·贝蒂尼 1 维维亚娜·博诺 1 安德烈亚·克拉克·布拉夏利 1 基思·M·查格。 1 朱利奥·科拉沃尔佩 1 乔瓦尼·伊马努埃莱·科拉扎 1 丹尼尔·戈拉 1 罗伯托·戈里埃里 1 丹·赫施 1 伊万·拉内斯 1 米歇尔·洛雷蒂 1 格雷格·梅雷迪思 1 卡洛·蒙坦格罗 1 R.D.尼古拉。 1 罗伯托·拉吉 1 里卡多·拉赫利 1 劳拉·塞米尼 1 西蒙·塞姆普林尼 1 弗朗西斯科·蒂埃齐 1 比约恩·维克多 1 基丹·耶马内 全部的 前5名系列 4 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 2 IEEE信息理论汇刊 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 计算机科学讲义 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 IEEE通讯汇刊 1 计算机程序设计科学 1 信息与计算 1 信号与通信技术 全部的 前5名领域 60 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 6 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 2 历史和传记（01-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 特殊功能（33至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 48出版物有被引用223中的次166文件 引用人▼ 年份▼ 使用多态类型对\（\pi\）-演算的HD-自动机进行协代数最小化。 Zbl 1070.68102号 Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 14 2005 最小化名称传递结石的转换系统：一个协代数公式。 Zbl 1077.68716号 Gianluigi法拉利;乌戈·蒙塔纳里;马可·皮斯托雷 14 2002 克莱姆项目：理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 同步超边缘替换作为面向服务计算的模型。 Zbl 1196.68025号 吉安·路易吉，法拉利;丹·赫施;伊万·拉内斯;乌戈·蒙塔纳里;埃米利奥·托斯托 13 2006 统一并发模型。 Zbl 0758.68027号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 10 1990 访问控制的类型。 Zbl 0954.68025号 R·尼古拉。;法拉利，G.-L。;普格利泽，R。;B.Venneri。 10 2000 定位和移动系统的平铺格式。 Zbl 1046.68619号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 10 2000 一个扩展的展开定理。 Zbl 0967.68513号 吉安·路易吉，法拉利;罗伯托·戈里埃里;乌戈·蒙塔纳里 10 1991 带有显式替换的（pi）-演算。 Zbl 0874.68197号 吉安·路易吉，法拉利;乌戈·蒙塔纳里;保拉·夸里亚 9 1996 通过具有移动性的图同步实现环境的LTS语义。 Zbl 1042.68615号 吉安·路易吉，法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 8 2001 跟踪收集和汇总物联网数据的位置。 Zbl 1459.68013号 博迪，恰拉;皮耶保罗·德加诺;吉安·路易吉，法拉利;盖列塔，莱特里奥 8 2017 动态矩阵和并发程序的成本分析。 Zbl 1496.68106号 Gianluigi法拉利;乌戈·蒙塔纳里 7 1995 通过基于事件的框架中的类型进行协调。 兹比尔1215.68148 Gianluigi法拉利;罗伯特·瓜夏莱;丹尼尔·斯特罗洛;埃米利奥·托斯托 6 2007 具有参数观测的结构化转换系统：观测同余和最小实现。 Zbl 0878.68084号 Gianluigi法拉利;乌戈·蒙塔纳里;米兰达·莫布雷 6 1997 自动分析服务合同。 Zbl 1444.68110号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利 6 2014 资源使用分析的类型和效果。 Zbl 1195.68027号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 6 2007 观察逻辑和并发模型。 Zbl 0732.03024号 洛科·德尼古拉;吉安·路易吉，法拉利 5 1990 使用HD-自动机建模融合演算。 Zbl 1151.68527号 Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托;比约恩·维克多;基丹·耶马内 5 2005 用于指定和编排服务合同的自动化。 Zbl 1398.68296号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利 5 2016 标称结石的模型检查。 Zbl 1119.68115号 吉安·路易吉，法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 4 2005 通过契约自动机从编配到编舞。 Zbl 1433.68236号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利;埃米利奥·托斯托 4 2014 带有显式替换的（pi）演算：后期语义。 Zbl 1493.68244号 Gianluigi法拉利;乌戈·蒙塔纳里;保拉·夸里亚 4 1994 模型检查使用策略。 Zbl 1361.68133号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 4 2015 将编排和编排的两个基于自动机的模型联系起来。 Zbl 1352.68125号 D.巴兹利。;P.德加诺。;法拉利，G.L。;托斯托，E。 4 2016 参数化结构化操作语义。 Zbl 0904.68132号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 三 1998 在时间计算中急切等待的懒惰行为？ Zbl 0911.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 三 1997 Marcum\（Q\）-函数的新边界。 Zbl 1062.94003号 乔瓦尼·科拉扎（Giovanni E.Corazza）。;Gianluigi法拉利 三 2002 用于资源使用控制的标称自动机。 Zbl 1297.68121号 皮耶保罗·德加诺;吉安·路易吉，法拉利;吉安卢卡·梅泽蒂 三 2012 \（\nu\）-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2009 安全的服务编排。 Zbl 1195.68015号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2007 可编程QoS推理的形式化基础。 Zbl 1274.68022号 洛科·德尼古拉;Gianluigi法拉利;乌戈·蒙塔纳里;罗萨里奥·普格利泽;埃米利奥·托斯托 2 2003 并发和定位计算的平铺？ 兹比尔0911.68056 吉安·路易吉，法拉利;乌戈·蒙塔纳里 2 1997 异步演算的基于til的协调视图。 Zbl 0941.68089号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 2 1997 最后，逐步观察到因果关系。 Zbl 0967.68519号 吉安·路易吉，法拉利;乌戈·蒙塔纳里;米兰达·莫布雷 2 1991 基于事件的编排。 Zbl 1209.68032号 文森佐·西安西亚;Gianluigi法拉利;罗伯特·瓜夏莱;丹妮尔·斯特罗洛 1 2010 基于图形的互联系统模型。 Zbl 1274.68011号 Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 1 2003 关于持续动作的语义。 Zbl 0983.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 1 2001 编程访问控制：KLAIM体验。 Zbl 0999.68557号 洛科·德尼古拉;吉安·路易吉，法拉利;罗萨里奥·普格利泽 1 2000 进程计算中的原子性和并发控制。 兹比尔0870.68067 吉安·路易吉，法拉利 1 1997 基于历史的访问控制和本地策略。 Zbl 1118.68404号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 物联网系统中工作的安全指标。 Zbl 1440.68017号 博迪，恰拉;皮耶保罗·德加诺;吉安·路易吉，法拉利;盖列塔，莱特里奥 1 2020 生物和安全应用程序的编程语言。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。 Zbl 1325.68011号 1 2015 基于事件的服务协调。 Zbl 1143.68375号 吉安·路易吉，法拉利;罗伯特·瓜夏莱;丹妮尔·斯特罗洛;埃米利奥·托斯托 1 2008 检查风险事件对于当地政策来说已经足够了。 Zbl 1171.68406号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 MetaKlaim：一种用于全局计算的类型安全的多阶段语言。 Zbl 1085.68013号 Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 1 2004 Mark是一个机动性推理工具。 Zbl 1034.68600号 Gianluigi法拉利;蒙坦格罗，C。;塞米尼，L。;塞姆普林尼，S。 1 2002 一种基于协调的安全协议验证方法。 Zbl 1272.68048号 贾科莫·巴尔迪;安德烈亚·布拉夏利;Gianluigi法拉利;埃米利奥·托斯托 1 2005 弱粘结剂的艰苦生活。 Zbl 1291.68278号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 1 2009 物联网系统中工作的安全指标。 Zbl 1440.68017号 博迪，恰拉;皮耶保罗·德加诺;吉安·路易吉，法拉利;加莱塔，莱特里奥 1 2020 跟踪收集和汇总物联网数据的位置。 Zbl 1459.68013号 博迪，恰拉;皮耶保罗·德加诺;吉安·路易吉，法拉利;盖列塔，莱特里奥 8 2017 用于指定和编排服务合同的自动化。 Zbl 1398.68296号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利 5 2016 将两个基于自动机的编排和舞蹈模型联系起来。 Zbl 1352.68125号 D.巴兹利。;P.德加诺。;法拉利，G.L。;托斯托，E。 4 2016 模型检查使用策略。 兹比尔1361.68133 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 4 2015 生物和安全应用程序的编程语言。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。 Zbl 1325.68011号 1 2015 自动分析服务合同。 Zbl 1444.68110号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利 6 2014 通过契约自动机从编配到编舞。 Zbl 1433.68236号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利;埃米利奥·托斯托 4 2014 用于资源使用控制的标称自动机。 兹比尔1297.68121 皮耶保罗·德加诺;法拉利，吉安·路易吉;吉安卢卡·梅泽蒂 三 2012 基于事件的编排。 Zbl 1209.68032号 文森佐·西安西亚;Gianluigi法拉利;罗伯特·瓜夏莱;丹尼尔·斯特罗洛 1 2010 \（\nu\）-效果和新鲜度分析的类型。 Zbl 1250.68085号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2009 弱粘结剂的艰苦生活。 兹比尔1291.68278 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 1 2009 基于事件的服务协调。 Zbl 1143.68375号 吉安·路易吉，法拉利;罗伯特·瓜夏莱;丹尼尔·斯特罗洛;埃米利奥·托斯托 1 2008 通过基于事件的框架中的类型进行协调。 Zbl 1215.68148号 Gianluigi法拉利;罗伯特·瓜夏莱;丹尼尔·斯特罗洛;埃米利奥·托斯托 6 2007 资源使用分析的类型和效果。 Zbl 1195.68027号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 6 2007 安全的服务编排。 兹比尔1195.68015 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 2 2007 同步超边缘替换作为面向服务计算的模型。 Zbl 1196.68025号 吉安·路易吉，法拉利;丹·赫施;伊万·拉内斯;乌戈·蒙塔纳里;埃米利奥·托斯托 13 2006 使用多态类型对\（\pi\）-演算的HD-自动机进行协代数最小化。 Zbl 1070.68102号 Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 14 2005 使用HD-自动机建模融合演算。 Zbl 1151.68527号 Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托;比约恩·维克多;基丹·耶马内 5 2005 标称计算的模型检查。 Zbl 1119.68115号 吉安·路易吉，法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 4 2005 使用本地策略进行基于历史的访问控制。 Zbl 1118.68404号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 检查风险事件对于当地政策来说已经足够了。 Zbl 1171.68406号 马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利 1 2005 基于协调的安全协议验证方法。 Zbl 1272.68048号 贾科莫·巴尔迪;安德烈亚·布拉夏利;Gianluigi法拉利;埃米利奥·托斯托 1 2005 MetaKlaim：一种用于全局计算的类型安全的多阶段语言。 Zbl 1085.68013号 Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 1 2004 克莱姆项目：理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 可编程QoS推理的形式化基础。 Zbl 1274.68022号 洛科·德尼古拉;Gianluigi法拉利;乌戈·蒙塔纳里;罗萨里奥·普格利泽;埃米利奥·托斯托 2 2003 基于图形的互联系统模型。 Zbl 1274.68011号 Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 1 2003 最小化传递名字计算的转换系统：一个联合代数公式。 Zbl 1077.68716号 Gianluigi法拉利;乌戈·蒙塔纳里;马可·皮斯托雷 14 2002 Marcum\（Q\）-函数的新边界。 Zbl 1062.94003号 乔瓦尼·科拉扎（Giovanni E.Corazza）。;Gianluigi法拉利 三 2002 Mark是一个机动性推理工具。 兹比尔1034.68600 Gianluigi法拉利;蒙坦格罗，C。;塞米尼，L。;塞姆普林尼，S。 1 2002 通过具有移动性的图形同步实现环境的LTS语义。 Zbl 1042.68615号 吉安·路易吉，法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 8 2001 关于持续动作的语义。 Zbl 0983.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 1 2001 访问控制的类型。 Zbl 0954.68025号 R·尼古拉。;G.-L.法拉利。;普格利泽，R。;B.Venneri。 10 2000 定位和移动系统的平铺格式。 Zbl 1046.68619号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 10 2000 编程访问控制：KLAIM体验。 Zbl 0999.68557号 洛科·德尼古拉;吉安·路易吉，法拉利;罗萨里奥·普格利泽 1 2000 参数化结构化操作语义。 Zbl 0904.68132号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 三 1998 具有参数观测的结构化转换系统：观测同余和最小实现。 Zbl 0878.68084号 Gianluigi法拉利;乌戈·蒙塔纳里;米兰达·莫布雷 6 1997 在时间计算中急切等待的懒惰行为？ Zbl 0911.68116号 弗拉维奥·科拉迪尼;吉安·路易吉，法拉利;马可·皮斯托雷 三 1997 并发和定位计算的平铺？ Zbl 0911.68056号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 2 1997 异步演算的基于til的协调视图。 Zbl 0941.68089号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 2 1997 进程计算中的原子性和并发控制。 Zbl 0870.68067号 吉安·路易吉，法拉利 1 1997 带有显式替换的（pi）-演算。 兹伯利0874.68197 吉安·路易吉，法拉利;乌戈·蒙塔纳里;保拉·夸里亚 9 1996 动态矩阵和并发程序的成本分析。 Zbl 1496.68106号 Gianluigi法拉利;乌戈·蒙塔纳里 7 1995 带有显式替换的（pi）演算：后期语义。 Zbl 1493.68244号 Gianluigi法拉利;乌戈·蒙塔纳里;保拉·夸里亚 4 1994 一个扩展的展开定理。 Zbl 0967.68513号 吉安·路易吉，法拉利;罗伯托·戈里埃里;乌戈·蒙塔纳里 10 1991 最后，逐步观察到因果关系。 兹比尔0967.68519 吉安·路易吉，法拉利;乌戈·蒙塔纳里;米兰达·莫布雷 2 1991 统一并发模型。 Zbl 0758.68027号 吉安·路易吉，法拉利;乌戈·蒙塔纳里 10 1990 观察逻辑和并发模型。 Zbl 0732.03024号 洛科·德尼古拉;吉安·路易吉，法拉利 5 1990 所有引用出版物 前5名被引用出版物 全部的 前5名214位作者引用 28 乌戈·蒙塔纳里。 17 吉安·路易吉，法拉利 14 罗伯托·布鲁尼 12 法比奥·加杜奇 9 洛科·德尼古拉 9 皮耶保罗·德加诺 9 埃米利奥·托斯托 7 安德烈亚·科拉迪尼 7 弗拉维奥·科拉迪尼 6 弗莱明·尼尔森 5 大卫·巴兹勒 5 文森佐·西安西亚 5 盖列塔，莱特里奥 5 丹尼尔·戈拉 5 伊万·拉内斯 5 阿尔贝托·卢什·拉富恩特 5 罗萨里奥·普格利泽 5 汉内·里斯·尼尔森 4 佛朗哥·巴巴内拉 4 博迪，恰拉 4 Dezani Ciancaglini，马里亚焦拉 4 亚历山大·库兹 4 马西莫·梅罗 4 科拉多·普里亚米 4 保拉夸格里亚 4 马蒂奥·桑马蒂诺 三 保罗·巴尔丹 三 阿尔帕德·巴里茨 三 安德烈亚·克拉克·布拉夏利 三 乌戈·德利古罗 三 罗伯托·戈里埃里 三 拉诺特、拉格罗 三 米歇尔·洛雷蒂 三 埃尔南·梅尔格拉蒂 三 吉安卢卡·梅泽蒂 三 马里诺·米库兰 三 蒙雷利，贾科玛·瓦伦蒂娜 三 戴维·桑吉奥吉 三 弗拉迪米罗·萨松 三 莫里斯·比克。 2 马西莫·巴托莱蒂 2 菲利波·邦奇 2 米歇尔·博雷尔 2 米歇尔·布格列西 2 朱塞佩·卡斯塔尼亚 2 肯塔·乔 2 迪可拉、迪诺 2 吉列赞，西尔维娅 2 罗伯特·瓜夏莱 2 米歇尔·古兹曼 2 一郎·哈索 2 瑞科·赫克尔 2 Toshiki Kataoka 2 劳尔·安德烈斯·利尔 2 塞巴斯蒂安·南兹 2 托马索·帕多安 2 约万卡·潘托维奇 2 珀西，萨利姆 2 何塞·普伦萨 2 莱拉·里贝罗 2 卡米洛·鲁埃达 2 弗朗西斯科·桑蒂尼 2 佐里卡萨瓦诺维奇 2 萨姆·斯塔顿 2 丹尼尔·斯特罗洛 2 弗朗西斯科·蒂埃齐 2 弗兰克·巴伦西亚。 2 丹尼尔·瓦拉卡 2 科兹兹托夫·沃伊特基维奇 2 Daniel N.Yanklevich。 2 罗伯托·祖尼诺 1 卢卡·阿贝蒂 1 法哈德·阿尔巴 1 安德烈·阿诺德 1 巴勃罗·阿里吉 1 埃吉迪奥·阿斯泰西亚诺 1 乔治·奥德里托 1 乔治·巴奇 1 塞缪尔·巴尔科 1 弗朗西斯科·巴拉丁 1 爱德华·巴拉诺夫 1 雅各布·比尔 1 瓦利德·贝尔基尔 1 洛伦佐·贝蒂尼 1 吉安卡洛·比吉 1 尼廷·比什特 1 斯蒂法诺·比斯塔雷利 1 西蒙·布利兹 1 波诺，薇薇安娜 1 保罗·波托尼 1 杰拉德·布多尔 1 安东尼奥·布奇亚罗内 1 米克尔·邦加德 1 巴斯米，玛丽亚·格拉齐亚 1 马尔科·卡博尼 1 伊利亚州卡斯特拉尼 1 彼得罗·森恰雷利 1 Chechik，玛莎 1 斯特凡诺·切萨 1 亚尼克·骑士 …还有114位作者 全部的 前5名引用20连载 42 理论计算机科学 12 信息与计算 11 程序设计中的逻辑和代数方法杂志 4 MSCS公司。计算机科学中的数学结构 三 信息学报 三 计算机程序设计科学 三 计算的形式方面 三 逻辑与代数程序设计杂志 2 高阶和符号计算 2 计算机科学中的逻辑方法 1 信息处理信件 1 数学分析与应用杂志 1 应用数学与计算 1 信息科学 1 计算与应用数学杂志 1 符号计算杂志 1 软计算 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 亚欧数学杂志 全部的 前5名16个领域引用 160 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 11 范畴理论；同调代数（18-XX） 5 历史和传记（01-XX） 三 特殊功能（33至XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 实际功能（26年X月X日） 1 动力系统和遍历理论（37-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文