编辑配置文件(在新选项卡中打开) 托法、哈泽姆 合著者距离 作者ID: 托特纳姆 发布日期: 托法、哈泽姆 已编制索引的文档: 11出版物自2014年起 合著者: 7合著者具有11联合出版物 238位合作作者 全部的 前5名合著者 0 单作者的 8 伯恩德·芬克贝纳 三 雷娜·迪米特洛娃 2 马丁·齐默尔曼 1 鲍迈斯特,汤姆 1 克里斯托弗·哈恩 1 塞巴斯蒂安·荣格斯 1 桑吉特·阿伦库马尔·塞希亚 系列 1 信息学报 领域 11 计算机科学(68至XX) 6 数理逻辑与基础(03-XX) 2 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用29中的次24文件 引用人▼ 年份▼ 模型检查定量超属性。 Zbl 1511.68154号 伯恩德·芬克贝纳;克里斯托弗·哈恩;托法、哈泽姆 9 2018 马尔可夫决策过程的概率超性质。 Zbl 1517.68228号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 8 2020 线性时间逻辑的计数模型。 Zbl 1407.68288号 伯恩德·芬克贝纳;托法、哈泽姆 2 2014 线性时间时序逻辑计数模型的复杂性。 Zbl 1360.68603号 托法、哈泽姆;马丁·齐默尔曼 2 2014 可解释的反应合成。 Zbl 1517.68223号 鲍迈斯特,汤姆;伯恩德·芬克贝纳;托法、哈泽姆 2 2020 为不可实现的规范综合近似实现。 Zbl 07805535号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 Markov决策过程的运行时监控器。 兹比尔1493.68214 塞巴斯蒂安·荣格斯;托法、哈泽姆;Sanjit A.Seshia。 1 2021 欧米伽正则语言的近似自动机。 Zbl 1437.68095号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 反应系统的合成骨架。 Zbl 1398.68342号 伯恩德·芬克贝纳;托法、哈泽姆 1 2016 线性时间时序逻辑计数模型的复杂性。 Zbl 1390.68441号 托法、哈泽姆;马丁·齐默尔曼 1 2018 线性时间属性的密度。 Zbl 1495.68133号 伯恩德·芬克贝纳;托法、哈泽姆 1 2017 Markov决策过程的运行时监控器。 Zbl 1493.68214号 塞巴斯蒂安·荣格斯;托法、哈泽姆;Sanjit A.Seshia。 1 2021 马尔可夫决策过程的概率超性质。 Zbl 1517.68228号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 8 2020 可解释的反应合成。 Zbl 1517.68223号 鲍迈斯特,汤姆;伯恩德·芬克贝纳;托法、哈泽姆 2 2020 为不可实现的规范综合近似实现。 Zbl 07805535号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 欧米伽正则语言的近似自动机。 Zbl 1437.68095号 雷娜·迪米特洛娃;伯恩德·芬克贝纳;托法、哈泽姆 1 2019 模型检查定量超属性。 Zbl 1511.68154号 伯恩德·芬克贝纳;克里斯托弗·哈恩;托法、哈泽姆 9 2018 线性时间时序逻辑计数模型的复杂性。 Zbl 1390.68441号 托法、哈泽姆;马丁·齐默尔曼 1 2018 线性时间属性的密度。 Zbl 1495.68133号 伯恩德·芬克贝纳;托法、哈泽姆 1 2017 反应系统的合成骨架。 Zbl 1398.68342号 伯恩德·芬克贝纳;托法、哈泽姆 1 2016 线性时间-时间逻辑的计数模型。 Zbl 1407.68288号 伯恩德·芬克贝纳;托法、哈泽姆 2 2014 线性时间时序逻辑计数模型的复杂性。 Zbl 1360.68603号 托法、哈泽姆;马丁·齐默尔曼 2 2014 所有引用的出版物 前5名被引用出版物 全部的 前5名63位作者引用 7 伯恩德·芬克贝纳 4 博尔祖·博纳克达尔普尔 4 克里斯托弗·哈恩 三 克里斯特尔·拜尔 三 科宁,诺琳 三 雅各布皮里鲍尔 三 罗宾·齐梅克 2 艾丽卡·阿尔布拉汉姆 2 哈达尔·弗兰克尔 2 弗洛里安·芬克 2 奥尔纳·库普弗曼 2 Niklas O.Metzger。 2 朱利安·西伯 2 所罗门·西克特 2 托法、哈泽姆 2 马丁·齐默尔曼 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 埃利·阿纳斯塔西亚迪 1 西拉·阿罗拉 1 苏古曼·班萨尔 1 埃齐奥·巴托西 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 克里希南德·查特吉 1 吉安弗兰科·西亚多 1 雷蒙·达赫塞特 1 雷娜·迪米特洛娃 1 奥延德里拉·多贝 1 克莱门斯·杜伯斯拉夫 1 阿德里安·弗兰卡兰扎 1 汉森、雷内·里多夫 1 何希明 1 贾娜·霍夫曼 1 汤姆·霍拉克 1 徐子涵 1 Ingólfsdóttir,安娜 1 西蒙·詹奇 1 蒂莫西·琼斯。 1 金·古德斯特兰·拉森 1 尼尔·拉维 1 Legay、Axel 1 卡罗琳娜·莱赫蒂宁 1 李国强 1 马库斯·洛伊 1 菲利普·卢克特 1 鲁帕克·马朱姆达尔 1 科托·N·马斯克。 1 托马斯·摩尔 1 丹尼尔·奈德 1 马蒂亚斯·拉加德·佩德森 1 塞萨尔·桑切斯 1 扬尼克·希洛 1 曼弗雷德·施密特·沙乌 1 安妮·凯瑟琳·施穆克 1 马克西米利安·施温格 1 马文·斯滕格 1 保罗·塔布阿达 1 陶秀婷 1 Leander Tentrup公司 1 莫西·亚亚科夫·瓦尔迪 1 亚历山大·韦内特 1 埃希塔·扎曼 1 周若瑜 全部的 前5名6篇连载文章中引用 2 信息学报 2 信息与计算 1 离散事件动态系统 1 系统设计中的形式化方法 1 计算系统理论 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 24 计算机科学(68至XX) 11 数理逻辑与基础(03-XX) 4 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文