×
编辑配置文件（在新选项卡中打开）

丹尼尔·迪特施

合著者距离
作者ID： 迪士奇犬“Dietsch，Daniel”最近发表的zbMATH文章
发布日期： 丹尼尔·迪特施
已编制索引的文档： 7出版物自2015年起
合著者： 16位合著者具有7联合出版物
299合著作者
全部的 前5名

合著者

0 单作者的
5 马蒂亚斯·海兹曼
5 安德烈亚斯·波德尔斯基
2 Jochen Hoenicke公司
2 亚历山大·纳茨
1 马吕斯·格雷萨克斯
1 多米尼克·克伦普
1 埃里克·科斯金
1 文森特·兰根菲尔德
1 Le，Ton Chanh先生
1 刘远东赛勒斯
1 迈赫迪·瑙阿尔
1 庞成斌
1 乔治·波托卡利迪斯
1 罗滕贝格，Bat Chen
1 克劳斯·施瓦兹勒
1 徐军

系列

领域

7 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

4出版物有被引用14中的次14文件 引用人▼ 年份▼
公平模理论：LTL软件模型检查的新方法。 兹比尔1381.68157
丹尼尔·迪特施;马蒂亚斯·海兹曼;文森特·兰根菲尔德;安德烈亚斯·波德尔斯基
5
2015
Ultimate TreeAutomizer（CHC-COMP工具描述）。 Zbl 1483.68243号
丹尼尔·迪特施;马蒂亚斯·海兹曼;Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基
5
2019
使用跟踪抽象进行增量验证。 兹比尔1511.68168
罗滕贝格，Bat Chen;丹尼尔·迪特施;马蒂亚斯·海兹曼
3
2018
反例中的循环不变量。 Zbl 1420.68128号
马吕斯·格雷萨克斯;丹尼尔·迪特施;安德烈亚斯·波德尔斯基
1
2017
Ultimate TreeAutomizer（CHC-COMP工具描述）。 Zbl 1483.68243号
丹尼尔·迪特施;马蒂亚斯·海兹曼;Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基
5
2019
使用跟踪抽象进行增量验证。 Zbl 1511.68168号
罗滕贝格，Bat Chen;丹尼尔·迪特施;马蒂亚斯·海兹曼
3
2018
反例中的循环不变量。 Zbl 1420.68128号
马吕斯·格雷萨克斯;丹尼尔·迪特施;安德烈亚斯·波德尔斯基
1
2017
公平模理论：LTL软件模型检查的新方法。 Zbl 1381.68157号
丹尼尔·迪特施;马蒂亚斯·海兹曼;文森特·兰根菲尔德;安德烈亚斯·波德尔斯基
5
2015
所有引用出版物 前5名被引用出版物
全部的 前5名

35位作者引用

5 格里戈里·费迪尤科维奇
3 段振华
3 田聪
3 张楠
2 阿尔蒂·古普塔
2 Jochen Hoenicke公司
2 安德烈亚斯·波德尔斯基
2 王蒙
1 塞皮德·阿萨迪
1 马丁·布利查
1 拉斯蒂斯拉夫·博迪克
1 利迪亚·切尔尼戈夫斯卡娅
1 伊曼纽尔·德·安吉利斯
1 丹尼尔·迪特施
1 杜洪伟
1 伊莎贝尔·加西亚·孔特雷拉斯
1 马蒂亚斯·海兹曼
1 曼努埃尔五世（Manuel V.Hermenegildo）。
1 安蒂·E·J·海瓦·里宁。
1 玛丽·克里斯汀·雅各布斯
1 塞缪尔·考夫曼。
1 小林直树
1 肯尼思·麦克米兰。
1 何塞·弗朗西斯科·莫拉莱斯
1 亚历山大·纳茨
1 奥德·帕顿
1 佩克，劳伦
1 菲利普·吕默
1 穆利·萨吉夫
1 莎里吉娜，娜塔莎
1 沙龙·肖姆
1 V.K.、Hari Govind
1 Yang，Kai（杨凯）
1 姚晨光
1 卢卡斯·扎瓦利亚

引用于4个系列

3 系统设计中的形式化方法
2 理论计算机科学
1 组合优化期刊
1 逻辑程序设计理论与实践

在4个字段中引用

14 计算机科学（68至XX）
3 数学逻辑和基础（03-XX）
1 数值分析（65-XX）
1 运筹学、数学规划（90-XX）

按年份列出的引文