编辑配置文件(在新选项卡中打开) 马西莫·贝内雷切蒂 合著者距离 作者ID: 贝内雷切蒂·马西莫 发布日期: 马西莫·贝内雷切蒂;Benerecetti,M。 外部链接: ORCID公司 已编制索引的文档: 32出版物自1998年以来,包括1个附加arXiv预打印 1名编辑贡献 合著者: 31位合著者具有33联合出版物 380位合作作者 全部的 前5名合著者 0 单作者的 14 法比奥·莫加维罗 8 丹尼尔·德尔尔巴 5 保罗·布凯 5 马可·费拉 4 阿德里亚诺·佩隆 三 基亚拉·吉迪尼 三 福斯托·金奇利亚 三 斯特凡诺·米诺波利 三 卢西亚诺·塞拉菲尼 2 迪伦·贝利尔 2 黛拉·莫妮卡,达里奥 2 阿尼埃洛·穆拉诺 1 亚历山德罗·阿曼多 1 劳拉·博泽利 1 帕特里克·布雷齐隆 1 弗朗西丝卡·卡斯特拉尼 1 亚历山德罗·西马蒂 1 雷纳托·德古列尔莫 1 乌戈·詹蒂莱 1 恩里科Giunchilia 1 雅各布·曼托瓦尼 1 斯特凡诺·马龙 1 尼古拉·马佐卡 1 罗伯托·纳尔多 1 毛里齐奥·潘蒂 1 斯帕拉齐,卢卡 1 西蒙·塔科尼 1 路易吉·维拉迪 1 阿道夫·维拉菲奥里塔 1 瓦莱丽娅·维托里尼 1 斯特凡诺·扎诺比尼 全部的 前5名系列 5 信息与计算 2 理论计算机科学 2 ACM计算逻辑事务 1 纯逻辑与应用逻辑年鉴 1 国际智能系统杂志 1 吉泰。实验与理论人工智能杂志 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 认识论 1 计算机科学课堂讲稿 全部的 前5名领域 29 计算机科学(68至XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 数学逻辑和基础(03-XX) 5 系统论;控制(93至XX) 2 常微分方程(34-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用83中的次51文件 引用人▼ 年份▼ 通过优先级提升解决平价游戏。 Zbl 1411.68047号 马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 15 2016 模型检查多代理系统。 Zbl 0904.68159号 马西莫·贝内雷切蒂;福斯托·金奇利亚;卢西亚诺·塞拉菲尼 11 1998 子结构时序逻辑。 Zbl 1366.03182号 马西莫·贝内雷切蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 10 2013 关于子结构和游戏的推理。 Zbl 1354.03019号 马西莫·贝内雷切蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 6 2015 通过优先级提升解决平价游戏。 Zbl 1390.68332号 马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 6 2018 线性混合系统开关控制器的自动综合:安全控制。 Zbl 1294.93041号 马西莫·贝内雷塞蒂;马可·费拉;斯特凡诺·米诺波利 5 2013 对等游戏的延迟促销政策。 Zbl 1478.68144号 马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗 5 2016 奇偶博弈的分块整数算法的鲁棒指数最坏情况。 Zbl 1483.91049号 马西莫·贝内雷塞蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 4 2017 定时递归状态机:表现力和复杂性。 Zbl 1338.68070号 马西莫·贝内雷切蒂;阿德里亚诺·佩隆 三 2016 建模和使用上下文。第二届国际和跨学科会议,CONTEXT’99,意大利特伦托,1999年9月9日至11日。诉讼程序。 Zbl 0921.00034号 三 1999 带数组的线性程序的抽象精化。 Zbl 1186.68275号 亚历山德罗·阿曼多;马西莫·贝内雷切蒂;雅各布·曼托瓦尼 2 2007 对等游戏的延迟促销政策。 Zbl 1400.68119号 马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 2 2018 奇偶博弈算法的稳健最坏情况。 Zbl 1443.68067号 马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 2 2020 提炼出上下文推理。 Zbl 1013.68219号 Benerecetti,M。;布凯,P。;吉迪尼,C。 1 2000 多智能体系统中信念的形式化规范。 Zbl 0937.68113号 马西莫·贝内雷切蒂;恩里科·金西格里亚;卢西亚诺·塞拉菲尼;阿道夫·维拉菲奥里塔 1 1999 关于语境依赖的维度:偏爱、近似和视角。 Zbl 0986.68808号 马西莫·贝内雷切蒂;Bouquet,保罗;基亚拉·吉迪尼 1 2001 关于上下文依赖的维度。 兹比尔1178.68553 马西莫·贝内雷切蒂;保罗·布凯;基亚拉·吉迪尼 1 2008 Good-for-game QPTL:一种交替的hodges语义。 Zbl 07650600号 迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 1 2023 跟踪多面体边界上的可微分轨迹。 Zbl 1361.68115号 马西莫·贝内雷切蒂;马可·费拉 1 2013 线性混合系统的可达性博弈。 Zbl 1361.68116号 马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 1 2012 线性混合系统的高效精确综合。 Zbl 1457.68139号 马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 1 2011 通过准自治权求解均值对价博弈。 Zbl 1484.91004号 马西莫·贝内雷切蒂;丹尼尔·德尔巴;法比奥·莫加维罗 1 2020 Good-for-game QPTL:一种交替的hodges语义。 兹比尔07650600 迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡,达里奥;法比奥·莫加维罗 1 2023 奇偶博弈算法的稳健最坏情况。 Zbl 1443.68067号 马西莫·贝内雷切蒂;戴尔;丹尼尔·埃尔巴;法比奥·莫加韦罗 2 2020 通过准自治权求解均值对价博弈。 Zbl 1484.91004号 马西莫·贝内雷塞蒂;戴尔;丹尼尔·埃芭;法比奥·莫加维罗 1 2020 通过优先级提升解决平价游戏。 Zbl 1390.68332号 马西莫·贝内雷切蒂;戴尔;丹尼尔·埃尔巴;法比奥·莫加维罗 6 2018 对等游戏的延迟促销政策。 Zbl 1400.68119号 马西莫·贝内雷切蒂;戴尔;丹尼尔·埃尔巴;法比奥·莫加维罗 2 2018 奇偶博弈的分块整数算法的鲁棒指数最坏情况。 Zbl 1483.91049号 马西莫·贝内雷切蒂;戴尔;丹尼尔·埃尔巴;法比奥·莫加维罗 4 2017 通过优先级提升解决平价游戏。 Zbl 1411.68047号 马西莫·贝内雷切蒂;戴尔;丹尼尔·埃尔巴;法比奥·莫加维罗 15 2016 对等游戏的延迟促销政策。 Zbl 1478.68144号 马西莫·贝内雷切蒂;戴尔;丹尼尔·埃尔巴;法比奥·莫加维罗 5 2016 时间递归状态机:表达性和复杂性。 Zbl 1338.68070号 马西莫·贝内雷切蒂;阿德里亚诺·佩隆 三 2016 关于子结构和游戏的推理。 Zbl 1354.03019号 马西莫·贝内雷切蒂;法比奥·莫加韦罗;阿尼埃洛·穆拉诺 6 2015 子结构时序逻辑。 Zbl 1366.03182号 马西莫·贝内雷塞蒂;法比奥·莫加维罗;阿尼埃洛·穆拉诺 10 2013 线性混合系统开关控制器的自动综合:安全控制。 Zbl 1294.93041号 马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 5 2013 跟踪多面体边界上的可微分轨迹。 Zbl 1361.68115号 马西莫·贝内雷切蒂;马可·费拉 1 2013 线性混合系统的可达性博弈。 Zbl 1361.68116号 马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 1 2012 线性混合系统的高效精确综合。 Zbl 1457.68139号 马西莫·贝内雷切蒂;马可·费拉;斯特凡诺·米诺波利 1 2011 关于上下文依赖的维度。 Zbl 1178.68553号 马西莫·贝内雷切蒂;保罗·布凯;基亚拉·吉迪尼 1 2008 带数组的线性程序的抽象精化。 Zbl 1186.68275号 亚历山德罗·阿曼多;马西莫·贝内雷切蒂;雅各布·曼托瓦尼 2 2007 关于语境依赖的维度:偏爱、近似和视角。 Zbl 0986.68808号 马西莫·贝内雷切蒂;Bouquet,保罗;基亚拉·吉迪尼 1 2001 提炼出上下文推理。 Zbl 1013.68219号 Benerecetti,M。;布凯,P。;吉迪尼,C。 1 2000 建模和使用上下文。第二届国际和跨学科会议,CONTEXT’99,意大利特伦托,1999年9月9日至11日。诉讼程序。 兹比尔0921.00034 三 1999 多智能体系统中信念的形式化描述。 Zbl 0937.68113号 马西莫·贝内雷塞蒂;恩里科·金西格里亚;卢西亚诺·塞拉菲尼;阿道夫·维拉菲奥里塔 1 1999 模型检查多代理系统。 Zbl 0904.68159号 马西莫·贝内雷切蒂;福斯托·金奇利亚;卢西亚诺·塞拉菲尼 11 1998 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 13 马西莫·贝内雷切蒂 13 法比奥·莫加维罗 7 丹尼尔·德尔尔巴 7 阿尼埃洛·穆拉诺 三 迈克尔·德克蒂亚。 三 亚历山大·雅科夫列维奇·迪科夫斯基 三 基亚拉·吉迪尼 三 帕里斯(Pawe Parys) 三 阿德里亚诺·佩隆 三 Mars K·瓦利耶夫。 2 迪伦·贝利尔 2 保罗·布凯 2 劳拉·博泽利 2 黛拉·莫妮卡,达里奥 2 马可·费拉 2 卡罗琳娜·莱赫蒂宁 2 阿莱西奥·洛穆西奥 2 卢西亚诺·塞拉菲尼 2 汤姆·范·迪克 1 弗朗西斯科·阿尔贝蒂 1 胡布·奥德威尔德 1 娜塔莎·亚历奇纳 1 斯坦尼斯瓦·安布罗斯凯维奇 1 安娜·贝基 1 Bel Enguix,杰玛 1 贝内维特斯,马里奥·R·F·。 1 乌迪·博克 1 帕特里克·布雷齐隆 1 罗伯特·布鲁托梅索 1 莫里斯·布吕诺格 1 卡特、丽贝卡 1 彼得·科马克 1 洛伦佐·克莱门特 1 赫莱内·科拉维扎 1 卡拉·德尔加多 1 马克·德内克 1 安东尼奥·迪斯塔西奥 1 迪格努姆,F.P.M。 1 尤尔根·迪克斯 1 劳伦特·多恩 1 迈克尔·费舍尔 1 戈兰·弗雷斯 1 Dov M.加巴伊。 1 西尔维奥·吉拉尔迪 1 劳拉·佐丹奴 1 福斯托·朱奇利亚 1 大卫·格罗西 1 彼得·霍夫曼 1 吉梅内斯·洛佩斯(Jiménez-López),玛丽亚·多洛雷斯(María Dolores) 1 萨尔瓦多拉托雷 1 鲁本·拉波尔 1 布赖恩·洛根 1 路易斯·马里奥·洛佩斯 1 洛佩斯·蓬博,卡洛斯·古斯塔沃 1 阿尔贝托·马特利 1 伊娃·玛丽亚·纳瓦罗·洛佩斯 1 Nguyen、Hoang Nga 1 罗尔夫·托马斯·诺瑟姆 1 乔治·帕帕斯。 1 劳伦特·帕斯基尔 1 沃伊切赫·彭泽克 1 朱塞佩·佩雷利 1 安德烈·普拉泽 1 波梅洛尔、珍妮·查尔斯 1 文森佐·普里格纳诺 1 佛朗哥·雷蒙迪 1 阿卜杜勒·拉基布 1 西尔维奥·兰伊斯 1 鲍勃·鲁本斯 1 米歇尔·鲁赫 1 莉塞特·桑切斯 1 丹尼斯·萨维利耶夫一世。 1 斯文·舍韦 1 卡米拉·施温德。 1 伊利亚·夏皮罗夫斯基。 1 娜塔莎·莎莉吉娜 1 洛雷达纳·索伦蒂诺 1 帕特里克·托茨克 1 帕斯卡·范·亨特利克 1 莫西·亚亚科夫·瓦尔迪 1 哈维尔·Vázquez-Salceda 1 克里斯托弗·沃尔顿。 1 威格·威瑟林克 1 亚历山大·威切克 1 Tim A.C.Willemse。 1 多米尼克·沃伊特扎克 1 约翰·伍兹 1 扎法内拉,埃纳 全部的 前5名18篇连载文章中引用 8 信息与计算 三 人工智能 三 理论计算机科学 三 ACM计算逻辑事务 三 应用逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 系统设计中的形式化方法 2 数学与人工智能年鉴 2 计算机科学中的逻辑方法 1 哲学逻辑杂志 1 编程和计算机软件 1 Studia Logica公司 1 合成 1 吉泰。实验与理论人工智能杂志 1 欧洲运筹学杂志 1 计算与数学组织理论 1 约束条件 1 自然计算 在5个字段中引用 47 计算机科学(68至XX) 17 博弈论、经济学、金融和其他社会和行为科学(91-XX) 13 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 1 凸和离散几何(52-XX) 按年份列出的引文