编辑配置文件(在新选项卡中打开) 戴,乔尔·D。 合著者距离 作者ID: 天.乔-德 发布日期: 戴,乔尔·D。 已编制索引的文档: 34出版物自1977年起 合著者: 15位合著者具有22联合出版物 337合著者 全部的 前5名合著者 11 单作者的 14 弗罗林·马内亚 12 德克·诺沃特卡 8 丹尼尔·雷登巴赫 6 帕梅拉·弗莱什曼 5 维杰·加内什 4 米贾·库尔琴斯基 4 马库斯·施密德。 4 约翰·施奈德(Johannes C.Schneider)。 三 墨菲·贝尔齐什 三 费德里科·莫拉 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 卡瑟尔·凯特琳 1 托尔斯滕·埃勒 1 他,保罗 1 托马斯·科齐马卡 1 梅马里斯,C。 全部的 前5名系列 三 计算与应用数学杂志 2 国际科学与技术数学教育杂志 2 信息处理信件 2 理论计算机科学 1 澳大利亚计算机杂志 1 计算机和结构 1 离散应用数学 1 计算机与系统科学杂志 1 应用数值方法中的通信 1 信息与计算 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 欧洲理论计算机科学协会公报 全部的 前5名领域 24 计算机科学(68至XX) 10 数值分析(65-XX) 三 常微分方程(34-XX) 2 群论与推广(20-XX) 1 数理逻辑与基础(03-XX) 1 组合数学(05-XX) 1 偏微分方程(35-XX) 1 可变形固体力学(74-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用50中的次32文件 引用人▼ 年份▼ 字方程的可满足性:可判定和不可判定理论。 Zbl 1515.68256号 戴,乔尔·D。;维杰·加内什;他,保罗;弗罗林·马内亚;德克·诺沃特卡 8 2018 关于使用SAT解单词方程。 Zbl 1511.68211号 戴,乔尔·D。;托尔斯滕·埃勒;米贾·库尔琴斯基;弗罗林·马内亚;德克·诺沃特卡;丹尼·鲍尔森 6 2019 用于字符串长度上的正则表达式和线性算法的SMT解算器。 Zbl 1493.68182号 墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D。;德克·诺沃特卡;维杰·加内什 5 2021 涉及正则成员谓词的字符串理论:从实践到理论再到实践。 Zbl 1528.68425号 墨菲·贝尔齐什;戴,乔尔·D。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 4 2021 解决简单单词方程的困难。 Zbl 1441.68089号 戴,乔尔·D。;弗罗林·马内亚;德克·诺沃特卡 4 2017 \弱平衡词的(k)-谱。 兹比尔07117552 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 4 2019 雅可比谱半径的运行时估计。 Zbl 0552.65039号 戴,J.D。 4 1984 刚性微分方程的最小配置L稳定四阶非自治Rosenbrock方法。 Zbl 0591.65049号 戴,J.D。 三 1985 层合各向异性板的动力响应。 Zbl 0894.73167号 梅马里斯,C。;戴,J.D。 三 1995 本地模式。 Zbl 1490.68171号 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2018 在排列下执行重复的等式。 兹比尔1405.68259 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2017 关于对偶Post对应问题。 Zbl 1381.68111号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 2 2013 周期性强制词。 Zbl 1398.68412号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 2 2013 Rosenbrock方法的内部S-稳定性。 Zbl 0464.65049号 戴,J.D。 2 1980 评论:T.D.Bui,“关于刚性微分方程的L稳定方法”。 Zbl 0464.65050号 戴,J.D。 2 1980 模式语言的闭包属性。 Zbl 1353.68165号 戴,乔尔·D。;丹尼尔·雷登巴赫;马库斯·施密德。 2 2017 图形和字符串参数:pathwidth、cutwidth和locality number之间的连接。 Zbl 07561602号 卡瑟尔·凯特琳;戴,乔尔·D。;帕梅拉·弗莱什曼;托马斯·科齐马卡;弗罗林·马内亚;马库斯·施密德。 2 2019 大型稀疏线性方程组迭代解的紧凑存储。 Zbl 0378.65021号 戴,J.D。 1 1977 模式语言的闭包属性。 兹比尔1353.68164 戴,乔尔·D。;丹尼尔·雷登巴赫;马库斯·施密德。 1 2014 关于对偶Post对应问题。 Zbl 1317.68127号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 1 2014 关于最小配置Rosenbrock方法。 兹伯利0556.65057 戴,J.D。 1 1984 具有误差估计的最小配置L稳定Rosenbrock方法。 Zbl 0682.65036号 戴,J.D。 1 1989 关于匹配一般重复模式。 Zbl 1517.68141号 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡;马库斯·施密德。 1 2018 周期性迫使词语。 Zbl 1329.68195号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 1 2015 某些二次方程最小解长度的上界。 Zbl 1517.68315号 戴,乔尔·D。;弗罗林·马内亚;德克·诺沃特卡 1 2019 用于字符串长度上的正则表达式和线性算法的SMT解算器。 Zbl 1493.68182号 墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D。;德克·诺沃特卡;维杰·加内什 5 2021 涉及正则成员谓词的字符串理论:从实践到理论再到实践。 Zbl 1528.68425号 墨菲·贝尔齐什;戴,乔尔·D。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 4 2021 关于使用SAT解单词方程。 Zbl 1511.68211号 戴,乔尔·D。;托尔斯滕·埃勒;米贾·库尔琴斯基;弗罗林·马内亚;德克·诺沃特卡;丹尼·鲍尔森 6 2019 \弱平衡词的(k)-谱。 Zbl 07117552号 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 4 2019 图形和字符串参数:pathwidth、cutwidth和locality number之间的连接。 Zbl 07561602号 卡瑟尔·凯特琳;戴,乔尔·D。;帕梅拉·弗莱什曼;托马斯·科齐马卡;弗罗林·马内亚;马库斯·施密德。 2 2019 某些二次方程最小解长度的上界。 Zbl 1517.68315号 戴,乔尔·D。;弗罗林·马内亚;德克·诺沃特卡 1 2019 字方程的可满足性:可判定和不可判定理论。 Zbl 1515.68256号 戴,乔尔·D。;维杰·加内什;他,保罗;弗罗林·马内亚;德克·诺沃特卡 8 2018 本地模式。 Zbl 1490.68171号 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2018 关于匹配一般重复模式。 兹比尔1517.68141 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡;马库斯·施密德。 1 2018 解决简单单词方程的困难。 Zbl 1441.68089号 戴,乔尔·D。;弗罗林·马内亚;德克·诺沃特卡 4 2017 在排列下执行重复的等式。 Zbl 1405.68259号 戴,乔尔·D。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2017 模式语言的闭包属性。 Zbl 1353.68165号 戴,乔尔·D。;丹尼尔·雷登巴赫;马库斯·施密德。 2 2017 周期性强制词。 Zbl 1329.68195号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 1 2015 模式语言的闭包属性。 Zbl 1353.68164号 戴,乔尔·D。;丹尼尔·雷登巴赫;马库斯·施密德。 1 2014 关于对偶Post对应问题。 Zbl 1317.68127号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 1 2014 关于对偶Post对应问题。 Zbl 1381.68111号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 2 2013 周期性强制词。 Zbl 1398.68412号 戴,乔尔·D。;丹尼尔·雷登巴赫;约翰·施奈德(Johannes C.Schneider)。 2 2013 各向异性层合板的动力响应。 Zbl 0894.73167号 梅马里斯,C。;戴,J.D。 三 1995 具有误差估计的最小配置L稳定Rosenbrock方法。 Zbl 0682.65036号 戴,J.D。 1 1989 刚性微分方程的最小配置L稳定四阶非自治Rosenbrock方法。 Zbl 0591.65049号 戴,J.D。 三 1985 雅可比谱半径的运行时估计。 兹伯利0552.65039 戴,J.D。 4 1984 关于最小配置Rosenbrock方法。 Zbl 0556.65057号 戴,J.D。 1 1984 Rosenbrock方法的内部S-稳定性。 Zbl 0464.65049号 戴,J.D。 2 1980 评论:T.D.Bui,“关于刚性微分方程的L稳定方法”。 Zbl 0464.65050号 戴,J.D。 2 1980 大型稀疏线性方程组迭代解的紧凑存储。 Zbl 0378.65021号 戴,J.D。 1 1977 所有引用的出版物 前5名被引用出版物 全部的 前5名66位作者引用 10 戴,乔尔·D。 9 弗罗林·马内亚 8 德克·诺沃特卡 5 米贾·库尔琴斯基 4 丹尼尔·雷登巴赫 三 墨菲·贝尔齐什 三 帕梅拉·弗莱什曼 三 维杰·加内什 三 费德里科·莫拉 2 丹尼·鲍尔森(Danny Bougsted Poulsen) 2 陈玉芳 2 什特·潘·霍卢布 2 Anthony Widjaja林 2 凯文·洛茨 2 马库斯·施密德。 2 约翰·施奈德(Johannes C.Schneider)。 2 斯特凡·西默 2 吴志林 1 杰克逊·阿巴斯卡尔 1 劳拉·巴克 1 弗兰蒂舍克·布拉胡德克 1 卡瑟尔·凯特琳 1 乔利亚特,大卫 1 多米尼克·D·弗雷登伯格。 1 伊丽莎白·加尔 1 阿尔伯特·加雷塔 1 Pawe Gawrychowskił 1 罗伯特·D·格雷。 1 马修·黑格 1 凯瑟琳·哈沃德 1 卢卡斯·哈施克 1 沃伊特·哈夫勒纳 1 Hemaspandra,A巷。 1 卢卡什·霍利克 1 卡雷尔·克鲁达 1 托马斯·科齐马卡 1 玛丽亚·科什 1 托雷·科斯 1 克里斯蒂安森,拉尔斯 1 Ondřej Lengál 1 希尔·麦蒙 1 鲁帕克·马朱姆达尔 1 凯特·伊娜·梅德科娃 1 尤文纳尔·穆瓦纳希亚卡 1 让·内罗 1 伊迪塔·佩兰托娃 1 加詹德兰·普瓦南德兰 1 黛安·普赫斯 1 丹尼尔·鲁伯里 1 菲利普·吕默 1 安德斯·施利奇特克鲁尔 1 菲利普·施诺贝伦 1 卡拉·塞尔米 1 尤拉吉·西奇 1 杰米·辛普森 1 什蒂·潘·斯塔罗斯塔 1 希科拉、吉希尼 1 Teh,Wen Chean先生 1 萨姆·汤普森。 1 齐达、塞德里克·查蒂亚 1 维隆、朱利安 1 马库斯·怀特兰。 1 朱迪思·威登贝克 1 安吉丽卡·威格尔 1 夏碧灿 1 詹乃军 全部的 前5名10篇连载文章中引用 6 理论计算机科学 2 计算机与系统科学杂志 2 信息与计算 1 信息学报 1 卡罗莱纳大学数学评论 1 计算机与运筹学 1 国际计算机科学基础杂志 1 数学逻辑档案 1 计算机基础理论 1 计算机科学中的逻辑方法 在5个字段中引用 29 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 三 群论与推广(20-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文