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

丹尼斯·奥杜克斯

合著者距离
作者ID： 奥杜克斯·丹尼斯“Oddoux，Denis”最近发表的zbMATH文章
发布日期： 丹尼斯·奥杜克斯
已编制索引的文档： 2出版物自2001年起
合著者： 1位合著者具有2联合出版物
55位合作作者

合著者

0 单作者的
2 保罗·加斯廷

系列

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

2出版物有被引用72中的次69文件 引用人▼ 年份▼
快速LTL到Büchi自动机翻译。 Zbl 0991.68044号
保罗·加斯廷;丹尼斯·奥杜克斯
64
2001
具有过去和双向非常弱交替自动机的LTL。 Zbl 1124.68387号
保罗·加斯廷;丹尼斯·奥杜克斯
8
2003
具有过去和双向非常弱交替自动机的LTL。 Zbl 1124.68387号
保罗·加斯廷;丹尼斯·奥杜克斯
8
2003
快速LTL到Büchi自动机翻译。 Zbl 0991.68044号
保罗·加斯廷;丹尼斯·奥杜克斯
64
2001
所有引用出版物 前5名被引用出版物
全部的 前5名

171位作者引用

6 莫西·亚亚科夫·瓦尔迪
4 奥尔纳·库普弗曼
4 Tsay，Yih-Kuen先生
3 拜尔，克里斯特尔
3 陈玉芳
3 约阿希姆·克莱因
3 所罗门·西克特
3 蔡明勋
2 JiříBarnat
2 Calin A.Belta。
2 尼古拉·贝内什
2 彼得·贝兹克
2 伊万娜·乔纳
2 陈文钦
2 张进淑
2 克里斯蒂安·达克斯
2 段振华
2 亚历山大·杜雷特·卢茨
2 吕迪格·埃勒斯
2 费利克斯·克莱特克
2 罗、池建
2 米勒（David I。
2 秦、郑
2 菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）
2 Shan、Laixiang
2 乌埃尔、古雷
2 马丁·齐默尔曼
1 帕罗什·阿齐兹·阿卜杜拉
1 艾丽卡·阿尔布拉汉姆
1 弗兰兹·巴德
1 塔马斯·巴塔
1 David A.Basin。
1 贝恩德·贝克尔
1 弗兰蒂舍克·布拉胡德克
1 罗德里克·布洛姆
1 朱利安·查尔斯·布拉德菲尔德
1 朱利安·布伦纳
1 卡卢·卡布雷拉·卡斯蒂略
1 张一文
1 克里希南德·查特吉
1 陈明石
1 科恩，马克斯·H。
1 马克西米连·科兰热
1 拜伦·库克
1 Jean-Michel库弗勒
1 弗雷德里克·达多
1 达尼尔·达瓦斯
1 马丁·德·沃尔夫
1 迪马罗戈纳斯，迪莫斯五世。
1 雷娜·迪米特洛娃
1 丁旭初
1 劳伦特·多恩
1 杜晓敏
1 杰罗姆·杜波伊斯
1 斯文·齐亚德克
1 约琴·艾辛格
1 史蒂文·艾克
1 哈维尔·埃斯帕尔扎
1 乌里·法伦贝格
1 彼得·费蒙维尔
1 伯恩德·芬克贝纳
1 安娜·G·加里斯。
1 格巴吉迪·艾塞，亚历山大
1 杰科·盖尔登胡伊斯
1 克里斯·乔治（Chris W.George）。
1 Clément吉拉德
1 朱利安·古铁雷斯
1 苏菲·海瑟特
1 Shigeki Hagihara
1 郝玉杰
1 Kazumune桥本
1 何继峰
1 何锡铭
1 卢卡什·霍利克
1 Lisa Hutschenreiter
1 詹森，尼尔斯
1 西蒙·扬奇
1 芭芭拉·乔布斯曼
1 凯文·琼斯。
1 雅克·朱利亚德
1 比拉尔·坎索
1 Joost-Pieter卡托恩
1 马吕斯·克劳泽
1 维克托·康拉德
1 埃里克·科斯金
1 简·Křetínsk \345]
1 桑卡拉·纳拉亚南·克里希纳
1 丹尼斯·库珀伯格
1 Hironobu Kuruma
1 马丁·兰格
1 金·古德斯特兰·拉森
1 亨利克·劳科
1 米尔恰·拉扎尔
1 莱希、凯文
1 李建文
1 马赛尔·利普曼
1 克里斯托夫·Löding
1 库什拉伊·马德纳尼
1 克里斯蒂安·马胡利亚
1 Juraj少校
…还有71位作者
全部的 前5名

引用于18个系列

7 理论计算机科学
6 系统设计中的形式化方法
4 计算的形式方面
3 程序设计中的逻辑和代数方法杂志
2 信息学报
2 离散事件动态系统
2 计算机科学中的逻辑方法
1 人工智能
1 国际理论物理杂志
1 Automatica公司
1 信息与计算
1 计算机基础理论
1 应用数学杂志
1 应用逻辑杂志
1 非线性分析。混合动力系统
1 理论计算机科学的基础和发展趋势
1 计算机科学前沿
1 计算机科学评论
全部的 前5名

在9个字段中引用

65 计算机科学（68至XX）
36 数学逻辑和基础（03-XX）
5 系统论；控制（93至XX）
2 运筹学、数学规划（90-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 变分法与最优控制；最优化（49至XX）
1 概率论与随机过程（60-XX）
1 量子理论（81-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文