编辑配置文件（在新选项卡中打开） 戴，乔尔·D·。 合著者距离 作者ID： 天.乔-德 发布方式： 戴，乔尔·D·。 已编制索引的文档： 34出版物自1977年起 合著者： 15位合著者具有22联合出版物 344位合作作者 全部的 前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名领域 23 计算机科学（68至XX） 10 数值分析（65-XX） 三 群论与推广（20-XX） 三 常微分方程（34-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 雅可比谱半径的运行时估计。 兹伯利0552.65039 戴，J.D。 4 1984 涉及正则成员谓词的字符串理论：从实践到理论再到实践。 Zbl 1528.68425号 墨菲·贝尔齐什;戴，乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 4 2021 解决简单单词方程的困难。 Zbl 1441.68089号 戴，乔尔·D·。;弗罗林·马内亚;德克·诺沃特卡 4 2017 \弱平衡词的（k）-谱。 Zbl 07117552号 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 4 2019 各向异性层合板的动力响应。 Zbl 0894.73167号 梅马里斯，C。;戴，J.D。 三 1995 刚性微分方程的最小配置L稳定四阶非自治Rosenbrock方法。 兹比尔0591.65049 戴，J.D。 三 1985 在排列下执行重复的等式。 兹比尔1405.68259 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2017 本地模式。 Zbl 1490.68171号 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2018 周期性强制词。 Zbl 1398.68412号 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 2 2013 关于对偶Post对应问题。 兹比尔1381.68111 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 2 2013 评论：T.D.Bui，“关于刚性微分方程的L稳定方法”。 Zbl 0464.65050号 戴，J.D。 2 1980 Rosenbrock方法的内部S-稳定性。 Zbl 0464.65049号 戴，J.D。 2 1980 模式语言的闭包属性。 Zbl 1353.68165号 戴，乔尔·D·。;丹尼尔·雷登巴赫;马库斯·施密德。 2 2017 图形和字符串参数：pathwidth、cutwidth和locality number之间的连接。 兹标07561602 卡瑟尔·凯特琳;戴，乔尔·D·。;帕梅拉·弗莱什曼;托马斯·科齐马卡;弗罗林·马内亚;马库斯·施密德。 2 2019 关于最小配置Rosenbrock方法。 Zbl 0556.65057号 戴，J.D。 1 1984 大型稀疏线性方程组迭代解的紧凑存储。 Zbl 0378.65021号 戴，J.D。 1 1977 关于匹配一般重复模式。 Zbl 1517.68141号 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡;马库斯·施密德。 1 2018 关于对偶Post对应问题。 Zbl 1317.68127号 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 1 2014 模式语言的闭包属性。 Zbl 1353.68164号 戴，乔尔·D·。;丹尼尔·雷登巴赫;马库斯·施密德。 1 2014 周期性强制词。 Zbl 1329.68195号 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 1 2015 具有误差估计的最小配置L稳定Rosenbrock方法。 Zbl 0682.65036号 戴，J.D。 1 1989 某些二次方程最小解长度的上界。 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之间的连接。 兹标07561602 卡瑟尔·凯特琳;戴，乔尔·D·。;帕梅拉·弗莱什曼;托马斯·科齐马卡;弗罗林·马内亚;马库斯·施密德。 2 2019 某些二次方程最小解长度的上界。 Zbl 1517.68315号 戴，乔尔·D·。;弗罗林·马内亚;德克·诺沃特卡 1 2019 字方程的可满足性：可判定和不可判定理论。 Zbl 1515.68256号 戴，乔尔·D·。;维杰·加内什;他，保罗;弗罗林·马内亚;德克·诺沃特卡 8 2018 本地模式。 Zbl 1490.68171号 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2018 关于匹配一般重复模式。 Zbl 1517.68141号 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡;马库斯·施密德。 1 2018 解决简单单词方程的困难。 Zbl 1441.68089号 戴，乔尔·D·。;弗罗林·马内亚;德克·诺沃特卡 4 2017 在排列下执行重复的等式。 兹比尔1405.68259 戴，乔尔·D·。;帕梅拉·弗莱什曼;弗罗林·马内亚;德克·诺沃特卡 三 2017 模式语言的闭包属性。 Zbl 1353.68165号 戴，乔尔·D·。;丹尼尔·雷登巴赫;马库斯·施密德。 2 2017 周期性强制词。 Zbl 1329.68195号 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 1 2015 关于对偶Post对应问题。 Zbl 1317.68127号 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 1 2014 模式语言的闭包属性。 Zbl 1353.68164号 戴，乔尔·D·。;丹尼尔·雷登巴赫;马库斯·施密德。 1 2014 周期性强制词。 Zbl 1398.68412号 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 2 2013 关于对偶Post对应问题。 兹比尔1381.68111 戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 2 2013 各向异性层合板的动力响应。 Zbl 0894.73167号 梅马里斯，C。;戴，J.D。 三 1995 具有误差估计的最小配置L稳定Rosenbrock方法。 Zbl 0682.65036号 戴，J.D。 1 1989 刚性微分方程的最小配置L稳定四阶非自治Rosenbrock方法。 兹比尔0591.65049 戴，J.D。 三 1985 雅可比谱半径的运行时估计。 兹伯利0552.65039 戴，J.D。 4 1984 关于最小配置Rosenbrock方法。 Zbl 0556.65057号 戴，J.D。 1 1984 评论：T.D.Bui，“关于刚性微分方程的L稳定方法”。 Zbl 0464.65050号 戴，J.D。 2 1980 Rosenbrock方法的内部S-稳定性。 Zbl 0464.65049号 戴，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个字段中引用 28 计算机科学（68至XX） 4 群论与推广（20-XX） 三 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文