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

雅各布·迪尔

合著者距离
作者ID： 迪赫·雅各布最近由“Dyhr，Jakob”撰写的zbMATH文章
发布日期： 雅各布·迪尔
已编制索引的文档： 2出版物自2018年起
合著者： 4位合著者具有2联合出版物
86位合作作者

合著者

0 单作者的
2 弗雷德里克·梅耶·伯内兰
2 彼得·格约尔·詹森
2 麦德斯·约翰森
2 吉·斯尔巴

系列

1 程序设计中的逻辑和代数方法杂志

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

2出版物有被引用12次10文件 引用人▼ 年份▼
简化CTL公式以有效检查Petri网的模型。 Zbl 1427.68161号
弗雷德里克·伯内兰;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴
7
2018
Petri网的顽固与结构简化。 Zbl 1407.68330号
Bønneland，弗雷德里克·M。;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴
5
2019
Petri网的顽固与结构简化。 Zbl 1407.68330号
Bønneland，弗雷德里克·M。;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴
5
2019
简化CTL公式以有效检查Petri网的模型。 Zbl 1427.68161号
弗雷德里克·伯内兰;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴
7
2018
所有引用出版物 前5名被引用出版物
全部的 前5名

12位作者引用

4 卡斯滕·沃尔夫
三 尼古拉斯·阿马特
三 达尔·齐利奥（Dal Zilio，Silvano）
2 伯纳德·伯托米厄
2 托尔斯滕·利布克
2 蒂里·米格（Yann Thierry-Mieg）
2 索菲·沃纳
1 彼得·格约尔·詹森
1 迪迪埃·勒·波特兰
1 吉·斯尔巴
1 尼古拉·延森·乌尔里克
1 西蒙·梅尔比

连载1篇

三 计算机基础理论

在2个字段中引用

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

按年份列出的引文