编辑配置文件(在新选项卡中打开) Steen背心 合著者距离 作者ID: 维斯特·斯特恩 发布日期: Steen背心 已编制索引的文档: 9出版物自2011年起 合著者: 8位合著者具有6联合出版物 276位合作作者 全部的 前5名合著者 三 单作者的 三 尼古拉斯·马基 2 帕特里夏·鲍耶 1 老板,Niklas Skamriis 1 瓦伦丁·F·戈兰科。 1 霍尔格·赫尔曼斯 1 安德烈亚斯·施密特·延森 1 简·克查尔 1 约根·维拉德森 系列 1 信息与计算 1 数学与人工智能年鉴 领域 7 计算机科学(68至XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用9中的次8文件 引用人▼ 年份▼ 具有有限记忆策略的交替时间时序逻辑。 Zbl 1464.68214号 Steen背心 5 2013 单计数器系统中模型检查分支和交替时间时序逻辑的复杂性。 Zbl 1471.68158号 Steen背心 2 2015 连续时间内的分布式合成。 Zbl 1475.68207号 霍尔格·赫尔曼斯;简·克查尔;Steen背心 1 2016 部分观测对称图对策中的纳什均衡。 Zbl 1371.91021号 帕特里夏·鲍耶;尼古拉斯·马基;Steen背心 1 2017 部分观测对称图对策中的纳什均衡。 Zbl 1371.91021号 帕特里夏·鲍耶;尼古拉斯·马基;维斯特,斯蒂恩 1 2017 连续时间的分布式合成。 Zbl 1475.68207号 霍尔格·赫尔曼斯;简·克查尔;Steen背心 1 2016 单计数器系统中模型检查分支和交替时间时序逻辑的复杂性。 Zbl 1471.68158号 Steen背心 2 2015 具有有限记忆策略的交替时间时序逻辑。 Zbl 1464.68214号 Steen背心 5 2013 所有引用出版物 前5名被引用出版物 全部的 前5名25位作者引用 2 瓦伦丁·F·戈兰科。 2 阿尼埃洛·穆拉诺 1 娜塔莎·亚历奇纳 1 帕特里夏·鲍耶 1 牛,尼尔斯 1 Stéphane P.德姆里。 1 德乌瑟,卡亚 1 劳伦·弗里堡 1 古罗夫,帝力 1 霍尔格·赫尔曼斯 1 沃伊切赫·贾姆罗加 1 简·克查尔 1 乌尔里希·库恩 1 奥尔纳·库普弗曼 1 安蒂·库西斯托 1 布赖恩·洛根 1 埃德文·伦德伯格 1 瓦迪姆·马尔文 1 尼古拉斯·马基 1 尼古拉斯·马基 1 巴斯蒂安·莫伯特 1 帕维尔·G·瑙莫夫。 1 朱塞佩·佩雷利 1 雷恩·Rönnholm 1 Steen背心 4篇连载文章中引用 三 人工智能 1 理论计算机科学 1 信息与计算 1 ACM计算逻辑事务 在4个字段中引用 7 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文