编辑配置文件（在新选项卡中打开） 麦格纳戈，恩里科 合著者距离 作者ID： magnago.enrico公司 发布日期： 麦格纳戈，恩里科 已编制索引的文档： 4出版物自2020年起 合著者： 4位合著者具有4联合出版物 112位Co-Co作者 合著者 0 单作者的 4 亚历山德罗·西马蒂 4 阿尔贝托·格里乔 1 马可·罗维里 1 斯特凡诺·托内塔 系列 2 信息与计算 领域 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用9中的次5文件 引用人▼ 年份▼ 证明了无限状态系统中公平路径的存在。 Zbl 1472.68085号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科 4 2021 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 Zbl 1443.68104号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科;马可·罗维里;斯特凡诺·托内塔 2 2020 无限状态转换系统中公平路径的自动发现。 Zbl 1497.68290号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科 2 2021 长期贷款无限状态系统中的证伪。 Zbl 07629158号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科 1 2022 长期贷款无限状态系统中的证伪。 Zbl 07629158号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科 1 2022 证明无限状态系统中公平路径的存在性。 Zbl 1472.68085号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科 4 2021 在无限状态转换系统中自动发现公平路径。 Zbl 1497.68290号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科 2 2021 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 Zbl 1443.68104号 亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈，恩里科;马可·罗维里;斯特凡诺·托内塔 2 2020 全部的 前5名12位作者引用 4 亚历山德罗·西马蒂 4 阿尔贝托·格里乔 2 麦格纳戈，恩里科 2 斯特凡诺·托内塔 1 埃蒂安·安德烈 1 詹姆·阿里亚斯 1 卢卡·盖蒂 1 格雷格·金伯利 1 塞尔吉奥·莫弗 1 劳雷·佩特鲁奇 1 马可·罗维里 1 范德波尔，扬·科内利斯 2篇连载文章中引用 1 信息与计算 1 系统设计中的形式化方法 在2个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文