编辑配置文件(在新选项卡中打开) 安德烈亚·图里尼 合著者距离 作者ID: 图里尼·安德里亚 发布日期: 安德烈亚·图里尼 已编制索引的文档: 27出版物自2009年起 合著者: 33位合著者具有27份联合出版物 1087合著作者 全部的 前5名合著者 0 单作者的 13 张丽君 12 霍尔格·赫尔曼斯 8 恩斯特·莫里茨·哈恩 7 李勇 6 瓦希德·哈希米 4 斯文·舍韦 三 克里斯蒂安·艾森特罗 三 莫西·亚亚科夫·瓦尔迪 2 冯伟志 2 约翰·克里斯托夫·舒斯特 2 罗伯托·塞加拉 2 孙雪超 1 克里斯特尔·布劳恩 1 陈玉芳 1 Elbassioni,Khaled M。 1 冯、袁 1 费雷尔·菲奥里蒂,路易斯·玛丽亚 1 Daniel E.Gebler。 1 沃伊特·哈夫勒纳 1 朱莉娅·克雷默 1 西蒙·克莱默 1 莫特萨·拉希贾尼安 1 Ondřej Lengál 1 李广元 1 李、谢 1 李毅 1 刘婉薇 1 卡图西亚帕拉米德斯 1 宋磊 1 克里希纳·苏布拉马尼 1 Tsay,Yih-Kuen先生 1 Wojciechowski,Piotr J。 1 应胜刚 系列 三 信息与计算 1 理论计算机科学 1 计算的形式方面 1 应用非经典逻辑杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 27 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用73中的次49文件 引用人▼ 年份▼ 没有确定的惰性概率模型检查。 Zbl 1374.68290号 恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君 13 2015 概率自动机的多项式时间决策算法。 Zbl 1329.68168号 安德烈亚·图里尼;霍尔格·赫尔曼斯 9 2015 确定分布的相似性。 Zbl 1398.68364号 克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;朱莉娅·克雷默;安德烈亚·图里尼;张丽君 7 2013 为概率自动机寻求最小商。 Zbl 1381.68115号 克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君 7 2013 多项式时间内概率自动机弱互模拟的判定。 Zbl 1354.68157号 霍尔格·赫尔曼斯;安德烈亚·图里尼 5 2012 区间Markov决策过程的多目标鲁棒策略综合。 Zbl 1421.90160号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;莫特萨·拉希贾尼安;安德烈亚·图里尼 4 2017 概率自动机的保成本互模拟。 Zbl 1390.68473号 霍尔格·赫尔曼斯;安德烈亚·图里尼 三 2013 Büchi自动机的同余关系。 兹比尔1521.68074 李勇;Tsay,Yih-Kuen先生;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 三 2021 模型检查\(\omega \)-量子马尔可夫链的正则属性。 Zbl 1442.68106号 冯、袁;恩斯特·莫里茨·哈恩;安德烈亚·图里尼;应胜刚 三 2017 判定概率自动机弱互模拟:理论与实践。 Zbl 1335.68117号 费雷尔·菲奥里蒂,路易斯·玛丽亚;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 2 2016 区间马尔可夫决策过程的组合互模拟最小化。 Zbl 1435.68197号 瓦希德·哈希米;霍尔格·赫尔曼斯;宋磊;苏布拉马尼,K。;安德烈亚·图里尼;彼得·沃伊切乔夫斯基 2 2016 求解定性概率奇偶博弈的简单算法。 Zbl 1411.68068号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 2 2016 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 Zbl 1186.68325号 西蒙·克莱默;卡图西亚帕拉米德斯;罗伯托·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩 2 2009 开发区间概率互模拟的鲁棒优化。 Zbl 1377.68132号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 2 2016 基于SCC分解的Büchi自动机分治判定。 Zbl 1514.68108号 李勇;安德烈亚·图里尼;冯伟志;莫舍·瓦尔迪。;张丽君 2 2022 区间MDP的多项式时间交替概率互模拟。 Zbl 1498.68187号 瓦希德·哈希米;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;哈立德·埃尔巴西尼 2 2017 一种针对线性时间特性的参数马尔可夫链的有效综合算法。 Zbl 1393.68107号 李勇;刘婉薇;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;张丽君 1 2016 综合策略改进和递归算法求解2.5人平价游戏。 Zbl 1484.68141号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 1 2017 计算概率并发系统的行为关系。 Zbl 1426.68183号 丹尼尔·格布勒;瓦希德·哈希米;安德烈亚·图里尼 1 2014 概率自动机的保成本互模拟。 Zbl 1448.68353号 安德烈亚·图里尼;霍尔格·赫尔曼斯 1 2014 字符串约束求解中case-split规则的符号算法。 Zbl 1476.68312号 陈玉芳;沃伊特·哈夫勒纳;Ondřej Lengál;安德烈亚·图里尼 1 2020 基于SCC分解的Büchi自动机分治判定。 Zbl 1514.68108号 李勇;安德烈亚·图里尼;冯伟志;莫舍·瓦尔迪。;张丽君 2 2022 Büchi自动机的同余关系。 兹比尔1521.68074 李勇;Tsay,Yih-Kuen先生;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 三 2021 字符串约束求解中case-split规则的符号算法。 Zbl 1476.68312号 陈玉芳;沃伊特·哈夫勒纳;Ondřej Lengál;安德烈亚·图里尼 1 2020 区间Markov决策过程的多目标鲁棒策略综合。 Zbl 1421.90160号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;莫特萨·拉希贾尼安;安德烈亚·图里尼 4 2017 模型检查\(\omega \)-量子马尔可夫链的正则属性。 Zbl 1442.68106号 冯、袁;恩斯特·莫里茨·哈恩;安德烈亚·图里尼;应胜刚 三 2017 区间MDP的多项式时间交替概率互模拟。 Zbl 1498.68187号 瓦希德·哈希米;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;哈立德·埃尔巴西尼 2 2017 综合策略改进和递归算法求解2.5人平价游戏。 Zbl 1484.68141号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 1 2017 判定概率自动机弱互模拟:理论与实践。 Zbl 1335.68117号 费雷尔·菲奥里蒂,路易斯·玛丽亚;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 2 2016 区间马尔可夫决策过程的组合互模拟最小化。 Zbl 1435.68197号 瓦希德·哈希米;霍尔格·赫尔曼斯;宋磊;苏布拉马尼,K。;安德烈亚·图里尼;彼得·沃伊切乔夫斯基 2 2016 求解定性概率奇偶博弈的简单算法。 Zbl 1411.68068号 恩斯特·莫里茨·哈恩;斯文·舍韦;安德烈亚·图里尼;张丽君 2 2016 开发区间概率互模拟的鲁棒优化。 Zbl 1377.68132号 恩斯特·莫里茨·哈恩;瓦希德·哈希米;霍尔格·赫尔曼斯;安德烈亚·图里尼 2 2016 一种针对线性时间特性的参数马尔可夫链的有效综合算法。 Zbl 1393.68107号 李勇;刘婉薇;安德烈亚·图里尼;恩斯特·莫里茨·哈恩;张丽君 1 2016 没有确定的惰性概率模型检查。 Zbl 1374.68290号 恩斯特·莫里茨·哈恩;李广元;斯文·舍韦;安德烈亚·图里尼;张丽君 13 2015 概率自动机的多项式时间决策算法。 Zbl 1329.68168号 安德烈亚·图里尼;霍尔格·赫尔曼斯 9 2015 计算概率并发系统的行为关系。 Zbl 1426.68183号 丹尼尔·格布勒;瓦希德·哈希米;安德烈亚·图里尼 1 2014 概率自动机的保成本互模拟。 Zbl 1448.68353号 安德烈亚·图里尼;霍尔格·赫尔曼斯 1 2014 确定分布的相似性。 Zbl 1398.68364号 克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;朱莉娅·克雷默;安德烈亚·图里尼;张丽君 7 2013 为概率自动机寻求最小商。 Zbl 1381.68115号 克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君 7 2013 概率自动机的保成本互模拟。 Zbl 1390.68473号 霍尔格·赫尔曼斯;安德烈亚·图里尼 三 2013 多项式时间内概率自动机弱互模拟的判定。 Zbl 1354.68157号 霍尔格·赫尔曼斯;安德烈亚·图里尼 5 2012 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 Zbl 1186.68325号 西蒙·克莱默;卡图西亚帕拉米德斯;罗伯托·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩 2 2009 所有引用出版物 前5名被引用出版物 全部的 前5名112位作者引用 7 安德烈亚·图里尼 7 张丽君 5 霍尔格·赫尔曼斯 5 斯文·舍韦 4 恩斯特·莫里茨·哈恩 4 李勇 4 莫西·亚亚科夫·瓦尔迪 三 拜尔,克里斯特尔 三 邓玉欣 三 克里斯蒂安·艾森特罗 三 大卫·詹森(David N.Jansen)。 三 米勒(David I。 三 马特奥·佩雷斯 三 法比奥·萨蒙齐 三 阿舒托什·特里维迪 三 多米尼克·沃伊特扎克 三 徐明 2 弗兰蒂舍克·布拉胡德克 2 冯伟志 2 傅建玲 2 Daniel E.Gebler。 2 Jens Chr.Godskesen。 2 Jan Friso,格鲁特 2 瓦希德·哈希米 2 西蒙·扬奇 2 约阿希姆·克莱因 2 梅静怡 2 约翰·克里斯托夫·舒斯特 2 宋磊 2 杨鹏飞 1 亚历山德罗·阿巴特 1 阿达梅克,吉安尼 1 Darryl K.Ahner。 1 Badings,Thom S。 1 菲利波·邦奇 1 曹永志 1 卢卡·卡德利 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 陈伟恩 1 陈一香 1 陈玉芳 1 乔利亚特,大卫 1 达塔,普拉提语 1 埃里克·P·德文克。 1 克里斯蒂安·德内特 1 基韦利多佛里 1 杜文杰 1 亚历山大·杜雷特·卢茨 1 拉塔·杜塔 1 冯、袁 1 费雷尔·菲奥里蒂,路易斯·玛丽亚 1 尼克·菲舍尔 1 塞斯·福格蒂。 1 埃里克·弗雷(Eric W.Frew)。 1 伏玉溪 1 皮埃尔·甘蒂 1 休伯特·加拉维 1 拉杜·格罗苏 1 阿恩·哈特曼斯 1 沃伊特·哈夫勒纳 1 何康利 1 卢卡什·霍利克 1 黄成超 1 尼尔斯·詹森 1 托拜厄斯·约翰 1 马克·乔伊 1 塞巴斯蒂安·荣格斯 1 Joost-Pieter卡托恩 1 安德鲁·基思。 1 迪利普·拉古纳特·基尼 1 克吕佩尔霍尔茨,萨沙 1 莫特萨·拉希贾尼安 1 弗雷德里克·朗 1 金·古德斯特兰·拉森 1 卢卡·劳伦蒂 1 Ondřej Lengál 1 赫梅内吉尔达·马西·索勒 1 尼古拉斯·马佐奇 1 斯特凡·米利厄斯 1 劳伦斯·莫斯。 1 苏拉夫·穆霍帕德海伊 1 哈桑·普纳瓦拉(Hasan A.Poonawala)。 1 秦旭东 1 蒂姆·夸特曼 1 里奥·里维拉·威尔杜斯科 1 利西奥·罗芒 1 Arpit Sharma公司 1 尤拉吉·西奇 1 所罗门·西克特 1 马库斯·西格尔 1 亚历山德拉·席尔瓦 1 安娜·索科洛娃 1 玛丽·斯托琳加 1 斯特雷切克,简 1 伊戈尔·瓦勒维奇·塔拉修克 1 Timmers,渡轮 1 西蒙·蒂尼 1 特里巴斯通,米尔科 1 Tsay,Yih-Kuen先生 1 马克斯·柴科夫斯基 …还有12位作者 全部的 前5名15篇连载文章中引用 5 信息与计算 4 理论计算机科学 2 信息学报 1 信息处理信函 1 信息科学 1 自动推理杂志 1 计算的形式方面 1 运筹学年鉴 1 系统设计中的形式化方法 1 人工智能研究杂志 1 工程中的数学问题 1 软计算 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 算法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 43 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 5 运筹学、数学规划(90-XX) 三 概率论与随机过程(60-XX) 三 信息与通信理论、电路(94-XX) 2 量子理论(81-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 系统论;控制(93至XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文