编辑配置文件（在新选项卡中打开） 马尔塞洛·玛丽亚·贝尔萨尼 合著者距离 作者ID: 贝萨尼·马塞洛·马里亚 发布日期： 马尔塞洛·贝尔萨尼。;马尔塞洛·玛丽亚·贝尔萨尼;M.M.贝尔萨尼。 更多。。。较少的 编入索引的文档： 15出版物自2011年起 合著者： 13合著者具有15联合出版物 206合著作者 全部的 前5名合著者 0 单作者的 12 罗西（Matteo A.C.Rossi）。 9 Pierluigi San彼得罗 4 阿基尔·弗里吉里 2 亚历山德拉·切鲁比尼 2 克劳迪奥·蒙吉 1 卢西亚诺·巴雷西 1 斯特凡·德姆里。 1 法比奥·马可尼 1 安杰洛·莫尔岑蒂 1 帕特里齐奥·佩利奇奥内 1 马蒂奥·普拉德拉 1 盖塔诺·夸特罗奇 1 马蒂奥·索尔多 全部的 前5名系列 2 理论计算机科学 2 计算的形式方面 1 信息学报 1 信息与计算 1 国际计算机数学杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 领域 13 计算机科学（68至XX） 10 数理逻辑与基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物被引用44中的次22文件 引用人▼ 年份▼ 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西，马蒂奥;圣彼得罗，皮耶路易吉 8 2014 一种用于决定连续时间度量时态逻辑的可满足性的工具。 Zbl 1336.68230号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 6 2016 一种基于SMT的MITL可满足性检查方法。 Zbl 1332.68138号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 5 2015 约束LTL有界可满足性问题的完备性。 Zbl 1347.03031号 马塞洛·M·贝尔萨尼。;阿基尔·弗里吉里;罗西，马蒂奥;圣彼得罗，皮耶路易吉 4 2011 常规纯二维无上下文语言的表达性和复杂性。 Zbl 1286.68181号 马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;亚历山德拉·切鲁比尼 4 2013 关于一些2D语言类及其关系。 Zbl 1330.68143号 马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;亚历山德拉·切鲁比尼 三 2011 可逆有界模型检验的复杂性。 Zbl 1348.68121号 马尔塞洛·贝尔萨尼。;斯特凡·德姆里 三 2011 用计数方式确定连续时间度量时序逻辑。 Zbl 1405.03045号 马塞洛·M·贝尔萨尼。;罗西，马蒂奥;Pierluigi San彼得罗 三 2013 定时（非）正则语言的逻辑特征。 Zbl 1426.03017号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 三 2014 确定MITL规范的可满足性。 Zbl 1464.68193号 马尔塞洛·玛丽亚·贝尔萨尼;罗西，马蒂奥;Pierluigi San彼得罗 三 2013 定时正则语言的逻辑特征。 Zbl 1355.68150号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 2 2017 定时正则语言的逻辑特征。 Zbl 1355.68150号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 2 2017 用于确定连续时间度量时序逻辑的可满足性的工具。 Zbl 1336.68230号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 6 2016 一种基于SMT的MITL可满足性检查方法。 Zbl 1332.68138号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 5 2015 无自动机约束LTL可满足性检查。 Zbl 1310.68141号 马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西，马蒂奥;圣彼得罗，皮耶路易吉 8 2014 定时（非）正则语言的一种逻辑特征。 Zbl 1426.03017号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;圣彼得罗，皮耶路易吉 三 2014 常规纯二维无上下文语言的表达性和复杂性。 Zbl 1286.68181号 马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;亚历山德拉·切鲁比尼 4 2013 用计数方式确定连续时间度量时序逻辑。 Zbl 1405.03045号 马尔塞洛·贝尔萨尼。;罗西，马蒂奥;Pierluigi San彼得罗 三 2013 确定MITL规范的可满足性。 Zbl 1464.68193号 马尔塞洛·玛丽亚·贝尔萨尼;罗西，马蒂奥;Pierluigi San彼得罗 三 2013 约束LTL有界可满足性问题的完备性。 Zbl 1347.03031号 马尔塞洛·贝尔萨尼。;阿契尔弗里格里;罗西，马蒂奥;圣彼得罗，皮耶路易吉 4 2011 关于一些2D语言类及其关系。 Zbl 1330.68143号 马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;亚历山德拉·切鲁比尼 三 2011 可逆有界模型检验的复杂性。 Zbl 1348.68121号 马尔塞洛·贝尔萨尼。;斯特凡·德姆里 三 2011 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 8 马尔塞洛·玛丽亚·贝尔萨尼 8 罗西（Matteo A.C.Rossi）。 4 Pierluigi San彼得罗 4 Subramanian、Kumbakonam Govindarajan 三 斯特凡·德姆里。 三 萨萨·斯里拉姆 2 索姆纳特·贝拉 2 阿米特·库马尔·达尔 2 阿基尔·弗里吉里 2 安杰洛·莫尔岑蒂 2 阿诺德·桑尼尔 1 卢西亚诺·巴雷西 1 罗迪卡·塞特基 1 亚历山德罗·西马蒂 1 Csuhaj Varjú，埃尔泽贝特 1 克莱尔·狄克逊 1 杜晓宁 1 费雷尔，托马斯 1 卢卡·费鲁奇 1 阿尔贝托·格里乔 1 乌尔里希·赫斯塔特 1 塔加萨米·卡马拉吉 1 M.Gayathri Lakshmi 1 李建文 1 刘，杨 1 恩里科·马格纳戈 1 迪诺·曼德里奥利 1 法比奥·马可尼 1 克劳迪奥·蒙吉 1 Nagar，Atulya K。 1 安娜·奥扎基 1 潘林强 1 莉莉亚娜·帕斯奎尔 1 帕特里齐奥·佩利奇奥内 1 马蒂奥·普拉德拉 1 盖塔诺·夸特罗奇 1 马可·罗维里 1 克里斯汀·伊冯·罗泽尔 1 马蒂奥·索尔多 1 宋博生 1 鲍拉·斯波莱蒂尼 1 托马斯·杜拉里亚·格纳纳拉吉 1 阿文·费南托（Alwen Fernanto Tiu） 1 斯特凡诺·托内塔 1 莫西·亚亚科夫·瓦尔迪 1 易卜拉欣·文卡特 1 维诺迪尼，G.Arul Freeda 全部的 前5名9篇连载文章中引用 6 理论计算机科学 三 信息与计算 2 计算的形式方面 1 信息学报 1 离散应用数学 1 自动推理杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 膜计算杂志 在4个字段中引用 21 计算机科学（68至XX） 13 数理逻辑与基础（03-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文