编辑配置文件（在新选项卡中打开） 法比奥·马萨奇 合著者距离 作者ID： 马萨诸塞州法比奥 发布日期： 法比奥·马萨奇；马萨奇，F。 外部链接： 管理程序 已编制索引的文档： 28出版物自1994年以来 合著者： 28位合著者具有22联合出版物 371位联合作者 全部的 前5名合著者 6 单作者的 三 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello） 三 弗朗西斯科·多尼尼。 2 詹保罗·贝拉 2 朱塞佩·德贾科莫 2 尼古拉·德拉戈尼 2 劳拉·马拉罗 2 约翰·米洛波洛斯 2 劳伦斯·查尔斯·保尔森 2 尼古拉·赞诺 1 尤迪斯特拉·阿斯纳尔 1 鲍姆加特纳 1 娜塔莉亚·比埃洛娃 1 克劳迪娅·菲奥里尼 1 保罗·乔治尼 1 阿列克谢·戈茨曼 1 弗洛里安·克什鲍姆 1 恩里科·马蒂内利 1 迪米特·米卢舍夫 1 卡齐亚琳娜·纳柳卡 1 丹尼尔·纳尔迪 1 吴昌南 1 弗兰克·皮森斯 1 马可·皮斯托雷 1 里卡多·罗萨蒂 1 艾达·赛丹 1 Siahaan，Ida R。 1 皮耶罗·特拉蒙塔诺 1 朱利安·威廉姆斯。 全部的 前5名系列 三 自动推理杂志 1 人工智能 1 离散应用数学 1 理论计算机科学 1 信息与计算 1 逻辑与计算杂志 1 逻辑与代数程序设计杂志 1 计算机网络 1 ACM计算逻辑汇刊 领域 26 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 4 信息与通信理论、电路（94-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用144中的次124文件 引用人▼ 年份▼ 作为SAT问题的逻辑密码分析：美国数据加密标准的编码和分析。 Zbl 0968.68052号 法比奥·马萨奇；劳拉·马拉罗 26 2000 ALC的EXP时间表。 Zbl 0952.68136号 F.M.多尼尼。；马萨奇，F。 26 2000 模态逻辑的单步表。计算特性、复杂性和方法。 Zbl 0951.03008号 法比奥·马萨奇 18 2000 正规模态逻辑的强分析表。 Zbl 1433.03026号 法比奥·马萨奇 18 1994 将演绎和模型检查结合到表格和逆PDL算法中。 Zbl 1045.68090号 朱塞佩·德贾科莫；法比奥·马萨奇 15 2000 在逻辑编程中验证安全协议。 Zbl 1365.68386号 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello）；法比奥·马萨奇 8 2001 简化：命题和模态表的通用约束传播技术。 Zbl 0903.03012号 法比奥·马萨奇 7 1998 TANCS-2000非经典（模态）系统比较的设计和结果。 Zbl 0963.68518号 法比奥·马萨奇；弗朗西斯科·多尼尼。 5 2000 带逆命题动态逻辑的表和算法。 Zbl 1412.68216号 朱塞佩·德贾科莫；法比奥·马萨奇 4 1996 验证SET购买协议。 Zbl 1104.68465号 詹保罗·贝拉；法比奥·马萨奇；劳伦斯·C·鲍尔森。 三 2006 分析表和子句表的证明复杂性。 Zbl 0947.68130号 马萨奇，F。 2 2000 在移动代码的安全性契约中进行匹配。 Zbl 1192.68236号 北卡罗来纳州比埃洛娃。；北德拉戈尼。；马萨奇，F。；Naliuka，K。；我·西亚汉。 2 2009 （X）OR的驯化。 Zbl 0983.68174号 鲍姆加特纳；法比奥·马萨奇 2 2000 需求工程满足信任管理。 兹比尔1126.68651 保罗·乔治尼；法比奥·马萨奇；约翰·米洛波洛斯；尼古拉·赞诺 2 2004 基于区块链的暗池金融交易的实用见证密钥协议。 Zbl 1493.91120号 恩戈，陈南；法比奥·马萨奇；弗洛里安·克什鲍姆；朱利安·威廉姆斯 2 2021 如何通过将模块化根查找编码为SAT问题来伪造RSA签名。 Zbl 1029.68053号 克劳迪娅·菲奥里尼；恩里科·马蒂内利；法比奥·马萨奇 1 2003 规划对安全协议的攻击：逻辑编程中的案例研究。 Zbl 1012.68517号 路易斯娅·卡卢奇·艾略；法比奥·马萨奇 1 2002 多智能体分布式系统形式化验证的表方法。 Zbl 0904.68133号 法比奥·马萨奇 1 1998 黑匣子反应式程序安全策略的运行时强制执行。 Zbl 1345.68113号 明尼苏达州Ngo；法比奥·马萨奇；迪米特·米卢舍夫；弗兰克·皮森斯 1 2015 基于区块链的暗池金融交易的实用见证密钥协议。 Zbl 1493.91120号 吴昌南；法比奥·马萨奇；弗洛里安·克什鲍姆；朱利安·威廉姆斯 2 2021 黑匣子反应式程序安全策略的运行时强制执行。 Zbl 1345.68113号 明尼苏达州Ngo；法比奥·马萨奇；迪米特·米卢舍夫；弗兰克·皮森斯 1 2015 在移动代码的安全性契约中进行匹配。 Zbl 1192.68236号 北卡罗来纳州比埃洛娃。；北德拉戈尼。；马萨奇，F。；Naliuka，K。；我·西亚汉。 2 2009 验证SET购买协议。 Zbl 1104.68465号 詹保罗·贝拉；法比奥·马萨奇；劳伦斯·C·鲍尔森。 三 2006 需求工程满足信任管理。 兹比尔1126.68651 保罗·乔治尼；法比奥·马萨奇；约翰·米洛波洛斯；尼古拉·赞诺 2 2004 如何通过将模块化根查找编码为SAT问题来伪造RSA签名。 Zbl 1029.68053号 克劳迪娅·菲奥里尼；恩里科·马蒂内利；法比奥·马萨奇 1 2003 规划对安全协议的攻击：逻辑编程中的案例研究。 Zbl 1012.68517号 路易斯娅·卡卢奇·艾略；法比奥·马萨奇 1 2002 在逻辑编程中验证安全协议。 Zbl 1365.68386号 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello）；法比奥·马萨奇 8 2001 作为SAT问题的逻辑密码分析：美国数据加密标准的编码和分析。 Zbl 0968.68052号 法比奥·马萨奇；劳拉·马拉罗 26 2000 ALC的EXP时间表。 Zbl 0952.68136号 F.M.多尼尼。；马萨奇，F。 26 2000 模态逻辑的单步表。计算性质、复杂性和方法论。 Zbl 0951.03008号 法比奥·马萨奇 18 2000 将演绎和模型检查结合到表格和逆PDL算法中。 Zbl 1045.68090号 朱塞佩·德贾科莫；法比奥·马萨奇 15 2000 TANCS-2000非经典（模态）系统比较的设计和结果。 Zbl 0963.68518号 法比奥·马萨奇；弗朗西斯科·多尼尼。 5 2000 分析表和子句表的证明复杂性。 Zbl 0947.68130号 马萨奇，F。 2 2000 （X）OR的驯化。 Zbl 0983.68174号 鲍姆加特纳；法比奥·马萨奇 2 2000 简化：命题和模态表的通用约束传播技术。 Zbl 0903.03012号 法比奥·马萨奇 7 1998 多智能体分布式系统形式化验证的表方法。 Zbl 0904.68133号 法比奥·马萨奇 1 1998 带逆命题动态逻辑的表和算法。 Zbl 1412.68216号 朱塞佩·德贾科莫；法比奥·马萨奇 4 1996 正规模态逻辑的强分析表。 Zbl 1433.03026号 法比奥·马萨奇 18 1994 所有引用出版物 前5名被引用出版物 全部的 前5名206位作者引用 10 法比奥·马萨奇 7 拉杰夫·普拉巴卡尔·戈尔 6 乌尔里希·赫斯塔特 6 马克·卡明斯基 6 阮林安 6 格特·斯莫尔卡 5 Cláudia Nalon 4 克莱尔·狄克逊 4 吉多·菲奥里诺 4 托马斯·施耐德 三 阿德尔申，A.V。 三 尼古拉斯·科托伊斯（Nicolas T.Courtois）。 三 Stéphane P.德姆里。 三 适合，Melvin Chris 三 雷娜特·施密特（Renate A.Schmidt）。 三 罗伯托·塞巴斯蒂亚尼 三 斯扎·阿斯、安德烈吉 三 奥列格·谢尔盖维奇·扎金 2 卢卡·埃特罗 2 安东尼斯·阿奇利奥斯 2 菲利普·巴尔比亚尼 2 格雷戈里·巴德。 2 玛尔塔·恰尔迪亚·梅耶 2 朱塞佩·德贾科莫 2 弗朗西斯科·多尼尼。 2 路易斯·法利尼亚斯·德尔·塞罗 2 阿德里安·弗兰卡兰扎 2 福斯托·金奇利亚 2 沃尔克·哈尔斯列夫 2 爱德华·赫尔曼·海尔 2 Anna Ingólfsdóttir 2 科洛科洛夫，亚历山大·阿列克桑德罗维奇 2 马丁·克鲁泽 2 罗马库兹涅茨 2 布鲁诺·多梅尼西亚诺·洛佩斯 2 阿恩·迈尔 2 鲍里斯·莫提克 2 Niemelä，Ilkka N.F。 2 法比奥·帕帕奇尼 2 拉斐尔·佩尼亚洛萨 2 彼得·桑德斯 2 Ulrike萨特勒 2 多米尼克·施赖伯 2 Aleksandr Anatol’evich塞梅诺夫 2 弗洛里安·维德曼 1 埃利·阿纳斯塔西亚迪 1 Noriko H.Arai。 1 Armeni，Spyridoula M。 1 亚历山德罗·阿韦隆 1 Franz巴德 1 鲍姆加特纳 1 伯恩哈德·贝克特 1 詹保罗·贝拉 1 贝内维特斯，马里奥·R·F·。 1 德米特里·贝斯帕洛夫 1 卞正兵 1 尼科尔·比多特 1 娜塔莉亚·比埃洛娃 1 阿多马斯·比什图纳斯 1 沃尔夫冈·布隆金格 1 玛丽亚·保拉（Maria Paola Bonacina） 1 皮耶罗·安德里亚·博纳蒂 1 玛丽亚娜·波特洛·达·伽马 1 伦纳德·博塔 1 约瑟夫·布杜 1 佩德罗·卡巴拉尔 1 马可·卡多利 1 迭戈·卡尔瓦内斯 1 路易吉亚·卡卢奇·埃利罗（Luigia Carlucci Aiello） 1 约翰·卡特里奇 1 巴勃罗·卡斯特罗。 1 塞里托、塞雷内拉 1 陈建文 1 克里斯托加基斯，D。 1 Fabián A.Chudak。 1 科宁，诺琳 1 达里奥·科拉佐 1 罗纳德·科内特 1 达姆，麦兹 1 汉斯·德·尼维尔 1 吉勒梅尔·德·苏扎·拉贝洛 1 吉尔·迪肯 1 Gilles Dowek 1 尼古拉·德拉戈尼 1 巴巴拉·杜宁·科普里茨 1 托马斯·艾特 1 乔斯琳·法杜尔 1 豪尔赫·范丁诺 1 毛罗·法拉利 1 马塞洛·芬格 1 伯恩德·芬克贝纳 1 佛罗伦萨，卡米洛 1 克劳迪娅·菲奥里尼 1 格利姆，伯尔特 1 乔安娜·戈林斯卡·皮拉雷克 1 伊琳娜·格里巴诺娃 1 克里斯托弗·哈恩 1 托莫德五世·Hávaldsrud。 1 安德烈亚斯·赫齐格 1 贾娜·霍夫曼 …还有106位作者 全部的 前5名35篇连载文章被引用 12 自动推理杂志 7 人工智能 5 纯逻辑与应用逻辑年鉴 5 信息与计算 4 理论计算机科学 4 Prikladnaya Diskretnaya Matematika公司 2 信息处理信件 2 信息科学 2 符号计算杂志 2 应用非经典逻辑杂志 2 数学与人工智能年鉴 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 应用逻辑杂志 2 泛逻辑 1 离散应用数学 1 立陶宛数学杂志 1 符号逻辑杂志 1 Studia Logica公司 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 数学逻辑档案 1 逻辑、语言与信息杂志 1 有限域及其应用 1 符号逻辑公报 1 约束条件 1 优化方法和软件 1 离散数学科学与密码学杂志 1 电子商务研究 1 ACM计算逻辑汇刊 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 1 组、复杂性、密码学 1 程序设计中的逻辑和代数方法杂志 1 西伯利亚联邦大学学报。数学和物理 全部的 前5名在12个字段中引用 91 计算机科学（68至XX） 67 数学逻辑和基础（03-XX） 22 信息与通信理论、电路（94-XX） 7 运筹学、数学规划（90-XX） 三 交换代数（13-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 量子理论（81-XX） 按年份列出的引文