编辑配置文件(在新选项卡中打开) 雷娜·迪米特洛娃 合著者距离 作者ID: 迪米特罗娃·雷纳 发布日期: 雷娜·迪米特洛娃 已编制索引的文档: 21出版物自2000年起 2作为编辑的贡献 合著者: 23位合著者具有21联合出版物 571位联合作者 全部的 前5名合著者 0 单作者的 8 伯恩德·芬克贝纳 7 鲁帕克·马朱姆达尔 3 托法、哈泽姆 2 德米特里五世·奇斯蒂科夫。 2 马哈萨·加西米 2 霍尔格·赫尔曼斯 2 奥里·拉哈夫 2 乌富克托普库 2 塞巴斯蒂安·沃尔夫 1 塞巴斯蒂安·比沃 1 A.达尔曼。 1 戴维·戴宁格 1 迪萨巴蒂诺,S。 1 Esmaeil Zadeh Soudjani,萨代 1 Fernando,Harindra J.S。 1 费雷尔·菲奥里蒂,路易斯·玛丽亚 1 迈克尔·弗里斯 1 伊凡·加夫兰 1 马西耶·加兹达。 1 B.赫德奎斯特。 1 托马斯·海因策。 1 马塞·科瓦奇 1 穆罕默德·礼萨穆萨维 1 安德烈亚斯·波德尔斯基 1 Vinayak S.普拉布。 1 拉贝,马库斯·N。 1 赫尔穆特·塞德尔 1 扎吉克,D。 系列 3 信息学报 1 流体物理学 1 计算机科学中的逻辑方法 全部的 前5名领域 21 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 地球物理学(86-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用39中的次37文件 引用人▼ 年份▼ 马尔可夫决策过程的概率超性质。 Zbl 1517.68228号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 8 2020 反应系统中的模型检查信息流。 Zbl 1326.68182号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;马塞·科瓦奇;拉贝,马库斯·N。;赫尔穆特·塞德尔 7 2012 SMT中的近似计数和概率程序的价值估计。 Zbl 1420.68194号 德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 5 2015 城市大气中的流动、湍流和污染物扩散。 Zbl 1190.76039号 费尔南多,H.J.S。;扎吉克,D。;迪萨巴蒂诺,S。;R·迪米特洛娃。;B.赫德奎斯特。;A.达尔曼。 5 2010 信息不完全的游戏的抽象精化。 Zbl 1248.68327号 雷娜·迪米特洛娃;伯恩德·芬克贝纳 4 2008 容错分布式系统的综合。 Zbl 1262.68116号 雷娜·迪米特洛娃;伯恩德·芬克贝纳 3 2009 反例指导下的观察谓词合成。 Zbl 1374.68083号 雷娜·迪米特洛娃;伯恩德·芬克贝纳 2 2012 SMT中的近似计数和概率程序的值估计。 Zbl 1380.68117号 德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 2 2017 线性时序逻辑规范的最大可实现性的反应合成。 Zbl 1435.68193号 雷娜·迪米特洛娃;马哈萨·加西米;乌富克托普库 2 2020 为不可实现的规范综合近似实现。 Zbl 07805535号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 懒惰抽象是广播协议的决策过程吗? Zbl 1138.68445号 雷娜·迪米特洛娃;安德烈亚斯·波德尔斯基 1 2008 序列平行图上可逆有界自动机的可达性分析。 Zbl 1390.68385号 雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 1 2018 分解概率模型的符号模型检查。 Zbl 1398.68338号 戴维·戴宁格;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 1 2016 收集总随机奖励的机器人路由问题。 Zbl 1442.68237号 雷娜·迪米特洛娃;伊凡·加夫兰;鲁帕克·马朱姆达尔;Vinayak S.普拉布。;萨代赫·伊斯梅尔·扎德(Sadegh Esmaeil Zadeh)·苏贾尼(Soudjani) 1 2017 欧米伽正则语言的近似自动机。 Zbl 1437.68095号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 马尔可夫决策过程的概率超性质。 Zbl 1517.68228号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 8 2020 线性时序逻辑规范的最大可实现性的反应合成。 Zbl 1435.68193号 雷娜·迪米特洛娃;马哈萨·加西米;乌富克托普库 2 2020 为不可实现的规范综合近似实现。 兹伯利07805535 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 欧米伽正则语言的近似自动机。 Zbl 1437.68095号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 序列平行图上可逆有界自动机的可达性分析。 Zbl 1390.68385号 雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 1 2018 SMT中的近似计数和概率程序的值估计。 Zbl 1380.68117号 德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 2 2017 收集总随机奖励的机器人路由问题。 Zbl 1442.68237号 雷娜·迪米特洛娃;伊凡·加夫兰;鲁帕克·马朱姆达尔;Vinayak S.普拉布。;萨代赫·伊斯梅尔·扎德(Sadegh Esmaeil Zadeh)·苏贾尼(Soudjani) 1 2017 分解概率模型的符号模型检查。 兹比尔1398.68338 戴维·戴宁格;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 1 2016 SMT中的近似计数和概率程序的值估计。 Zbl 1420.68194号 德米特里·奇斯蒂科夫;雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 5 2015 反应系统中的模型检查信息流。 Zbl 1326.68182号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;马塞·科瓦奇;拉贝,马库斯·N。;赫尔穆特·塞德尔 7 2012 反例指导下的观察谓词合成。 Zbl 1374.68083号 雷娜·迪米特洛娃;伯恩德·芬克贝纳 2 2012 城市大气中的流动、湍流和污染物扩散。 Zbl 1190.76039号 费尔南多,H.J.S。;扎吉克,D。;迪萨巴蒂诺,S。;Dimitrova,R。;B.赫德奎斯特。;A.达尔曼。 5 2010 容错分布式系统的综合。 Zbl 1262.68116号 雷娜·迪米特洛娃;伯恩德·芬克贝纳 3 2009 不完全信息博弈的抽象精化。 Zbl 1248.68327号 雷娜·迪米特洛娃;伯恩德·芬克贝纳 4 2008 延迟抽象是广播协议的决策过程吗? Zbl 1138.68445号 雷娜·迪米特洛娃;安德烈亚斯·波德尔斯基 1 2008 所有引用出版物 前5名被引用出版物 全部的 前5名被101位作者引用 8 伯恩德·芬克贝纳 5 雷娜·迪米特洛娃 3 拜尔,克里斯特尔 3 克里斯托弗·哈恩 3 鲁帕克·马朱姆达尔 3 雅各布皮里鲍尔 3 罗宾·齐梅克 2 艾丽卡·阿尔布拉汉姆 2 埃齐奥·巴托西 2 贝拉德,贝特里奇 2 贝内迪克特·博利格 2 博尔祖·博纳克达尔普尔 2 帕特里夏·布耶 2 马蒂亚斯·福格尔 2 弗洛里安·芬克 2 托马斯·亨辛格。 2 Niklas O.Metzger。 2 马文·斯坦格 2 纳塔利·斯兹纳杰德 2 Leander Tentrup公司 1 拉尔夫·阿布德 1 弗朗西斯科·阿尔贝蒂 1 达拉·阿拉杰 1 西拉·阿罗拉 1 阿夫尼,盖伊 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 弗朗西斯科·贝拉迪内利 1 瓦夏克·贝勒 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 伯纳德·波特拉 1 罗伯特·布鲁托梅索 1 戴维德·贾科莫·卡维扎 1 塞兰、伊斯梅尔·伊尔坎 1 克里希南德·查特吉 1 德米特里五世·奇斯蒂科夫。 1 吉安弗兰科·西亚多 1 科宁,诺琳 1 玛丽亚姆·达巴奇安 1 吕克·德·雷德 1 拉多斯拉夫·迪米特洛夫 1 奥延德里拉·多贝 1 劳伦特·多恩 1 克莱门斯·杜伯斯拉夫 1 Esmaeil Zadeh Soudjani,萨代 1 安吉洛·费兰多 1 托马斯·费雷尔 1 哈达尔,弗伦克尔 1 伊凡·加夫兰 1 葛存静 1 马哈萨·加西米 1 西尔维奥·吉拉尔迪 1 阿兰·乔治蒂 1 舒巴姆·戈尔 1 奥哈德·古兹米德 1 奥尔纳·格伦伯格 1 安德拉斯·吉尔吉 1 RenéRydhof汉森 1 史蒂文·霍尔岑 1 侯萍 1 瑞典雅各布斯 1 西蒙·扬奇 1 雅克·朱利亚德 1 塞巴斯蒂安·荣格斯 1 尼古拉·科马托夫 1 奥尔纳·库普弗曼 1 彼得·兰米奇 1 金·古德斯特兰·拉森 1 Legay、Axel 1 菲利普·卢克特 1 马,菲菲 1 考希·马利克 1 瓦迪姆·马尔文 1 托德·德·米尔斯坦。 1 保罗·莫雷廷 1 摩西,约拉姆 1 德扬·尼科维奇 1 奥利维拉·达科斯塔,安娜 1 安德烈·帕塞里尼 1 诺埃米,传球 1 纪尧姆·佩蒂奥 1 安德烈·波佩斯库 1 Vinayak S.普拉布。 1 西尔维奥·兰伊斯 1 吉列尔莫罗德里格斯-纳瓦斯 1 马尔特·施莱德朱夫斯基 1 安妮·凯瑟琳·施穆克 1 罗伯托·塞巴斯蒂亚尼 1 桑吉特·阿伦库马尔·塞希亚 1 莎里吉娜,娜塔莎 1 莎莱·申瓦尔德 1 Junji Shikata 1 朱利安·西伯 1 所罗门·西克特 1 乌富克托普库 1 托法、哈泽姆 1 范登·布勒克,盖伊 1 马塞尔·瓦兹奎兹·香拉特 1 渡边优平 1 埃希塔·扎曼 1 张健 …还有1位作者 全部的 前5名10篇连载文章中引用 4 信息学报 3 人工智能 3 计算的形式方面 2 信息与计算 2 系统设计中的形式化方法 1 理论计算机科学 1 自动推理杂志 1 国际近似推理杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 36 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 概率论与随机过程(60-XX) 1 测量和集成(28-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文