编辑配置文件(在新选项卡中打开) 纱线维纳 合著者距离 作者ID: 天鹅绒 发布日期: 纱线维纳;Y.Velner。 已编制索引的文档: 19出版物自2011年起 合著者: 20位合著者具有15联合出版物 655位合作作者 全部的 前5名合著者 4 单作者的 9 克里希南德·查特吉 三 亚历山大·拉比诺维奇 2 沙乌尔·阿尔马戈 2 伊利亚州德克雷森佐 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 奥尔纳库普弗曼 2 萨尔瓦多拉托雷 1 卡列夫·阿尔佩纳斯 1 劳伦特·多恩 1 阿米尔·卡夫什达尔·戈哈沙迪 1 拉斯穆斯·易卜森·延森 1 戈哈沙迪·阿米尔·卡夫什达尔 1 奥托普,简 1 熊猫,Aurojit 1 安德烈亚斯·帕夫罗甘尼斯 1 Jean-François拉斯金 1 詹·奥利弗·林格特 1 穆利·萨吉夫 1 斯科特·J·申克。 1 沙龙·肖姆 系列 三 信息与计算 1 计算机与系统科学杂志 1 系统设计中的形式化方法 1 美国医学会杂志 全部的 前5名领域 17 计算机科学(68至XX) 15 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 1 数论(11-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用101中的次75文件 引用人▼ 年份▼ 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 噪声输入的Church合成问题。 Zbl 1326.68189号 纱线维纳;亚历山大·拉比诺维奇 11 2011 智能合约的定量分析。 兹比尔1418.68024 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;纱线维纳 10 2018 多维mean-payoff游戏的超平面分离技术。 Zbl 1371.68106号 克里希南德·查特吉;纱线维纳 7 2013 意味着回报推下游戏。 Zbl 1361.68137号 克里希南德·查特吉;纱线维纳 6 2012 定量程序间分析。 Zbl 1345.68098号 克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;纱线维纳 5 2015 均值-距离自动机表达式的复杂性。 Zbl 1367.68178号 纱线维纳 4 2012 多维mean-payoff游戏的超平面分离技术。 Zbl 1371.68107号 克里希南德·查特吉;纱线维纳 4 2017 状态网络验证的一些复杂性结果。 兹比尔1425.68248 卡列夫·阿尔佩纳斯;熊猫,Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;纱线维纳 4 2019 定量假设保证合成。 Zbl 1494.68156号 沙乌尔·阿尔马戈;奥尔纳库普弗曼;詹·奥利弗·林格特;纱线维纳 4 2017 稳健的多维平均对赌游戏是不可判定的。 Zbl 1391.03032号 纱线维纳 三 2015 在硬布尔约束下最小化预期成本,并应用于定量合成。 Zbl 1392.68225号 沙乌尔·阿尔马戈;奥尔纳库普弗曼;纱线维纳 三 2016 mean-payoff pushdown游戏的复杂性。 Zbl 1426.68163号 克里希南德·查特吉;纱线维纳 三 2017 定量公平模拟游戏。 兹比尔1370.68165 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简;纱线维纳 三 2017 稳健多维平均值目标的有限记忆策略综合。 Zbl 1401.91035号 纱线维纳 1 2014 直观的下推模块化游戏。 Zbl 1362.68166号 德克雷森佐,I。;拉托雷,S。;Y.Velner。 1 2017 用于分析密码攻击的遍历平均值游戏。 Zbl 1520.94045号 克里希南德·查特吉;戈哈沙迪·阿米尔·卡夫什达尔;拉斯穆斯·易卜森·延森;纱线维纳 1 2018 状态网络验证的一些复杂性结果。 兹比尔1425.68248 卡列夫·阿尔佩纳斯;熊猫,Aurojit;亚历山大·拉比诺维奇;穆利·萨吉夫;斯科特·申克;沙龙·肖姆;纱线维纳 4 2019 智能合约的定量分析。 兹比尔1418.68024 克里希南德·查特吉;阿米尔·卡夫什达尔·戈哈沙迪;纱线维纳 10 2018 用于分析密码攻击的遍历平均值游戏。 Zbl 1520.94045号 克里希南德·查特吉;戈哈沙迪·阿米尔·卡夫什达尔;拉斯穆斯·易卜森·延森;纱线维纳 1 2018 多维mean-payoff游戏的超平面分离技术。 Zbl 1371.68107号 克里希南德·查特吉;纱线维纳 4 2017 定量假设保证合成。 Zbl 1494.68156号 沙乌尔·阿尔马戈;奥尔纳库普弗曼;詹·奥利弗·林格特;纱线维纳 4 2017 mean-payoff pushdown游戏的复杂性。 Zbl 1426.68163号 克里希南德·查特吉;纱线维纳 三 2017 定量公平模拟游戏。 兹比尔1370.68165 克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简;纱线维纳 三 2017 直观的下推模块化游戏。 Zbl 1362.68166号 德克雷森佐,I。;拉托雷,S。;Y.Velner。 1 2017 在硬布尔约束下最小化预期成本,并应用于定量合成。 Zbl 1392.68225号 沙乌尔·阿尔马戈;奥尔纳库普弗曼;纱线维纳 三 2016 多均值和多能量游戏的复杂性。 Zbl 1309.68082号 纱线维纳;克里希南德·查特吉;劳伦特·多恩;托马斯·亨辛格(Thomas A.Henzinger)。;亚历山大·拉比诺维奇;Jean-François拉斯金 31 2015 定量程序间分析。 Zbl 1345.68098号 克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;纱线维纳 5 2015 稳健的多维平均对赌游戏是不可判定的。 Zbl 1391.03032号 纱线维纳 三 2015 稳健多维平均值目标的有限记忆策略综合。 Zbl 1401.91035号 纱线维纳 1 2014 多维mean-payoff游戏的超平面分离技术。 Zbl 1371.68106号 克里希南德·查特吉;纱线维纳 7 2013 意味着回报推下游戏。 Zbl 1361.68137号 克里希南德·查特吉;纱线维纳 6 2012 均值-距离自动机表达式的复杂性。 Zbl 1367.68178号 纱线维纳 4 2012 噪声输入的Church合成问题。 Zbl 1326.68189号 纱线维纳;亚历山大·拉比诺维奇 11 2011 所有引用出版物 前5名被引用出版物 全部的 前5名137位作者引用 16 克里希南德·查特吉 10 米凯尔·兰多尔 9 托马斯·亨辛格(Thomas A.Henzinger)。 9 Jean-François拉斯金 8 帕特里夏·鲍耶 6 尼古拉斯·马基 6 纱线维纳 5 奥尔纳库普弗曼 4 阿夫尼,盖伊 4 朱利安·古铁雷斯 4 奥托普,简 4 迈克尔·J·伍尔德里奇。 三 乌迪·博克 三 维罗尼克·布鲁埃 三 劳伦特·多恩 三 乌里·法伦贝格 三 圣埃芬·勒鲁 三 朱塞佩·佩雷利 三 托马斯·斯蒂普尔斯 2 米拉德·阿加乔哈里 2 贝拉德,贝特里奇 2 贝内迪克特·博利格 2 艾曼纽·菲利奥特 2 马蒂亚斯·福格尔 2 昆廷豪特 2 洛依茨海露 2 拉斯穆斯·易卜森·延森 2 简·Křetínsk 2 拉森,金·古尔德斯特朗 2 西蒙·劳尔森 2 Legay、Axel 2 穆拉诺,阿尼洛 2 尤索夫·乌阿尔哈德 2 阿诺·保利。 2 安德烈亚斯·帕夫罗甘尼斯 2 亚历山大·拉比诺维奇 2 里塔姆·拉哈 2 纳塔利·斯兹纳杰德 2 帕特里克·托茨克 2 皮埃尔·范登霍夫 2 加尔瓦尔迪 2 亚历山大·韦内特 2 多米尼克·沃伊特扎克 2 马丁·齐默尔曼 1 沙乌尔·阿尔马戈 1 卡列夫·阿尔佩纳斯 1 加尔阿姆拉姆 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 苏古曼·班萨尔 1 尼古拉斯·巴塞特 1 布洛克,罗德里克 1 艾哈迈德·博阿贾尼 1 托马斯·布拉兹迪尔 1 罗曼·布伦吉尔 1 莱昂纳德·布里斯 1 克里斯蒂安·卡鲁德。 1 托马斯·科尔科姆贝特 1 维伦达·戴夫 1 伊利亚州德克雷森佐 1 赛义德·杜斯塔利 1 斯文·齐亚德克 1 朱莉娅·艾森特罗 1 佐尔坦·埃西克 1 纳塔娜·菲亚尔科夫 1 Pawe Gawrychowskił 1 吉勒·杰勒茨 1 阿米尔·卡夫什达尔·戈哈沙迪 1 什巴希斯·古哈 1 赫费兹,盖伊 1 Dariush Heidari 1 彼得·霍夫曼 1 斯蒂芬·霍尔泽 1 桑杰·贾恩 1 季一丁 1 芭芭拉·乔布斯特曼 1 马尔钦·尤尔季安斯基 1 戈哈沙迪·阿米尔·卡夫什达尔 1 弗兰克·坎默 1 Bakhadyr M.库萨诺夫。 1 凯瑟琳·克里欧巴 1 亚历山大·科勒 1 科瓦拉(Szymon Kowara) 1 萨里特·克劳斯 1 桑卡拉·纳拉亚南·克里希纳 1 安东尼·库塞拉 1 Marta Z.Kwiatkowska。 1 萨尔瓦多拉托雷 1 圣菲拉福顿 1 兰科·拉齐奇 1 李伟 1 沙哈尔·茂兹 1 巴斯蒂安·莫伯特 1 理查德·梅尔(Richard M.Mayr)。 1 尤卡斯·马祖雷克 1 尼古拉斯·马佐奇 1 约翰内斯·梅恩特鲁普 1 贾库布·米查利辛 1 毗湿奴·穆拉利 1 穆罕默德·纳吉布 1 库马尔·纳拉扬。 …还有37位作者 全部的 前5名16篇连载文章中引用 10 信息与计算 5 计算机科学中的逻辑方法 三 信息学报 三 计算机与系统科学杂志 2 系统设计中的形式化方法 2 ACM计算逻辑事务 1 人工智能 1 Automatica公司 1 SIAM计算机杂志 1 理论计算机科学 1 算法学 1 计算的形式方面 1 实时系统 1 离散事件动态系统 1 软计算 1 游戏 全部的 前5名在9个字段中引用 66 计算机科学(68至XX) 34 博弈论、经济学、金融和其他社会和行为科学(91-XX) 12 数学逻辑和基础(03-XX) 5 组合数学(05-XX) 5 运筹学、数学规划(90-XX) 2 系统论;控制(93至XX) 2 信息与通信理论、电路(94-XX) 1 有序,格,有序代数结构(06-XX) 1 群论与推广(20-XX) 按年份列出的引文