编辑配置文件(在新选项卡中打开) 安吉洛·蒙塔纳里 合著者距离 作者ID: 蒙大拿安吉洛 发布日期: 安吉洛·蒙塔纳里;蒙塔纳里,A。 主页: https://users.dimi.uniud.it/~angelo.montanari/index.php 外部链接: MGP公司 编入索引的文档: 128份出版物自1992年起 4作为编辑的贡献 合著者: 57位合著者具有132联合出版物 1107合作作者 全部的 前5名合著者 0 单作者的 41 皮埃特罗·萨拉 32 阿德里亚诺·佩隆 32 圭多·西亚维科 25 大卫·布雷索林 23 黛拉·莫妮卡,达里奥 22 劳拉·博泽利 17 阿尔贝托·莫利纳里 15 瓦伦丁·F·戈兰科。 14 尼古拉·吉甘特 13 阿尔贝托,Policriti 12 加布里埃尔,小狗 9 卢卡·盖蒂 7 马西莫·弗朗西切特 5 马克·亚历山大·雷诺兹 4 亚历山德罗·西马蒂 4 乔瓦娜·达戈斯蒂诺 4 斯特凡诺·托内塔 三 Aceto,卢卡 三 伊利亚诺·塞维萨托 三 乌戈·达尔拉戈 三 Ingólfsdóttir,安娜 三 阿尼埃洛·穆拉诺 三 尼古拉·维塔科隆纳 2 伊曼纽尔·齐亚佩索尼 2 卡洛·库比 2 戴维·德·弗鲁托斯·埃斯克里格 2 马尔滕,德里伊克 2 那不勒斯,玛格丽塔 2 安德烈亚·奥兰迪尼 2 帕伦特,米姆 2 马尔科·帕扎格里亚 2 马特奥·斯拉尼娜 2 约翰·范·本特姆。 1 雷纳托·阿坎波拉 1 大卫·巴罗齐尼 1 克劳迪奥·贝蒂尼 1 卢卡·奇塔罗 1 玛尔塔·恰尔迪亚·梅耶 1 梅耶·玛尔塔·恰尔迪亚 1 科尔塞蒂,E。 1 伊丽莎白·德·玛丽亚 1 多纳泰拉·古比亚尼 1 伊恩·马丁·霍德金森 1 萨尔瓦多拉托雷 1 恩里科,迈姆 1 恩里科·马扎诺 1 安德烈亚·米凯利 1 朱塞佩·佩雷利 1 卡拉广场 1 瓦伦蒂诺·皮科蒂 1 亚历山德罗·普罗维蒂 1 埃琳娜·拉特 1 圣皮埃特罗(San Pietro)、皮耶路易吉(Pierluigi L.)。 1 恩里科·斯卡拉 1 加布里埃尔·文图拉托 1 蒂齐亚诺别墅 1 格哈德·沃金格 全部的 前5名系列 12 理论计算机科学 8 信息与计算 5 数学与人工智能年鉴 4 信息学报 三 自动推理杂志 三 逻辑与计算杂志 三 应用非经典逻辑杂志 三 计算机科学中的逻辑方法 2 IGPL逻辑杂志 2 ACM计算逻辑事务 2 应用逻辑杂志 1 人工智能 1 信息处理信件 1 ACM数据库系统事务 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 逻辑程序设计杂志 1 国际计算机科学基础杂志 1 间隔计算 1 欧洲理论计算机科学协会公报 1 通用计算机科学杂志 1 逻辑程序设计理论与实践 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 101 数学逻辑和基础(03-XX) 87 计算机科学(68至XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 总体主题;集合(00-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 102出版物有被引用583中的次150文件 引用人▼ 年份▼ 时间间隔逻辑和持续时间计算的路线图。 Zbl 1181.03012号 V.戈兰科。;蒙塔纳里,A。;Sciavicco,G。 31 2004 命题区间邻域逻辑:表达性、可判定性和不可判定扩展。 Zbl 1221.03022号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 30 2009 稠密序上子区间结构的逻辑表。 Zbl 1188.03009号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 24 2010 Halpern和Shoham的区间模态逻辑的最大可判定片段。 Zbl 1288.03017号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 22 2010 检查计算的间隔属性。 Zbl 1350.68184号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 区间时序逻辑的黑暗面:标记不可判定边界。 Zbl 1325.03014号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 21 2014 时间间隔逻辑:一段旅程。 Zbl 1275.03087号 黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 17 2011 强离散线性序上的区间时序逻辑:表达性和复杂性。 Zbl 1335.03017号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 14 2014 右命题邻域逻辑的最优决策过程。 Zbl 1121.03027号 大卫·布雷索林;安吉洛·蒙塔纳里;圭多·西亚维科 13 2007 一种基于表的命题邻域逻辑最优决策算法。 Zbl 1141.03308号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉 11 2007 Halpern和Shoham的区间时间逻辑的可判定和不可判定片段:走向一个完整的分类。 Zbl 1182.03037号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 11 2008 人工智能中的时间表示和推理:问题和方法。 兹比尔1001.68096 卢卡·奇塔罗;安吉洛·蒙塔纳里 11 2000 度量命题邻域逻辑:表达性、可判定性和不可判定性。 Zbl 1211.68397号 D.布雷索林。;黛拉·莫妮卡,D。;V.戈兰科。;蒙塔纳里,A。;Sciavicco,G。 11 2010 区间时态逻辑(运算符名{AB上的{B}})对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉;圭多·西亚维科 11 2010 时间间隔与时间点逻辑模型检查:表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 11 2016 命题区间时序逻辑的一般表方法:理论与实现。 Zbl 1104.03010号 V.戈兰科。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 10 2006 命题区间时间逻辑的一种通用表绘制方法。 Zbl 1274.03033号 瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 10 2003 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 Zbl 1483.68186号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 10 2017 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 Zbl 1339.03018号 Aceto,卢卡;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Ingólfsdóttir,安娜;安吉洛·蒙塔纳里;圭多·西亚维科 9 2016 间隔时间逻辑模型检查:好的和坏的HS片段之间的边界。 Zbl 1475.68177号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 基于航迹表示的区间时序逻辑模型检验过程。 Zbl 1373.68289号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 9 2015 基于表的右命题邻域逻辑决策过程。 兹比尔1141.03307 大卫·布雷索林;安吉洛·蒙塔纳里 8 2005 区间时序逻辑在分裂帧上通过粒度的决定性。 Zbl 1013.03013号 安吉洛·蒙塔纳里;圭多·西亚维科;尼古拉·维塔科隆纳 8 2002 具有锥形基本方向的可判定空间逻辑。 Zbl 1257.03054号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 7 2009 线性序上右命题邻域逻辑的最优表。 Zbl 1178.03030号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 7 2008 基于锥形基本方向的指南针逻辑的可判定弱化。 Zbl 1351.03014号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 7 2015 区间时序逻辑的光明面:CDT的Bernays-Schönfinkel片段。 Zbl 1325.03015号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 7 2014 向区间逻辑\(AB\bar{B}\)添加等价关系:复杂性和表达性。 Zbl 1366.03185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 多模态逻辑的集合理论翻译方法。 Zbl 0840.03015号 乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 7 1995 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 区间逻辑和\(\omega B\)-正则语言。 Zbl 1377.03026号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 在同步实时系统的逻辑规范语言中嵌入时间粒度。 Zbl 0781.68083号 西亚佩索尼,E。;科尔塞蒂,E。;蒙塔纳里,A。;圣彼得罗,P。 6 1993 命题区间邻域逻辑的可判定性和表示性。 Zbl 1132.03335号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 6 2007 具有C、D和T的区间时序逻辑的非有限公理化性和不可判定性。 Zbl 1156.03321号 伊恩·霍金森;安吉洛·蒙塔纳里;圭多·西亚维科 6 2008 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 Zbl 1333.03006号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 6 2011 时间粒度的时序逻辑和自动机。 Zbl 1088.68105号 马西莫·弗朗西切特;安吉洛·蒙塔纳里 5 2004 Ehrenfeucht游戏在标记后继结构上的算法说明。 兹比尔1143.03353 安吉洛·蒙塔纳里;阿尔贝托,Policriti;尼古拉·维塔科洛娜 5 2005 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 Zbl 1451.03020号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 5 2015 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 Zbl 1436.03120号 D.布雷索林。;黛拉·莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 5 2019 在多项式时间层次的低层次上对区间时序逻辑HS片段进行模型检查。 Zbl 1400.68121号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2018 基于轨迹表示的Halpern和Shoham区间时序逻辑片段的模型检查。 Zbl 1390.68436号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 5 2018 稠密序上子区间结构逻辑的表au系统。 兹比尔1133.03007 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2007 过去在区间时间逻辑中的重要性:命题邻域逻辑的例子。 Zbl 1356.03061号 黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2012 日历、时间粒度和自动机。 Zbl 0997.68567号 乌戈·达尔拉戈;安吉洛·蒙塔纳里 4 2001 朝着紧凑且易于处理的基于自动机的时间粒度表示发展。 Zbl 1257.68063号 乌戈·达尔拉戈;安吉洛·蒙塔纳里;加布里埃尔,小狗 4 2003 将Kamp定理扩展到时间粒度模型。 Zbl 1006.03015号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 4 2002 有限线性阶上的区间时间逻辑:完整的画面。 Zbl 1327.03012号 D.布雷索林。;黛拉·莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 4 2012 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 Zbl 1432.03027号 Aceto,卢卡;黛拉·莫妮卡,达里奥;Ingólfsdóttir,安娜;安吉洛·蒙塔纳里;圭多·西亚维科 4 2014 有限结构、自然数和整数上MPNL的最优决策过程。 Zbl 1296.03013号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 4 2013 区间时间逻辑对有理数的判定性。 Zbl 1426.03018号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 4 2014 使用正则表达式对区间时序逻辑进行模型检查。 Zbl 1443.68102号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2020 模型检查艾伦关系的逻辑遇见和由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 密集时间域上基于时间线的规划的复杂性:探索中间地带。 Zbl 1528.68358号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2018 对使用正则表达式检查区间时态逻辑模型的深入研究。 Zbl 1420.68120号 劳拉,博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2017 二阶逻辑和集合论中的模态演绎。一、。 Zbl 0873.03021号 约翰·范·本特姆;乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 三 1997 分层度量时间结构理论:表达性和可判定性。 Zbl 0920.03033号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 三 1999 度量和分层时序逻辑的可判定性结果。 Zbl 0858.03018号 安吉洛·蒙塔纳里;阿尔贝托,Policriti 三 1996 模态事件计算的层次结构:表达性和复杂性。 兹比尔0945.03017 伊利亚诺·塞维萨托;马西莫·弗朗西切特;安吉洛·蒙塔纳里 三 2000 时间间隔逻辑和持续时间计算专题前言。 Zbl 1180.03019号 瓦伦丁·戈兰科;安吉洛·蒙塔纳里 三 2004 提示间隔时间逻辑。 Zbl 1483.03015号 黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;皮埃特罗·萨拉 三 2016 最终周期语言和自动机的理论,应用于时间粒度。 Zbl 1186.68246号 大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔,小狗 三 2009 LTL+过去的单程树形画面。 Zbl 1402.03026号 尼古拉·吉甘特;安吉洛·蒙塔纳里;雷诺兹,马克 三 2017 密集时间域上基于时间的规划。 兹比尔1433.68406 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 三 2020 时间粒度和最终的周期自动机。 Zbl 1111.68697号 大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔,小狗 2 2004 具有有限顺序关系的字符串上的游戏。 Zbl 1211.03050号 伊丽莎白·德·玛丽亚;安吉洛·蒙塔纳里;尼古拉·维塔科隆纳 2 2009 二阶逻辑和集合论中的模态演绎。二、。 Zbl 0953.03022号 约翰·范·本特姆;乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 2 1998 各州的驯服(时机)。 Zbl 0964.03017号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 2 2000 具有等价关系的度量命题邻域逻辑。 Zbl 1350.68185号 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 2 2016 通过区间时序逻辑模型检查评估时序数据集。 Zbl 1515.68109号 黛拉·莫妮卡,达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 2 2017 控制密集时间域上基于时间线的规划的复杂性。 Zbl 1528.68359号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2019 时间粒度的紧凑且易于处理的基于自动机的表示。 Zbl 1111.68053号 乌戈·达尔拉戈;安吉洛·蒙塔纳里;加布里埃尔,小狗 2 2007 强离散线性阶上的区间时间逻辑:完整的画面。 Zbl 1469.03045号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 2 2012 枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 Zbl 1433.03019号 Aceto,卢卡;黛拉·莫妮卡,达里奥;Ingólfsdóttir,安娜;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 Beyond\(\omega BS\)-正则语言:\(\omega T\)-规则表达式和反勾自动机。 Zbl 1483.68160号 黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2017 关于基于时间的游戏及其复杂性。 Zbl 1433.68409号 尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·西亚尔达·梅耶尔;雷诺兹,马克 2 2020 模型检查区间时序逻辑统一算法的复杂性分析。 Zbl 1518.68204号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2021 基于区间的合成。 Zbl 1467.68080号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2014 有限线性序上右命题邻域逻辑的表系统:一个实现。 Zbl 1401.68275号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 处理事件演算中的时间粒度。 Zbl 0864.68101号 安吉洛·蒙塔纳里;恩里科,迈姆;伊曼纽尔·齐亚佩索尼;埃琳娜·拉特 1 1992 时间粒度的二进制谓词的可定义性和可判定性。 Zbl 1101.03016号 马西莫·弗朗西切特;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 1 2006 时间内分支:用于时间粒度的表达完整且基本可判定的时间逻辑。 Zbl 1082.68066号 马西莫·弗朗西切特;安吉洛·蒙塔纳里 1 2003 分层度量时间结构的可判定理论。 兹比尔0945.03022 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 1 2000 两种排序的度量时态逻辑。 Zbl 0901.03019号 安吉洛·蒙塔纳里;马尔滕,德里伊克 1 1997 命题逻辑和一阶模态逻辑的替代翻译技术。 Zbl 1003.03018号 安吉洛·蒙塔纳里;阿尔贝托,Policriti;马特奥·斯拉尼娜 1 2002 Pspace-子区间和后缀的时间逻辑的完整性。 Zbl 07744952号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2021 安全语言和共安全语言的一阶逻辑特征。 Zbl 07731941号 亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 1 2023 一种游戏理论方法,用于基于时间的不确定性规划。 Zbl 1487.68213号 尼古拉·吉甘特;安吉洛·蒙塔纳里;梅耶·玛尔塔·恰尔迪亚;安德烈亚·奥兰迪尼;雷诺兹,马克 1 2018 (多)模态逻辑的集合理论翻译方法。 Zbl 1379.03004号 乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 1 1995 将概念设计映射到XML模式的图形理论方法。 Zbl 1321.68245号 马西莫·弗朗西切特;多纳泰拉·古比亚尼;安吉洛·蒙塔纳里;卡拉广场 1 2013 离散线性序上重叠关系逻辑的不确定性。 Zbl 1345.03019号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 1 2010 向区间时序逻辑添加一个或多个等价关系。 兹比尔1408.03011 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 1 2016 关于导出最大时间间隔的事件演算的非单调行为。 Zbl 0836.90116号 伊利亚诺·塞维萨托;安吉洛·蒙塔纳里;亚历山德罗·普罗维蒂 1 1993 模型检查区间时序逻辑统一算法的复杂性分析。 Zbl 1515.68172号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 1 2019 密集时间内基于行动的时间规划的可决定性和复杂性。 Zbl 07505989号 尼古拉·吉甘特;安德烈亚·米凯利;安吉洛·蒙塔纳里;恩里科·斯卡拉 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉,博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 关于前缀和中缀的时间逻辑。 Zbl 07559392号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2020 Beyond(ω)-正则语言:(ωT)-正则表达式及其自动机和逻辑对应项。 Zbl 1433.68192号 大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2020 基于区间时序逻辑规范的反应合成。 Zbl 1515.68185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2022 安全语言和共安全语言的一阶逻辑特征。 Zbl 07731941号 亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 1 2023 密集时间内基于行动的时间规划的可决定性和复杂性。 Zbl 07505989号 尼古拉·吉甘特;安德烈亚·米凯利;安吉洛·蒙塔纳里;恩里科·斯卡拉 1 2022 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 07471713号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2022 基于区间时序逻辑规范的反应合成。 Zbl 1515.68185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2022 模型检查区间时序逻辑统一算法的复杂性分析。 Zbl 1518.68204号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 2 2021 Pspace-子区间和后缀的时间逻辑的完整性。 Zbl 07744952号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2021 使用正则表达式对区间时序逻辑进行模型检查。 Zbl 1443.68102号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2020 密集时间域上基于时间的规划。 Zbl 1433.68406号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;格哈德·沃金格 三 2020 关于基于时间的游戏及其复杂性。 Zbl 1433.68409号 尼古拉·吉甘特;安吉洛·蒙塔纳里;安德烈亚·奥兰迪尼;玛尔塔·西亚尔达·梅耶尔;雷诺兹,马克 2 2020 关于前缀和中缀的时间逻辑。 Zbl 07559392号 劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 1 2020 Beyond(ω)-正则语言:(ωT)-正则表达式及其自动机和逻辑对应项。 Zbl 1433.68192号 大卫·巴罗齐尼;戴维·德·弗鲁托斯·埃斯克里格;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 1 2020 基于时间线的定性规划的复杂性。 Zbl 07760486号 黛拉·莫妮卡,达里奥;吉甘特,尼古拉;萨尔瓦多拉托雷;安吉洛·蒙塔纳里 1 2020 时间间隔与时间点逻辑模型检查。表现力比较。 Zbl 1407.68283号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 在模型检查中,区间时序逻辑HS的哪些片段是可处理的? Zbl 1429.68139号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 5 2019 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 Zbl 1436.03120号 D.布雷索林。;黛拉·莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 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.68358号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2018 一种游戏理论方法,用于基于时间的不确定性规划。 Zbl 1487.68213号 尼古拉·吉甘特;安吉洛·蒙塔纳里;梅耶·玛尔塔·恰尔迪亚;安德烈亚·奥兰迪尼;雷诺兹,马克 1 2018 带正则表达式的区间时序逻辑HS的语法最大片段的模型检查的复杂性。 Zbl 1483.68186号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 10 2017 同质性假设下子区间逻辑的可满足性和模型检验。 Zbl 1442.68103号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 7 2017 对使用正则表达式检查区间时态逻辑模型的深入研究。 Zbl 1420.68120号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 4 2017 LTL+过去的一次性树形画面。 Zbl 1402.03026号 尼古拉·吉甘特;安吉洛·蒙塔纳里;雷诺兹,马克 三 2017 通过区间时序逻辑模型检查评估时序数据集。 Zbl 1515.68109号 黛拉·莫妮卡,达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 2 2017 Beyond\(\omega BS\)-正则语言:\(\omega T\)-规则表达式和反勾自动机。 Zbl 1483.68160号 黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2017 检查计算的间隔属性。 Zbl 1350.68184号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;阿德里亚诺·佩隆 21 2016 时间间隔与时间点逻辑模型检查:表达性比较。 Zbl 1391.68075号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 11 2016 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 Zbl 1339.03018号 Aceto,卢卡;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Ingólfsdóttir,安娜;安吉洛·蒙塔纳里;圭多·西亚维科 9 2016 间隔时间逻辑模型检查:好的和坏的HS片段之间的边界。 兹比尔1475.68177 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 9 2016 模型检查艾伦关系的逻辑遇见和由启动是\(\mathbf{P}^{\mathbf{NP}}\)-完成的。 Zbl 1478.68148号 劳拉·博泽利;阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 4 2016 提示间隔时间逻辑。 Zbl 1483.03015号 黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;皮埃特罗·萨拉 三 2016 具有等价关系的度量命题邻域逻辑。 兹比尔1350.68185 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 2 2016 向区间时序逻辑添加一个或多个等价关系。 Zbl 1408.03011号 安吉洛·蒙塔纳里;马可·巴扎利亚;皮埃特罗·萨拉 1 2016 基于航迹表示的区间时序逻辑模型检验过程。 Zbl 1373.68289号 阿尔贝托·莫利纳里;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 9 2015 基于锥形基本方向的指南针逻辑的可判定弱化。 Zbl 1351.03014号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 7 2015 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 Zbl 1451.03020号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 5 2015 区间时序逻辑的黑暗面:标记不可判定边界。 Zbl 1325.03014号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 21 2014 强离散线性序上的区间时序逻辑:表达性和复杂性。 Zbl 1335.03017号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 14 2014 区间时序逻辑的光明面:CDT的Bernays-Schönfinkel片段。 Zbl 1325.03015号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 7 2014 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 Zbl 1432.03027号 Aceto,卢卡;黛拉·莫妮卡,达里奥;Ingólfsdóttir,安娜;安吉洛·蒙塔纳里;圭多·西亚维科 4 2014 区间时间逻辑对有理数的判定性。 Zbl 1426.03018号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 4 2014 基于区间的合成。 Zbl 1467.68080号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 2 2014 向区间逻辑(AB\bar{B})添加等价关系:复杂性和表达性。 Zbl 1366.03185号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 区间逻辑和\(\omega B\)-正则语言。 Zbl 1377.03026号 安吉洛·蒙塔纳里;皮埃特罗·萨拉 7 2013 有限结构、自然数和整数上MPNL的最优决策过程。 Zbl 1296.03013号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 4 2013 一种枚举Horn理论的最大模型的算法及其在模态逻辑中的应用。 Zbl 1433.03019号 Aceto,卢卡;黛拉·莫妮卡,达里奥;Ingólfsdóttir,安娜;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 有限线性序上右命题邻域逻辑的表系统:一个实现。 Zbl 1401.68275号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 将概念设计映射到XML模式的图形理论方法。 Zbl 1321.68245号 马西莫·弗朗西切特;多纳泰拉·古比亚尼;安吉洛·蒙塔纳里;卡拉广场 1 2013 过去在区间时间逻辑中的重要性:命题邻域逻辑的例子。 Zbl 1356.03061号 黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2012 有限线性序上的区间时序逻辑:全貌。 Zbl 1327.03012号 D.布雷索林。;黛拉·莫妮卡,D。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 4 2012 强离散线性序上的区间时序逻辑:全貌。 Zbl 1469.03045号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 2 2012 时间间隔逻辑:一段旅程。 Zbl 1275.03087号 黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 17 2011 用于所有、稠密和离散线性阶上的命题邻域逻辑的最优表系统。 Zbl 1333.03006号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 6 2011 稠密序上子区间结构的逻辑表。 Zbl 1188.03009号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 24 2010 Halpern和Shoham的区间模态逻辑的最大可判定片段。 Zbl 1288.03017号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 22 2010 度量命题邻域逻辑:表达性、可判定性和不可判定性。 Zbl 1211.68397号 D.布雷索林。;黛拉·莫妮卡,D。;V.戈兰科。;蒙塔纳里,A。;Sciavicco,G。 11 2010 区间时态逻辑(运算符名{AB上的{B}})对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉;圭多·西亚维科 11 2010 离散线性序上重叠关系逻辑的不确定性。 Zbl 1345.03019号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 1 2010 命题区间邻域逻辑:表达性、可判定性和不可判定扩展。 Zbl 1221.03022号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 30 2009 具有锥形基本方向的可判定空间逻辑。 Zbl 1257.03054号 安吉洛·蒙塔纳里;加布里埃尔,小狗;皮埃特罗·萨拉 7 2009 最终周期语言和自动机的理论,应用于时间粒度。 Zbl 1186.68246号 大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔,小狗 三 2009 具有有限顺序关系的字符串上的游戏。 Zbl 1211.03050号 伊丽莎白·德·玛丽亚;安吉洛·蒙塔纳里;尼古拉·维塔科隆纳 2 2009 Halpern和Shoham的区间时间逻辑的可判定和不可判定片段:走向一个完整的分类。 Zbl 1182.03037号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 11 2008 线性序上右命题邻域逻辑的最优表。 Zbl 1178.03030号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 7 2008 具有C、D和T的区间时序逻辑的非有限公理化性和不可判定性。 Zbl 1156.03321号 伊恩·霍金森;安吉洛·蒙塔纳里;圭多·西亚维科 6 2008 右命题邻域逻辑的最优决策过程。 Zbl 1121.03027号 大卫·布雷索林;安吉洛·蒙塔纳里;圭多·西亚维科 13 2007 一种基于表的命题邻域逻辑最优决策算法。 Zbl 1141.03308号 大卫·布雷索林;安吉洛·蒙塔纳里;皮埃特罗·萨拉 11 2007 命题区间邻域逻辑的可判定性和表示性。 Zbl 1132.03335号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 6 2007 稠密序上子区间结构逻辑的表au系统。 兹比尔1133.03007 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;皮埃特罗·萨拉 4 2007 时间粒度的紧凑且易于处理的基于自动机的表示。 Zbl 1111.68053号 乌戈·达尔拉戈;安吉洛·蒙塔纳里;加布里埃尔,小狗 2 2007 命题区间时序逻辑的一般表方法:理论与实现。 Zbl 1104.03010号 V.戈兰科。;蒙塔纳里,A。;萨拉,P。;Sciavicco,G。 10 2006 时间粒度的二进制谓词的可定义性和可判定性。 Zbl 1101.03016号 马西莫·弗朗西切特;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 1 2006 基于表的右命题邻域逻辑决策过程。 Zbl 1141.03307号 大卫·布雷索林;安吉洛·蒙塔纳里 8 2005 Ehrenfeucht游戏在标记后继结构上的算法说明。 兹比尔1143.03353 安吉洛·蒙塔纳里;阿尔贝托,Policriti;尼古拉·维塔科洛娜 5 2005 时间间隔逻辑和持续时间计算的路线图。 Zbl 1181.03012号 V.戈兰科。;蒙塔纳里,A。;Sciavicco,G。 31 2004 时间粒度的时序逻辑和自动机。 Zbl 1088.68105号 马西莫·弗朗西切特;安吉洛·蒙塔纳里 5 2004 时间间隔逻辑和持续时间计算专题前言。 Zbl 1180.03019号 瓦伦丁·戈兰科;安吉洛·蒙塔纳里 三 2004 时间粒度和最终的周期自动机。 Zbl 1111.68697号 大卫·布雷索林;安吉洛·蒙塔纳里;加布里埃尔,小狗 2 2004 命题区间时序逻辑的一般表方法。 Zbl 1274.03033号 瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 10 2003 面向时间粒度的紧凑和可处理的基于自动机的表示。 Zbl 1257.68063号 乌戈·达尔拉戈;安吉洛·蒙塔纳里;加布里埃尔,小狗 4 2003 时间内分支:用于时间粒度的表达完整且基本可判定的时间逻辑。 Zbl 1082.68066号 马西莫·弗朗西切特;安吉洛·蒙塔纳里 1 2003 区间时序逻辑在分裂帧上通过粒度的决定性。 Zbl 1013.03013号 安吉洛·蒙塔纳里;圭多·西亚维科;尼古拉·维塔科隆纳 8 2002 将Kamp定理扩展到时间粒度模型。 Zbl 1006.03015号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 4 2002 命题逻辑和一阶模态逻辑的替代翻译技术。 Zbl 1003.03018号 安吉洛·蒙塔纳里;阿尔贝托,Policriti;马特奥·斯拉尼娜 1 2002 日历、时间粒度和自动机。 Zbl 0997.68567号 乌戈·达尔拉戈;安吉洛·蒙塔纳里 4 2001 人工智能中的时间表示和推理:问题和方法。 兹比尔1001.68096 卢卡·奇塔罗;安吉洛·蒙塔纳里 11 2000 模态事件计算的层次结构:表达性和复杂性。 Zbl 0945.03017号 伊利亚诺·塞维萨托;马西莫·弗朗西切特;安吉洛·蒙塔纳里 三 2000 各州的驯服(时机)。 Zbl 0964.03017号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 2 2000 分层度量时间结构的可判定理论。 兹比尔0945.03022 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 1 2000 分层度量时间结构理论:表达性和可判定性。 Zbl 0920.03033号 安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 三 1999 二阶逻辑和集合论中的模态演绎。二、。 Zbl 0953.03022号 约翰·范·本特姆;D’乔瓦娜·阿戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 2 1998 二阶逻辑和集合论中的模态演绎。一、。 Zbl 0873.03021号 约翰·范·本特姆;D’乔万娜·阿戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 三 1997 两种排序的度量时态逻辑。 Zbl 0901.03019号 安吉洛·蒙塔纳里;马尔滕,德里伊克 1 1997 度量和分层时序逻辑的可判定性结果。 Zbl 0858.03018号 安吉洛·蒙塔纳里;阿尔贝托,Policriti 三 1996 多模态逻辑的集合理论翻译方法。 Zbl 0840.03015号 D’乔瓦娜·阿戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 7 1995 (多)模态逻辑的一种集合论翻译方法。 Zbl 1379.03004号 D’乔瓦娜·阿戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托,Policriti 1 1995 两分类度量时序逻辑的完备性结果。 Zbl 1496.03078号 安吉洛·蒙塔纳里;马尔滕,德里伊克 1 1995 在同步实时系统的逻辑规范语言中嵌入时间粒度。 Zbl 0781.68083号 西亚佩索尼,E。;科尔塞蒂,E。;蒙塔纳里,A。;圣彼得罗,P。 6 1993 …和另外两份文件 所有引用出版物 前5名被引用出版物 全部的 前5名163位作者引用 56 安吉洛·蒙塔纳里 26 皮埃特罗·萨拉 26 圭多·西亚维科 21 阿德里亚诺·佩隆 16 劳拉·博泽利 15 大卫·布雷索林 14 黛拉·莫妮卡,达里奥 13 阿尔贝托·莫利纳里 9 瓦伦丁·F·戈兰科。 8 斯特凡·德姆里。 7 尼古拉·吉甘特 5 马克·亚历山大·雷诺兹 4 阿尔夫·罗查,蒂亚戈 4 卢卡·盖蒂 4 阿莱西奥·曼苏蒂 4 阿娜·特蕾莎·马丁斯 4 埃米利奥·穆尼奥斯·韦拉斯科 4 加布里埃尔,小狗 三 巴托什·贝德纳尔奇克 三 坎通纳,多梅尼科 三 卡洛·库比 三 威廉·康雷迪 三 萨利赫·杜尔汗 三 弗朗西克勃·马丁斯·费雷拉 三 奥莫多,尤金尼奥·乔瓦尼 三 阿尔贝托,Policriti 三 卢卡·维甘诺 2 Aceto,卢卡 2 亚历山大·阿提基斯 2 艾伦·D·伯恩斯。 2 Chebotarev,Anatoli N。 2 马尔滕,德里伊克 2 Deters,摩根 2 劳尔·费尔瓦里 2 Dimitar P.Guelev。 2 罗宾·赫希 2 Ingólfsdóttir,安娜 2 克雷斯蒂安·约布茨克 2 萨瓦斯·科努尔 2 安东尼·利格扎 2 安德烈亚·马西尼 2 本·C·莫斯科夫斯基。 2 阿尼埃洛·穆拉诺 2 乔治·巴利乌拉斯 2 马尔科·帕扎格里亚 2 恩里科·斯卡拉 2 西尔万·施密茨 2 Michael Sioutis先生 2 Stan、Ionel Eduard 2 马尔科·沃尔佩 1 雷纳托·阿坎波拉 1 娜塔莎·亚历奇纳 1 菲利普·巴尔比亚尼 1 大卫·巴罗齐尼 1 斯蒂芬·巴特 1 马克·贝泽姆 1 阿什温·巴斯卡 1 托马斯·博兰德 1 拉菲克·博阿齐兹 1 邹海尔·布拉米亚 1 Cardenas-Viedma,M.Antonia 1 奇日科夫,A.S。 1 玛尔塔·恰尔迪亚·梅耶 1 亚历山德罗·西马蒂 1 安东尼·科恩(Anthony G.Cohn)。 1 恩里科·科米纳托 1 科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José) 1 马克西米利亚诺·克里斯蒂亚 1 乌戈·达尔拉戈 1 阿纳州阿尔梅达博尔赫斯 1 安德里亚·德·多梅尼科 1 戴维·德·弗鲁托斯·埃斯克里格 1 伊丽莎白·德·玛丽亚 1 汉斯·德·尼维尔 1 杜,鹤山 1 阿明·法朱迪安 1 大卫·费尔南德斯·杜克 1 安德烈亚·福米萨诺 1 马西莫·弗朗西切特 1 卡洛·阿尔贝托·福里亚 1 雷吉斯·加斯科 1 劳拉·佐丹奴 1 西蒙·格纳尼 1 乔治·戈瓜泽 1 米雷亚González Bedmar 1 弗朗西斯科·吉尔 1 欣德·哈姆鲁尼 1 延斯·乌尔里克·汉森 1 迈克尔·赖赫哈特·汉森 1 伊恩·海耶斯。 1 何图宝 1 彼得·霍夫纳 1 汤米·詹胡宁 1 Joost J.乔斯特恩。 1 Jose M.Juarez。 1 奥祖尔·卡法尔 1 川崎,佐里 1 萨尔瓦多拉托雷 1 乐,SiQuang 1 马丁·勒克 …还有63位作者 全部的 前5名36篇连载文章中引用 20 理论计算机科学 16 信息与计算 8 数学与人工智能年鉴 6 应用非经典逻辑杂志 6 ACM计算逻辑事务 5 信息学报 5 计算机科学中的逻辑方法 三 人工智能 三 模糊集与系统 三 逻辑、语言与信息杂志 2 符号逻辑杂志 2 合成 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 控制论与系统分析 2 人工智能研究杂志 2 应用逻辑杂志 1 国际理论物理杂志 1 信息处理信件 1 信息传输问题 1 圣母院形式逻辑杂志 1 西伯利亚数学杂志 1 Studia Logica公司 1 新一代计算 1 数学和计算机建模 1 SIAM离散数学杂志 1 实时系统 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 可靠的计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 计算机科学前沿 1 计算机科学评论 1 ACM计算理论汇刊 全部的 前5名10个字段中引用 112 数学逻辑和基础(03-XX) 110 计算机科学(68至XX) 三 相对论和引力理论(83至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 组合数学(05-XX) 2 阶、格、有序代数结构(06-XX) 1 总体主题;集合(00-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文