编辑配置文件(在新选项卡中打开) 苏菲·平奇纳特 合著者距离 作者ID: 夹趾蛇 发布日期: 苏菲·平奇纳特;Pinchinat,S.公司。 外部链接: MGP公司 已编制索引的文档: 43出版物自1990年以来 3作为编辑的贡献 合著者: 37位合著者具有43联合出版物 739合著作者 全部的 前5名合著者 三 单作者的 13 劳拉·博泽利 11 巴斯蒂安·莫伯特 5 Legay、Axel 5 弗朗索瓦州施瓦岑特鲁伯 4 汉斯·皮特·范·迪特马什 三 特里斯坦·查里尔 三 法语,蒂姆 2 Nathalie Bertrand 2 柯特林·迪马 2 约翰·甘珀 2 埃尔文·马尔坎德 2 Jean-Baptiste Raclet女士 2 里德威格,圣菲 2 Schnoebelen,哲学博士 2 圭多·西亚维科 1 纪尧姆拍卖行 1 奥迪诺特,马克西姆 1 安德烈亚斯·鲍尔 1 迪特马尔·伯旺格 1 托马斯·博兰德 1 托马斯·布里海耶 1 谢多·塞巴斯蒂安 1 加勒坦杜埃努·塔博特 1 大卫·费尔南德斯·杜克 1 纪尧姆·费伊莱德 1 纳塔娜·菲亚尔科夫 1 詹姆斯·黑尔斯 1 芭芭拉·科迪 1 弗朗索瓦·拉鲁西尼 1 约翰·克里斯托弗(John Christopher McCabe-Dansted) 1 克里斯托夫·莫尔万 1 阿尼埃洛·穆拉诺 1 亚历山德拉·帕尔米吉亚诺 1 马克·亚历山大·雷诺兹 1 奥利维尔·塞雷 1 西尔维娅·斯特兰涅利 1 亚历山大·特雷芬科 全部的 前5名系列 4 理论计算机科学 三 信息与计算 三 离散事件动态系统 1 信息学报 1 人工智能 1 信息处理信件 1 Studia Logica公司 1 计算机程序设计科学 1 逻辑与计算杂志 1 应用非经典逻辑杂志 1 国际博弈论综述 1 ACM计算逻辑事务 1 LIPIcs–莱布尼茨国际信息学会议录 领域 41 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 14 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 系统论;控制(93至XX) 4 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用131中的次99文件 引用人▼ 年份▼ 细化模态逻辑。 Zbl 1309.68175号 劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯,哈尔斯;索菲·平奇纳特 13 2014 离散事件系统控制理论的模态规范。 Zbl 1116.93037号 纪尧姆·费伊莱德;苏菲·平奇纳特 9 2007 定时模式规范的细化和一致性。 Zbl 1234.68250号 Nathalie Bertrand;苏菲·平奇纳特;Jean-Baptiste Raclet女士 8 2009 未来事件逻辑——公理和复杂性。 Zbl 1254.03027号 汉斯·范·迪特马什;法语,蒂姆;苏菲·平奇纳特 7 2010 对策略有表达约束的并发游戏的通用构造性解决方案。 Zbl 1141.68512号 苏菲·平奇纳特 7 2007 用于控制合成的量化微积分。 Zbl 1124.68388号 里德威格,圣菲;苏菲·平奇纳特 7 2003 统一超时间逻辑和认知时间逻辑。 Zbl 1459.03019号 劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 7 2015 递归分片系统建模的无限状态系统的诊断和不透明度问题。 Zbl 1328.93166号 谢多·塞巴斯蒂安;克里斯托弗·莫万;苏菲·平奇纳特;埃尔文·马尔坎德 7 2015 计数器系统的间隙阶约束抽象的验证。 Zbl 1358.68182号 劳拉·博泽利;苏菲·平奇纳特 6 2014 基于定时组件设计的模态事件块规范。 Zbl 1264.68053号 Nathalie Bertrand;Legay、Axel;索菲·平奇纳特;让-巴蒂斯特·拉克勒 6 2012 单代理优化模式逻辑的复杂性。 Zbl 1347.03041号 劳拉·博泽利;汉斯·范·迪特马什;苏菲·平奇纳特 5 2015 基于DEL的认知规划:可判定性和复杂性。 Zbl 1493.68359号 托马斯·博兰德;特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 5 2020 统一策略的一般概念。 Zbl 1293.91030号 巴斯蒂安·莫伯特;苏菲·平奇纳特 4 2014 统一策略、理性关系和跳跃自动机。 Zbl 1319.68140号 劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 4 2015 认知协议综合的自动机技术。 Zbl 1464.68340号 纪尧姆拍卖行;巴斯蒂安·莫伯特;苏菲·平奇纳特 4 2014 反应系统模态逻辑之间的转换。 Zbl 0874.68273号 拉鲁西尼,F。;Pinchinat,S.公司。;Schnoebelen博士 三 1995 在部分观测下可判定的一类控制问题。 Zbl 1177.93059号 苏菲·平奇纳特;里德威格,圣菲 三 2005 计数器系统的间隙阶约束抽象的验证。 Zbl 1325.68141号 劳拉·博泽利;苏菲·平奇纳特 三 2012 使用不完全信息游戏的交替树自动机的空性。 兹比尔1359.68166 纳塔娜·菲亚尔科夫;索菲·平奇纳特;奥利维尔·塞雷 三 2013 正则自动树上的链一元二阶逻辑与认知规划综合。 Zbl 1418.03032号 加勒坦杜埃努·塔博特;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 2 2018 单代理优化模式逻辑的复杂性。 Zbl 1361.68107号 劳拉·博泽利;汉斯·范·迪特马什;苏菲·平奇纳特 2 2012 公告协议的符号模型检查。 Zbl 1446.68090号 特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 2 2019 统一策略的跳自动机。 Zbl 1359.68176号 巴斯蒂安·莫伯特;苏菲·平奇纳特 2 2013 信息不完全的游戏中的不透明度问题。 Zbl 1460.91046号 巴斯蒂安·莫伯特;苏菲·平奇纳特;劳拉·博泽利 2 2011 过渡系统中的相关路径:模态微积分的下降。 Zbl 1465.68173号 柯特林·迪马;巴斯蒂安·莫伯特;索菲·平奇纳特 2 2015 具有认知时间目标的动态认知逻辑博弈。 Zbl 1464.68367号 巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;苏菲·平奇纳特;弗朗索瓦·施瓦岑特鲁伯;西尔维亚·斯特拉尼埃里 2 2020 (ω)语言对*语言诊断的预后:一个拓扑观点。 Zbl 1180.93064号 安德烈亚斯·鲍尔;索菲·平奇纳特 1 2009 过渡系统中的相关路径:模态μ演算的衰落。 Zbl 1407.68287号 加泰林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 1 2018 游戏量化模式。 Zbl 1209.03031号 迪特马尔·伯旺格;苏菲·平奇纳特 1 2009 比较并发语义中的顺序进程。 Zbl 0783.03007号 Pinchinat,S.公司。 1 1992 健壮逻辑的表达性和简洁性。 Zbl 1400.68137号 John C.McCabe-Dansted。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 1 2015 我的攻击树正确吗? Zbl 1496.68054号 奥迪诺特,马克西姆;苏菲·平奇纳特;芭芭拉·科迪 1 2017 基于DEL的认知规划:可判定性和复杂性。 Zbl 1493.68359号 托马斯·博兰德;特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 5 2020 具有认知时间目标的动态认知逻辑博弈。 兹比尔1464.68367 巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;苏菲·平奇纳特;弗朗索瓦·施瓦岑特鲁伯;西尔维亚·斯特拉尼埃里 2 2020 公告协议的符号模型检查。 Zbl 1446.68090号 特里斯坦·查里尔;苏菲·平奇纳特;弗朗索瓦·施瓦森特鲁伯 2 2019 正则自动树上的链一元二阶逻辑和认知规划综合。 Zbl 1418.03032号 加勒坦杜埃努·塔博特;苏菲·平奇纳特;弗朗索瓦州施瓦岑特鲁伯 2 2018 过渡系统中的相关路径:模态微积分的下降。 Zbl 1407.68287号 加泰林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 1 2018 我的攻击树正确吗? Zbl 1496.68054号 奥迪诺特,马克西姆;苏菲·平奇纳特;芭芭拉·科迪 1 2017 统一超时间逻辑和认知时间逻辑。 Zbl 1459.03019号 劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 7 2015 递归分片系统建模的无限状态系统的诊断和不透明度问题。 Zbl 1328.93166号 谢多·塞巴斯蒂安;克里斯托夫·莫尔万;苏菲·平奇纳特;埃尔文·马尔坎德 7 2015 单代理优化模式逻辑的复杂性。 Zbl 1347.03041号 劳拉·博泽利;汉斯·范·迪特马什;苏菲·平奇纳特 5 2015 统一策略、理性关系和跳跃自动机。 兹比尔1319.68140 劳拉·博泽利;巴斯蒂安·莫伯特;苏菲·平奇纳特 4 2015 过渡系统中的相关路径:模态微积分的下降。 Zbl 1465.68173号 柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 2 2015 健壮逻辑的表达性和简洁性。 兹比尔1400.68137 约翰·丹斯特德。;法语,蒂姆;苏菲·平奇纳特;马克·雷诺兹 1 2015 细化模态逻辑。 Zbl 1309.68175号 劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 13 2014 计数器系统的间隙阶约束抽象的验证。 Zbl 1358.68182号 劳拉·博泽利;苏菲·平奇纳特 6 2014 统一策略的一般概念。 Zbl 1293.91030号 巴斯蒂安·莫伯特;苏菲·平奇纳特 4 2014 认知协议综合的自动机技术。 Zbl 1464.68340号 纪尧姆拍卖行;巴斯蒂安·莫伯特;苏菲·平奇纳特 4 2014 使用不完全信息游戏的交替树自动机的空性。 Zbl 1359.68166号 纳塔娜·菲亚尔科夫;苏菲·平奇纳特;奥利维尔·塞雷 三 2013 统一策略的跳自动机。 Zbl 1359.68176号 巴斯蒂安·莫伯特;苏菲·平奇纳特 2 2013 基于定时组件设计的模态事件块规范。 Zbl 1264.68053号 Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 6 2012 计数器系统的间隙阶约束抽象的验证。 Zbl 1325.68141号 劳拉·博泽利;索菲·平奇纳特 三 2012 单智能体精化模态逻辑的复杂性。 Zbl 1361.68107号 劳拉·博泽利;汉斯·范·迪特马什;苏菲·平奇纳特 2 2012 信息不完全的游戏中的不透明度问题。 Zbl 1460.91046号 巴斯蒂安·莫伯特;苏菲·平奇纳特;劳拉·博泽利 2 2011 未来事件逻辑——公理和复杂性。 Zbl 1254.03027号 汉斯·范·迪特马什;法语,蒂姆;苏菲·平奇纳特 7 2010 定时模式规范的细化和一致性。 Zbl 1234.68250号 Nathalie Bertrand;苏菲·平奇纳特;Jean-Baptiste Raclet女士 8 2009 (ω)语言对*语言诊断的预后:一个拓扑观点。 Zbl 1180.93064号 安德烈亚斯·鲍尔;苏菲·平奇纳特 1 2009 游戏量化模式。 Zbl 1209.03031号 迪特马尔·伯旺格;苏菲·平奇纳特 1 2009 离散事件系统控制理论的模态规范。 Zbl 1116.93037号 纪尧姆·费伊莱德;苏菲·平奇纳特 9 2007 一种对策略具有表达约束的并发博弈的通用构造性解决方案。 Zbl 1141.68512号 苏菲·平奇纳特 7 2007 在部分观测下可判定的一类控制问题。 Zbl 1177.93059号 苏菲·平奇纳特;里德威格,圣菲 三 2005 用于控制合成的量化微积分。 Zbl 1124.68388号 斯特凡·里德韦格;索菲·平奇纳特 7 2003 反应系统模态逻辑之间的转换。 Zbl 0874.68273号 拉鲁西尼,F。;Pinchinat,S.公司。;Schnoebelen,哲学博士 三 1995 比较并发语义中的顺序进程。 Zbl 0783.03007号 Pinchinat,S.公司。 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名192位作者引用 13 苏菲·平奇纳特 12 汉斯·皮特·范·迪特马什 9 Legay、Axel 7 劳拉·博泽利 6 金·古德斯特兰·拉森 5 法语,蒂姆 4 乌里·法伦贝格 4 Kuijer、Louwe Bouke 4 巴斯蒂安·莫伯特 4 弗朗索瓦州施瓦岑特鲁伯 4 斯尔巴,吉里耶 三 伯恩德·芬克贝纳 三 詹姆斯·黑尔斯 三 简·Křetínsk 三 圣菲拉福顿 三 弗朗索瓦·拉鲁西尼 三 范德霍克,威比 2 托马斯·奥戈特内斯 2 巴托斯·贝德纳西克 2 阿米尔·本·阿姆拉姆。 2 尼古拉·贝内什 2 托马斯·博兰德 2 托马斯·布里海耶 2 贝诺·凯劳德 2 克劳迪娅·卡拉佩尔 2 贝诺·德拉哈耶 2 Stéphane P.德姆里。 2 冯世光 2 劳尔·费尔瓦里 2 鲁斯塔姆·加利姆林 2 萨米尔·根奈姆 2 苏加塔·戈什 2 安德烈亚斯·赫齐格 2 沃伊切赫,詹罗加 2 季一丁 2 Juhl,Line公司 2 亚历山大·卡尔佐夫 2 巴特尔·皮特·库伊 2 马库斯·洛伊 2 阿尔贝托·莫利纳里 2 安吉洛·蒙塔纳里 2 阿尼埃洛·穆拉诺 2 朱塞佩·佩雷利 2 阿德里亚诺·佩隆 2 Rasmus Krmmer Rendsvig 2 Schnoebelen博士 2 Moshe Ya’akov瓦尔迪 2 安德烈·索夫斯基 2 尹、香 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 娜塔莎·亚历奇纳 1 埃利·阿纳斯塔西亚迪 1 卡洛斯·阿雷塞斯 1 拜尔,克里斯特尔 1 亚历山大·巴尔塔格 1 埃齐奥·巴托西 1 大卫·巴兹勒 1 David A.Basin。 1 塞巴斯蒂安·鲍尔。 1 盖亚·贝拉迪内利 1 瓦利德·贝尔基尔 1 瓦夏克·贝勒 1 贝拉德,贝特里奇 1 Nathalie Bertrand 1 迪特马尔·伯旺格 1 拉文·贝特纳 1 本杰明·比特纳 1 博迪,恰拉 1 马可·波扎诺 1 Carayol,阿诺 1 特里斯坦·查里尔 1 克里希南德·查特吉 1 亚尼克·骑士 1 亚历山德罗·西马蒂 1 科宁,诺林 1 马丁·库珀。 1 加布里埃尔·科斯塔 1 阿诺达科斯塔 1 菲利普·达伦多 1 亚历山大·戴维 1 罗文·戴维斯 1 皮耶保罗·德加诺 1 柯特林·迪马 1 克莱尔·狄克逊 1 劳伦特·多恩 1 吕迪格埃勒斯 1 范洁 1 保罗·费利 1 托马斯·费雷尔 1 纪尧姆·费伊莱德 1 威廉·扬·福克金 1 阿德里安·弗兰卡兰扎 1 盖列塔,莱特里奥 1 皮埃尔·甘蒂 1 马可·加里奥 1 马尔文·加廷格 1 Dimitar P.Guelev。 1 朱利安·古铁雷斯 1 詹斯·奥利弗·古斯菲尔德 …还有92位作者 全部的 前5名27篇连载文章中引用 10 信息与计算 7 理论计算机科学 6 人工智能 5 离散事件动态系统 4 信息学报 三 Automatica公司 三 Studia Logica公司 三 逻辑、语言与信息杂志 三 ACM计算逻辑事务 三 计算机科学中的逻辑方法 2 信息处理信件 2 哲学逻辑杂志 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 2 应用非经典逻辑杂志 2 计算系统理论 1 信息科学 1 计算机程序设计科学 1 符号计算杂志 1 自动推理杂志 1 软计算 1 美国医学会杂志 1 国际博弈论综述 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 应用逻辑杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 78 计算机科学(68至XX) 56 数学逻辑和基础(03-XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 15 系统论;控制(93至XX) 三 运筹学、数学规划(90-XX) 1 概率论与随机过程(60-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文