编辑配置文件(在新选项卡中打开) 阿德里亚诺·佩隆 合著者距离 作者ID: 佩龙·阿德里亚诺 发布日期: 阿德里亚诺·佩隆;A.佩隆。 已编制索引的文档: 64出版物自1989年起,包括1个附加arXiv预打印 2作为编辑的贡献 审查活动: 2评论 合著者: 31位合著者具有65联合出版物 680名合作作者 全部的 前5名合著者 1 单作者的 32 安吉洛·蒙塔纳里 31 劳拉·博泽利 17 阿尔贝托·莫利纳里 11 皮埃特罗·萨拉 10 安德烈亚·马吉奥洛·谢蒂尼 8 穆拉诺,阿尼洛 4 马西莫·贝内雷切蒂 4 拉诺特、拉格罗 4 安吉洛·蒙蒂 4 阿尔贝托,Policriti 4 西蒙·蒂尼 2 达里奥·卡洛特努托 2 Franceschet,马西莫 2 萨尔瓦多拉托雷 2 法比奥·莫加维罗 2 卡拉广场 1 皮耶罗·安德里亚·博纳蒂 1 卡洛·库比 1 雷纳托·德古列尔莫 1 福米斯,P.L。 1 乌戈·詹蒂莱 1 斯特凡诺·马龙 1 尼古拉·马佐卡 1 罗伯托·纳尔多 1 朱塞佩·佩雷利 1 加布里埃尔,小狗 1 维托·罗伯托 1 圭多·西亚维科 1 路易吉·维拉迪 1 瓦莱里亚·维托里尼 1 格哈德·沃金格 全部的 前5名系列 8 理论计算机科学 8 信息与计算 3 计算机基础理论 2 逻辑与计算杂志 2 IGPL逻辑杂志 2 ACM计算逻辑事务 1 信息学报 1 人工智能 1 控制论学报 1 模式识别字母 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 理论计算机科学电子论文集(EPTCS) 领域 60 计算机科学(68至XX) 33 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用214中的次99文件 引用人▼ 年份▼ 检查计算的间隔属性。 Zbl 1350.68184号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;穆拉诺,阿尼洛;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 下压模块检查。 Zbl 1209.68312号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 11 2010 时间间隔与时间点逻辑模型检查:表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 11 2016 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 兹比尔1483.68186 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 10 2017 2-明显的下推自动机。 Zbl 1202.68222号 达里奥·卡洛特努托;穆拉诺,阿尼洛;阿德里亚诺·佩隆 9 2007 基于航迹表示的区间时序逻辑模型检验过程。 Zbl 1373.68289号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 9 2015 间隔时间逻辑模型检查:好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 Statecharts步骤语义的比较。 Zbl 1018.68045号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 7 2003 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 表示和推理时间粒度。 Zbl 1085.68087号 卡洛·库比;Franceschet,马西莫;阿德里亚诺·佩隆 6 2004 关于逆逻辑、名词逻辑、递归逻辑和计数逻辑的不可判定性。 Zbl 1085.68158号 皮耶罗·A·博纳蒂。;A.佩隆。 6 2004 有序多层可视下推自动机。 Zbl 1353.68161号 达里奥·卡洛特努托;穆拉诺,阿尼洛;阿德里亚诺·佩隆 6 2016 下压模块检查。 Zbl 1143.68446号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 6 2005 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;Angelo蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 Zbl 1390.68436号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 5 2018 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? 兹比尔1429.68139 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 时间上下文无关时序逻辑。 Zbl 1528.68212号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 5 2018 将Kamp定理扩展到时间粒度模型。 Zbl 1006.03015号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 4 2002 定时协作自动机。 Zbl 0965.68046号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 使用正则表达式对区间时态逻辑进行模型检查。 Zbl 1443.68102号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2020 模型检查艾伦关系的逻辑遇见和由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 对使用正则表达式检查区间时态逻辑模型的深入研究。 Zbl 1420.68120号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2017 密集时间域上基于时间线的规划的复杂性:探索中间地带。 Zbl 1528.68358号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2018 状态图的等效性。 Zbl 1514.68173号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 4 1996 基于图重写的状态图语义。 Zbl 0768.68087号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 3 1992 收缩树\(\omega \)-语言:操作视图和逻辑视图。 Zbl 0952.68081号 安吉洛·蒙蒂;阿德里亚诺·佩隆 3 2000 分层度量时间结构理论:表达性和可判定性。 Zbl 0920.03033号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 3 1999 密集时间域上基于时间的规划。 Zbl 1433.68406号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 3 2020 事件块嵌套自动机。 Zbl 1504.68096号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 3 2018 时间递归状态机:表达性和复杂性。 Zbl 1338.68070号 马西莫·贝内雷切蒂;阿德里亚诺·佩隆 3 2016 各州的驯服(时机)。 Zbl 0964.03017号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 2 2000 作为中断的转换:一种新的定时状态图语义。 Zbl 0942.68634号 阿德里亚诺·佩隆;安德烈亚·马吉奥洛·谢蒂尼 2 1994 形式良好的通信递归状态机的验证。 Zbl 1176.68115号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 2 2006 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 2 2001 模型检查区间时序逻辑统一算法的复杂性分析。 兹比尔1518.68204 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2021 控制密集时间域上基于时间线的规划的复杂性。 Zbl 1528.68359号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2019 分层度量时间结构的可判定理论。 Zbl 0945.03022号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 1 2000 动态分层机器。 Zbl 1111.68061号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 1 2003 树和格状脉动语言的逻辑可定义性。 Zbl 1012.03051号 安吉洛·蒙蒂;阿德里亚诺·佩隆 1 2001 时间粒度的二进制谓词的可定义性和可判定性。 Zbl 1101.03016号 Franceschet,马西莫;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 1 2006 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 验证格式良好的通信递归状态机。 Zbl 1154.68078号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 1 2008 收缩树\(\omega \)-语言。 Zbl 1379.68228号 安吉洛·蒙蒂;阿德里亚诺·佩隆 1 1995 无上下文时间形式:鲁棒自动机和线性时序逻辑。 Zbl 1528.68213号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 关于前缀和中缀的时间逻辑。 Zbl 07559392号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2020 状态图、过渡结构和转换。 Zbl 1496.68242号 阿德里亚诺·佩隆 1 1995 Pspace-子区间和后缀的时间逻辑的完整性。 Zbl 07744952号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2021 模型检查区间时序逻辑统一算法的复杂性分析。 兹比尔1515.68172 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 1 2019 无上下文时间形式:鲁棒自动机和线性时序逻辑。 Zbl 1528.68213号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 兹伯利07417113 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 模型检查区间时序逻辑统一算法的复杂性分析。 Zbl 1518.68204号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2021 Pspace-子区间和后缀的时间逻辑的完整性。 Zbl 07744952号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2021 使用正则表达式对区间时态逻辑进行模型检查。 Zbl 1443.68102号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2020 密集时间域上基于时间的规划。 Zbl 1433.68406号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 3 2020 关于前缀和中缀的时间逻辑。 Zbl 07559392号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2020 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 控制密集时间域上基于时间线的规划的复杂性。 Zbl 1528.68359号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2019 模型检查区间时序逻辑统一算法的复杂性分析。 Zbl 1515.68172号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 1 2019 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 Zbl 1390.68436号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 5 2018 时间上下文无关时序逻辑。 Zbl 1528.68212号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 5 2018 密集时域上基于时间线的规划的复杂性:探索中间地带。 Zbl 1528.68358号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2018 事件块嵌套自动机。 Zbl 1504.68096号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 3 2018 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 兹比尔1483.68186 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 10 2017 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 对使用正则表达式检查区间时态逻辑模型的深入研究。 Zbl 1420.68120号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2017 检查计算的间隔属性。 Zbl 1350.68184号 阿尔贝托·莫利纳里;Angelo蒙塔纳里;穆拉诺,阿尼洛;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 时间间隔与时间点逻辑模型检查:表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 11 2016 间隔时间逻辑模型检查:好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 有序多层可视下推自动机。 Zbl 1353.68161号 达里奥·卡洛特努托;穆拉诺,阿尼洛;阿德里亚诺·佩隆 6 2016 模型检查艾伦关系的逻辑遇见和由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 时间递归状态机:表达性和复杂性。 Zbl 1338.68070号 马西莫·贝内雷切蒂;阿德里亚诺·佩隆 3 2016 基于航迹表示的区间时序逻辑模型检验过程。 Zbl 1373.68289号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 9 2015 下压模块检查。 Zbl 1209.68312号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 11 2010 验证格式良好的通信递归状态机。 Zbl 1154.68078号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 1 2008 2-明显的下推自动机。 Zbl 1202.68222号 达里奥·卡洛特努托;穆拉诺,阿尼洛;阿德里亚诺·佩隆 9 2007 验证格式良好的通信递归状态机。 Zbl 1176.68115号 劳拉·博泽利;萨尔瓦多拉托雷;阿德里亚诺·佩隆 2 2006 时间粒度的二进制谓词的可定义性和可判定性。 Zbl 1101.03016号 Franceschet,马西莫;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 1 2006 下压模块检查。 Zbl 1143.68446号 劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 6 2005 时间粒度的表示和推理。 Zbl 1085.68087号 卡洛·库比;Franceschet,马西莫;阿德里亚诺·佩隆 6 2004 关于逆逻辑、名词逻辑、递归逻辑和计数逻辑的不可判定性。 Zbl 1085.68158号 皮耶罗·A·博纳蒂。;佩隆,A。 6 2004 通信分层机器的结构模型检查。 Zbl 1096.68092号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 1 2004 Statecharts步骤语义的比较。 Zbl 1018.68045号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 7 2003 动态分层机器。 Zbl 1111.68061号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 1 2003 将Kamp定理扩展到时间粒度模型。 Zbl 1006.03015号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 4 2002 时间合作自动机的转换。 Zbl 1004.68088号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼;阿德里亚诺·佩隆 2 2001 \(Y\)-树和格状收缩\(\omega\)-语言的逻辑可定义性。 Zbl 1012.03051号 安吉洛·蒙蒂;阿德里亚诺·佩隆 1 2001 定时协作自动机。 Zbl 0965.68046号 拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 4 2000 收缩树\(\omega \)-语言:操作视图和逻辑视图。 Zbl 0952.68081号 安吉洛·蒙蒂;阿德里亚诺·佩隆 3 2000 各州的驯服(时机)。 Zbl 0964.03017号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 2 2000 分层度量时间结构的可判定理论。 Zbl 0945.03022号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 1 2000 分层度量时间结构理论:表达性和可判定性。 Zbl 0920.03033号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 3 1999 状态图的等效性。 Zbl 1514.68173号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆;西蒙·蒂尼 4 1996 收缩树\(\omega \)-语言。 Zbl 1379.68228号 安吉洛·蒙蒂;阿德里亚诺·佩隆 1 1995 状态图、过渡结构和转换。 Zbl 1496.68242号 阿德里亚诺·佩隆 1 1995 作为中断的转换:一种新的定时状态图语义。 Zbl 0942.68634号 阿德里亚诺·佩隆;安德烈亚·马吉奥洛·谢蒂尼 2 1994 基于图重写的状态图语义。 Zbl 0768.68087号 安德烈亚·马吉奥洛·谢蒂尼;阿德里亚诺·佩隆 3 1992 所有引用出版物 前5名被引用出版物 全部的 前5名141位作者引用 31 阿德里亚诺·佩隆 27 安吉洛·蒙塔纳里 20 劳拉·博泽利 13 阿尔贝托·莫利纳里 10 穆拉诺,阿尼洛 10 皮埃特罗·萨拉 7 安德烈亚·马吉奥洛·谢蒂尼 6 圭多·西亚维科 5 西蒙·蒂尼 4 大卫·布雷索林 4 Stéphane P.德姆里。 4 马丁·库特里布 4 阿莱西奥·曼苏蒂 4 泰瑟·图利 3 萨尔瓦多拉托雷 3 安德烈亚斯·马尔彻 3 朱塞佩·佩雷利 3 加布里埃尔,小狗 2 巴托什·贝德纳尔奇克 2 艾伦·D·伯恩斯。 2 米歇尔·齐亚里 2 黛拉·莫妮卡,达里奥 2 劳尔·费尔瓦里 2 盖尔·方丹 2 尼古拉·吉甘特 2 马库斯·霍尔泽 2 姜云成 2 拉诺特、拉格罗 2 恐龙Mandrioli 2 迈克尔·门德勒 2 法比奥·莫加维罗 2 埃米利奥·穆尼奥斯·韦拉斯科 2 那不勒斯,玛格丽塔 2 亚历山大·奥霍金 2 帕伦特,米莫 2 Gennaro帕拉托 2 阿德里安·蓬梅莱 2 马蒂奥·普拉德拉 2 Kai T.Salomaa。 2 宋,傅 2 洛雷达纳·索伦蒂诺 2 唐素琴 2 王菊 2 马蒂亚斯·温德兰特 1 雷纳托阿坎波拉 1 华金·阿瓜多 1 埃蒂安·安德烈 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 桑迪·巴拉格 1 罗伯托·巴布蒂 1 马西莫·贝内雷切蒂 1 穆罕默德·马赫迪·本穆萨 1 西蒙·布利兹 1 贝内迪克特·博利格 1 艾哈迈德·博阿贾尼 1 坎通纳,多梅尼科 1 Carayol,阿诺 1 达里奥·卡洛特努托 1 托马斯·查泰恩 1 克莉丝汀,杂乱无章 1 洛伦佐·克莱门特 1 恩里科·科米纳托 1 马克西米利亚诺·克里斯蒂亚 1 达尔拉戈,乌戈 1 安德烈亚·德·多梅尼科 1 雷纳托·德古列尔莫 1 曼纽尔·德拉森 1 威廉·鲍尔·德·罗弗 1 邓佩敏 1 马西奥·迪亚兹 1 朱尔根·丁格尔 1 萨利赫·杜尔汗 1 拉维尼亚·埃吉迪 1 里克·埃舒伊斯 1 马可·费拉 1 亚历山德罗·费兰特 1 Franceschet,马西莫 1 卢卡·盖蒂 1 乌戈真蒂莱 1 霍尔格·吉斯 1 西蒙·格纳尼 1 Dimitar P.Guelev。 1 斯特凡·哈尔 1 彼得·哈贝梅尔 1 Han、Yo-Sub 1 伊恩·海耶斯。 1 彼得·霍夫曼 1 Ko、Sang-Ki 1 奥尔纳·库普弗曼 1 弗朗西丝卡·列维 1 利马耶·努坦 1 克里斯托夫·Löding 1 丹尼斯·卢吉兹 1 杰拉尔德·吕特根 1 米纳·马哈扬 1 斯特凡诺·马龙 1 马丁·维德,卡洛斯 1 皮埃特罗·毛吉里 1 玛丽亚,马克西莫娃 1 尼古拉·马佐卡 …以及另外41位作者 全部的 前5名26篇连载文章中引用 15 理论计算机科学 13 信息与计算 4 系统设计中的形式化方法 4 ACM计算逻辑事务 3 信息处理信件 3 计算机科学中的逻辑方法 2 信息学报 2 人工智能 2 国际计算机科学基础杂志 2 应用非经典逻辑杂志 2 数学与人工智能年鉴 2 应用逻辑杂志 1 模糊集与系统 1 信息科学 1 圣母院形式逻辑杂志 1 计算机程序设计科学 1 应用数值数学 1 计算的形式方面 1 实时系统 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 中欧数学杂志 1 算法 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 93 计算机科学(68至XX) 49 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文