编辑配置文件（在新选项卡中打开） 亚历山大·韦内特 合著者距离 作者ID： 韦纳·亚历山大 发布日期： 亚历山大·韦内特 已编制索引的文档： 16出版物自2016年起 合著者： 7合著者具有13联合出版物 199位合作作者 全部的 前5名合著者 三 单作者的 13 马丁·齐默尔曼 6 丹尼尔·奈德 2 科托·N·马斯克。 2 斯文·舍韦 2 马克西米利安·施温格 2 保罗·塔布阿达 1 Leander Tentrup公司 系列 2 信息与计算 2 计算机科学中的逻辑方法 1 信息学报 1 理论计算机科学 1 系统设计中的形式化方法 领域 16 计算机科学（68至XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用41中的次26文件 引用人▼ 年份▼ 综合最佳弹性控制器。 Zbl 1528.68085号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 6 2018 可见的线性动态逻辑。 Zbl 1391.68022号 亚历山大·韦内特；马丁·齐默尔曼 6 2016 容易取胜，难掌握：有成本的平价游戏中的最佳策略。 Zbl 1401.68128号 亚历山大·韦内特；马丁·齐默尔曼 5 2017 重量均等游戏。 Zbl 1509.68105号 斯文·舍韦；亚历山大·韦内特；马丁·齐默尔曼 4 2018 从LTL到rLTL监控。通过健壮的语义改进了监控能力。 Zbl 07300848号 科托Mascle；丹尼尔·奈德；马克西米利安·施温格；保罗·塔布阿达；亚历山大·韦内特；马丁·齐默尔曼 4 2020 综合最佳弹性控制器。 兹比尔1435.68066 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 三 2020 重量均等游戏。 Zbl 1509.68104号 斯文·舍韦；亚历山大·韦内特；马丁·齐默尔曼 2 2019 容易取胜，难掌握：有成本的平价游戏中的最佳策略。 Zbl 1369.68247号 亚历山大·韦内特；马丁·齐默尔曼 2 2016 可见的线性动态逻辑。 兹比尔1400.68059 亚历山大·韦内特；马丁·齐默尔曼 2 2018 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 Zbl 1487.68159号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 2 2019 在双指数时间内，逼近即时-LTL可实现性的最佳界。 Zbl 1478.68179号 Leander Tentrup公司；亚历山大·韦内特；马丁·齐默尔曼 1 2016 数量减少和顶点排名无限游戏。 Zbl 1501.91040号 亚历山大·韦内特 1 2021 基于树自动机的VLDL可满足性和模型检查。 Zbl 1491.68114号 亚历山大·韦内特 1 2018 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 Zbl 07538307号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 1 2022 数量减少和顶点排名无限游戏。 Zbl 1524.91021号 亚历山大·韦内特 1 2018 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 Zbl 07538307号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 1 2022 数量减少和顶点排名无限游戏。 Zbl 1501.91040号 亚历山大·韦内特 1 2021 从LTL到rLTL监控。通过健壮的语义改进了监控能力。 兹比尔07300848 科托Mascle；丹尼尔·奈德；马克西米利安·施温格；保罗·塔布阿达；亚历山大·韦内特；马丁·齐默尔曼 4 2020 综合最佳弹性控制器。 Zbl 1435.68066号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 三 2020 重量均等游戏。 Zbl 1509.68104号 斯文·舍韦；亚历山大·韦内特；马丁·齐默尔曼 2 2019 鲁棒、表达和定量的线性时间逻辑：免费选择任意两个。 Zbl 1487.68159号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 2 2019 综合最佳弹性控制器。 Zbl 1528.68085号 丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 6 2018 重量均等游戏。 Zbl 1509.68105号 斯文·舍韦；亚历山大·韦内特；马丁·齐默尔曼 4 2018 可见线性动态逻辑。 Zbl 1400.68059号 亚历山大·韦内特；马丁·齐默尔曼 2 2018 基于树自动机的VLDL可满足性和模型检查。 Zbl 1491.68114号 亚历山大·韦内特 1 2018 数量减少和顶点排名无限游戏。 Zbl 1524.91021号 亚历山大·韦内特 1 2018 容易取胜，难掌握：有成本的平价游戏中的最佳策略。 Zbl 1401.68128号 亚历山大·韦内特；马丁·齐默尔曼 5 2017 可见的线性动态逻辑。 Zbl 1391.68022号 亚历山大·韦内特；马丁·齐默尔曼 6 2016 容易取胜，难掌握：有成本的平价游戏中的最佳策略。 Zbl 1369.68247号 亚历山大·韦内特；马丁·齐默尔曼 2 2016 在双指数时间内，逼近即时-LTL可实现性的最佳界。 Zbl 1478.68179号 Leander Tentrup公司；亚历山大·韦内特；马丁·齐默尔曼 1 2016 所有引用出版物 前5名被引用出版物 全部的 前5名40位作者引用 11 马丁·齐默尔曼 10 亚历山大·韦内特 5 丹尼尔·奈德 三 詹斯·奥利弗·古斯菲尔德 三 马库斯·穆勒·奥尔姆 2 克里斯蒂安·迪利茨 2 斯文·舍韦 1 劳拉·博泽利 1 维罗尼克·布鲁埃 1 亚历山德罗·西马蒂 1 科琳娜·Cîrstea 1 托马斯·科尔科姆贝特 1 董伟杰 1 艾琳娜·埃克塔米 1 纳塔娜·菲亚尔科夫 1 Pawe Gawrychowskił 1 安托万·吉拉德 1 豪特姆，昆汀 1 瑞典雅各布斯 1 康，恩苏克 1 圣菲拉福顿 1 李绍元 1 科托·N·马斯克。 1 穆洛省梅拉戈雷斯 1 阿尼埃洛·穆拉诺 1 贝内迪克特·诺德霍夫 1 皮埃尔·奥曼 1 米凯尔·兰多尔 1 萨沙·鲁宾 1 穆罕默德·萨克尔 1 塞萨尔·桑切斯 1 马克西米利安·施温格 1 保罗·塔布阿达 1 田，春 1 斯特凡诺·托内塔 1 帕特里克·托茨克 1 斯塔夫罗斯·特里帕基斯 1 莎拉·温特 1 尹、香 1 于新义 全部的 前5名8篇连载文章中引用 4 信息与计算 2 信息学报 2 Automatica公司 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 理论计算机科学 1 自动推理杂志 1 离散事件动态系统 全部的 前5名在6个字段中引用 22 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 10 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文