编辑配置文件（在新选项卡中打开） 佛朗哥·雷蒙迪 合著者距离 作者ID： 法国莱蒙迪 发布日期： 佛朗哥·雷蒙迪 已编制索引的文档： 16出版物自2004年起 合著者： 20位合著者具有15联合出版物 481位联合作者 全部的 前5名合著者 0 单作者的 5 阿莱西奥·洛穆西奥 三 陈、陶璐 三 查尔斯·佩彻 2 娜塔莎·亚历奇纳 2 西蒙·巴斯德 2 利贝蒂，利奥 2 布赖恩·洛根 2 Nguyen、Hoang Nga 2 朱塞佩·普里米埃罗 2 曲洪阳 1 安德烈亚·贝蒂内利 1 马格达莱娜·卡普扎克 1 巴纳比·D·马丁。 1 乔斯·马丁 1 阿图尔·尼维亚多姆斯基 1 沃伊切赫·彭泽克 1 内哈·隆塔 1 大卫·萨沃里 1 马西耶·斯兹雷特 1 沃纳、博埃纳 全部的 前5名系列 2 计算机基础理论 1 离散应用数学 1 计算机与系统科学杂志 1 Studia Logica公司 1 合成 1 信息与计算 1 计算机与运筹学 1 应用逻辑杂志 全部的 前5名领域 14 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 1 偏微分方程（35-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用78中的次67文件 引用人▼ 年份▼ 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 Zbl 1122.68076号 佛朗哥·雷蒙迪；阿莱西奥·洛穆西奥 19 2007 无限方格的堆积色数在13到15之间。 Zbl 1361.05051号 巴纳比·马丁；佛朗哥·雷蒙迪；陈、陶璐；乔斯·马丁 16 2017 麦克马斯：多代理系统的模型检查器。 Zbl 1459.68121号 阿莱西奥·洛穆西奥；佛朗哥·雷蒙迪 11 2006 资源逻辑与资源生产的可决定模型检查。 Zbl 1366.68161号 娜塔莎·亚历奇纳；布赖恩·洛根；Nguyen、Hoang Nga；佛朗哥·雷蒙迪 7 2014 资源型ATL的模型检查，包括资源的生产和消耗。 Zbl 1371.68173号 娜塔莎·亚历奇纳；布赖恩·洛根；Nguyen、Hoang Nga；佛朗哥·雷蒙迪 7 2017 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克；阿莱西奥·洛穆西奥；阿图尔·尼维亚多姆斯基；沃伊切赫·彭泽克；佛朗哥·雷蒙迪；马西耶·斯兹雷特 6 2006 部分可观测性和无条件公平约束下无记忆策略的推理。 Zbl 1319.68141号 西蒙·巴斯德；查尔斯·佩彻；曲洪阳；佛朗哥·雷蒙迪 6 2015 二元域中一类奇异椭圆问题的存在唯一性结果。 Zbl 1404.35189号 多纳托，P。；莱蒙迪，F。 4 2017 逻辑与动作的符号模型检查。 Zbl 1196.68288号 查尔斯·佩彻；佛朗哥·雷蒙迪 2 2007 神秘圣诞老人的问题。 Zbl 1143.68505号 利贝蒂，利奥；佛朗哥·雷蒙迪 1 2008 在部分可观测性和公平性约束下推理策略。 Zbl 1464.68409号 西蒙·巴斯德；查尔斯·佩彻；曲洪阳；佛朗哥·雷蒙迪 1 2013 一种基于计算的加权多斯泰克逻辑。 Zbl 1367.03052号 陈、陶璐；朱塞佩·普里米埃罗；佛朗哥·雷蒙迪；内哈·隆塔 1 2016 匿名子图问题。 Zbl 1349.05321号 安德烈亚·贝蒂内利；利贝蒂，利奥；佛朗哥·雷蒙迪；大卫·萨沃里 1 2013 无限方格的堆积色数在13到15之间。 Zbl 1361.05051号 巴纳比·马丁；佛朗哥·雷蒙迪；陈、陶璐；乔斯·马丁 16 2017 资源型ATL的模型检查，包括资源的生产和消耗。 Zbl 1371.68173号 娜塔莎·亚历奇纳；布赖恩·洛根；Nguyen、Hoang Nga；佛朗哥·雷蒙迪 7 2017 二元域中一类奇异椭圆问题的存在唯一性结果。 Zbl 1404.35189号 多纳托，P。；莱蒙迪，F。 4 2017 一种基于计算的加权多斯泰克逻辑。 Zbl 1367.03052号 陈、陶璐；朱塞佩·普里米埃罗；佛朗哥·雷蒙迪；内哈·隆塔 1 2016 部分可观测性和无条件公平约束下无记忆策略的推理。 Zbl 1319.68141号 西蒙·巴斯德；查尔斯·佩彻；曲洪阳；佛朗哥·雷蒙迪 6 2015 资源逻辑与资源生产的可决定模型检查。 Zbl 1366.68161号 娜塔莎·亚历奇纳；布赖恩·洛根；Nguyen、Hoang Nga；佛朗哥·雷蒙迪 7 2014 在部分可观测性和公平性约束下推理策略。 Zbl 1464.68409号 西蒙·巴斯德；查尔斯·佩彻；曲洪阳；佛朗哥·雷蒙迪 1 2013 匿名子图问题。 Zbl 1349.05321号 安德烈亚·贝蒂内利；利贝蒂，利奥；佛朗哥·雷蒙迪；大卫·萨沃里 1 2013 神秘圣诞老人的问题。 Zbl 1143.68505号 利贝蒂，利奥；佛朗哥·雷蒙迪 1 2008 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 Zbl 1122.68076号 佛朗哥·雷蒙迪；阿莱西奥·洛穆西奥 19 2007 逻辑与动作的符号模型检查。 Zbl 1196.68288号 查尔斯·佩彻；佛朗哥·雷蒙迪 2 2007 麦克马斯：多代理系统的模型检查器。 Zbl 1459.68121号 阿莱西奥·洛穆西奥；佛朗哥·雷蒙迪 11 2006 比较基于BDD和SAT的模型检查Chaum餐饮密码协议的技术。 Zbl 1097.68074号 马格达莱娜·卡普扎克；阿莱西奥·洛穆西奥；阿图尔·尼维亚多姆斯基；沃伊切赫·彭泽克；佛朗哥·雷蒙迪；马西耶·斯兹雷特 6 2006 所有引用出版物 前5名被引用出版物 全部的 前5名118位作者引用 7 弗朗西斯科·贝拉迪内利 7 博什特詹·布雷萨尔 7 阿莱西奥·洛穆西奥 6 费姆，茉莉 5 娜塔莎·亚历奇纳 5 沃伊切赫·贾姆罗加 5 布赖恩·洛根 5 阿尼埃洛·穆拉诺 4 桑迪·克拉夫扎尔 4 阿尔贝托·莫利纳里 4 Angelo蒙塔纳里 4 沃伊切赫·彭泽克 4 阿德里亚诺·佩隆 三 劳拉·博泽利 三 瓦迪姆·马尔文 2 牛，尼尔斯 2 阿尔弗雷多·布里耶扎 2 西蒙·巴斯德 2 佩雷斯·德古兹曼（Pérez de Guzmán），英马特拉达 2 Stéphane P.德姆里。 2 柯特林·迪马 2 尼古拉斯·加斯蒂诺 2 Přemysl霍卢布 2 米查尔·乔泽夫·纳皮克 2 Korže，达尼洛 2 法比奥·莫加维罗 2 埃米利奥·穆尼奥斯·韦拉斯科 2 Nguyen、Hoang Nga 2 查尔斯·佩彻 2 道格拉斯·拉尔。 2 萨沙·鲁宾 2 奥利维埃·托格尼 2 亚历山大·维塞尔 1 蒙塞夫·阿巴斯 1 Bae，Kyungmin先生 1 贝内维特斯，马里奥·R·F·。 1 埃兹·佐拜尔·比丁 1 约苏阿·博塔 1 爱奥华纳州布尔亚努 1 曹睿 1 彼得·科马克 1 汤姆·乔西亚 1 罗德卡·孔杜拉克 1 让·勒内，考托 1 达姆，麦兹 1 达萨罗，法比奥·奥雷里奥 1 尤尔根·迪克斯 1 阿里雷扎·法拉萨 1 迈克尔·费希尔 1 朱利安·弗雷森·菲格罗亚 1 塔乌菲克·加迪 1 迪迪埃·加米歇 1 戈戈拉，佩德罗·阿图罗 1 González-Moreno，迭戈 1 Dimitar P.Guelev。 1 朱利安·古铁雷斯 1 Hoang，泰国儿子 1 黄晓伟 1 马尔科·雅科瓦茨 1 姜桂飞 1 马格达莱娜·卡普扎克 1 卡罗琳娜·卡梅尼卡 1 穆斯塔法·基基奇 1 斯特凡·基弗 1 金敏基 1 帕纳吉奥蒂斯·库瓦罗斯 1 达米安·库皮耶夫斯基 1 莱姆达尼、拉希德 1 李琴 1 利迪克，伯纳德 1 刘昌娟 1 罗，程 1 马查多，维托 1 保罗·D·曼纽尔。 1 马库什，闭伊加 1 Masařík，托马什 1 何塞·梅塞盖尔·瓜伊塔 1 阿图尔滑雪 1 乌卡斯·米库尔斯基 1 安德烈·穆拉夫斯基。 1 帕维尔·G·瑙莫夫。 1 亚历山大·尼古拉耶夫。 1 米卡·奥尔森 1 西蒙娜·奥尔赞 1 乔尔·欧·瓦克宁。 1 庞、军 1 朱塞佩·佩雷利 1 劳伦特·佩鲁塞尔 1 佛罗里达州普芬德 1 朱塞佩·普里米埃罗 1 曲洪阳 1 佛朗哥·雷蒙迪 1 福图纳特·拉乔纳 1 Rosenblueth，David A。 1 格列泽戈兹·罗森贝格 1 Peter Y.A.Ryan。 1 皮埃特罗·萨拉 1 安娜·萨维卡 1 格雷姆·史密斯 1 洛雷达纳·索伦蒂诺 …还有18位作者 全部的 前5名22篇连载文章中引用 10 人工智能 6 离散应用数学 5 信息与计算 三 Aequationes数学 三 讨论数学。图论 2 理论计算机科学 2 计算的形式方面 1 信息学报 1 澳大利亚数学学会公报 1 离散数学 1 信息处理信件 1 Automatica公司 1 信息科学 1 计算机与系统科学杂志 1 计算机与运筹学 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 数学逻辑季刊（MLQ） 1 菲洛马 1 数学与人工智能年鉴 1 国际应用数学与计算机科学杂志 全部的 前5名在8个字段中引用 47 计算机科学（68至XX） 34 数学逻辑和基础（03-XX） 17 组合数学（05-XX） 13 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文