编辑配置文件（在新选项卡中打开） 沃尔克·迪克特 合著者距离 作者ID： 迪克特·沃尔克 发布日期： 沃尔克·迪克特；V·迪克特。；沃尔克·迪克特；沃尔科特·迪克特 更多。。。较少的 主页： http://www.fmi.uni-stutgart.de/ti/team/diekert/ 外部链接： 管理程序·ORCID公司·数学-网络。俄罗斯·数据库管理程序·接地 集体成员： Lothare，M。 已编制索引的文档： 151出版物自1981年以来，包括6本书和1个附加arXiv预打印 12作为编辑的贡献·1进一步贡献 合著者： 68合著者具有132联合出版物 1976年合作作者 全部的 前5名合著者 30 单作者的 20 曼弗雷德·库夫莱特纳 19 保罗·加斯丁 11 安卡·穆斯科尔 10 马库斯·洛伊 9 阿敏·韦 8 亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 5 Elder，Murray J。 5 乌尔里希·赫斯特兰夫 5 斯特芬·科佩基 5 安托万·C·佩蒂特。 5 克劳斯·莱因哈特 5 托拜厄斯·沃尔特 4 乔纳森·考什 4 格哈德·罗森伯格 三 谢尔盖·阿特莫夫 三 霍尔格·奥斯汀 三 劳拉·乔巴努 三 杰·阿图尔 三 尤恩·朗 三 德克·诺沃特卡 三 塞尼泽格斯，热罗 三 佩德罗·席尔瓦。 2 安德鲁·邓肯。 2 布鲁诺·杜兰德 2 亨宁费尔瑙 2 德米特里·格里戈列夫 2 克劳迪奥·古铁雷斯 2 米歇尔·哈比卜 2 克里斯蒂安·哈格纳 2 马丁·霍尔奇 2 弗洛伦特·马丁 2 尤里·弗拉基米洛维奇·马蒂亚塞维奇 2 亚历山大·米勒 2 维克托·米特拉纳 2 Möbus，阿克塞尔 2 爱德华·奥赫曼斯基 2 霍尔格·彼得森 2 沃伊切赫·普兰多夫斯基 2 约翰·迈克尔·罗布森 2 亚历山大·乌沙科夫。 2 沃尔特·福格勒 2 米哈伊尔·弗拉基米洛维奇（Mikhail Vladimirovich Volkov） 2 佩特拉·沃尔夫 1 哈维尔·阿拉马约纳 1 贝拉德，贝特里奇 1 迈克尔·W·伯托尔。 1 书，罗纳德·弗农 1 卡洛斯·卡米诺 1 Besik Dundua 1 卢卡斯·弗莱舍 1 胡安·冈萨雷斯（Juan González-Meneses） 1 特罗·哈尔朱 1 乌韦·詹森 1 奥尔加·G·哈兰波维奇。 1 小林，Yuji 1 达利亚·克里格 1 克里斯托弗·雷宁格。 1 马丁·勒克 1 马丁·卢斯蒂格 1 马林·米尔恰 1 阿特菲·穆哈杰里·穆加达姆（Atefeh Mohajeri Moghaddam） 1 尼科尔·昂德鲁什 1 伊戈尔·波塔波夫 1 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 1 帕维尔·塞穆金 1 本杰明·斯坦伯格 1 恩里克·文图拉·卡佩尔 1 安德烈·沃龙科夫 1 伊戈尔·瓦卢基维奇 1 卡斯滕·威克 1 妮可·威克 1 韦尔·帕斯卡 1 凯·温伯格 全部的 前5名系列 17 理论计算机科学 11 国际代数与计算杂志 10 计算系统理论 7 信息与计算 6 计算机科学课堂讲稿 4 信息学报 4 国际计算机科学基础杂志 三 《Reine und Angewandte Mathematik》杂志 2 数学系统理论 2 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 符号计算杂志 2 联合国证券交易所 2 计算机基础理论 2 德格鲁伊特工作室 1 信息处理信件 1 汉堡大学Abhandlungen aus dem Mathematischen研讨会 1 控制论学报 1 代数杂志 1 计算机与系统科学杂志 1 半群论坛 1 算法学 1 汉堡数学学院 1 RAIRO公司。Informatique Théorique et Applications公司 1 俄罗斯数学 1 美国医学会杂志 1 RIMS Kokyuroku公司 1 计算机科学中的逻辑方法 1 组、复杂性、密码学 1 巴塞罗那CRM数学高级课程 1 德格鲁伊特教科书 1 De Gruyter毕业生 全部的 前5名领域 152 计算机科学（68至XX） 64 群论与推广（20-XX） 42 数学逻辑和基础（03-XX） 14 总体主题；集合（00-XX） 11 组合数学（05-XX） 10 数论（11-XX） 4 信息与通信理论、电路（94-XX） 2 有序，格，有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 范畴理论；同调代数（18-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 126出版物有被引用743中的次481文件 引用人▼ 年份▼ 迹上的组合数学。 兹比尔0717.68002 沃尔克·迪克特 86 1990 描述时间自动机中无声转换的表达能力。 Zbl 0930.68077号 贝拉德，贝特里奇；安托万·佩蒂特；沃尔克·迪克特；保罗·加斯丁 39 1998 一阶可定义语言。 Zbl 1234.03024号 沃尔克·迪克特；保罗·加斯丁 35 2008 对有限单词上一阶逻辑的小片段的调查。 Zbl 1157.03003号 沃尔克·迪克特；保罗·加斯丁；曼弗雷德·库夫莱特纳 33 2008 自由群中带有理约束方程的存在理论是PSPACE完备的。 Zbl 1101.68649号 沃尔克·迪克特；克劳迪奥·古铁雷斯；克里斯蒂安·哈格纳 24 2005 图组中方程的可解性是可判定的。 Zbl 1112.03009号 沃尔克·迪克特；安卡·穆斯科尔 16 2006 图形产品上的单词方程式。 兹比尔1186.20041 沃尔克·迪克特；马库斯·洛伊 15 2008 自由群上方程的解集是EDT0L语言。 Zbl 1401.68156号 劳拉·乔巴努；沃尔克·迪克特；老穆雷 14 2016 自由群中带有理约束方程的存在理论是PSPACE完备的。 Zbl 0976.68095号 沃尔克·迪克特；克劳迪奥·古铁雷斯；克里斯蒂安·哈格纳 13 2001 用对合求自由群和幺半群中方程的所有解。 Zbl 1382.68347号 沃尔克·迪克特；杰·阿图尔；沃伊切赫·普兰多夫斯基 12 2016 部分交换结构上的字方程的解。 Zbl 1388.68164号 沃尔克·迪克特；阿图尔·杰兹；曼弗雷德·库夫莱特纳 12 2016 对于Mazurkiewicz轨迹，纯粹的未来局部时间逻辑是表达完整的。 Zbl 1113.03016号 沃尔克·迪克特；保罗·加斯丁 11 2006 自由群上方程的解集是EDT0L语言。 Zbl 1412.68124号 劳拉·乔巴努；沃尔克·迪克特；老穆雷 11 2015 对于Mazurkiewicz痕迹，LTL是明确完整的。 Zbl 1013.68130号 沃尔克·迪克特；保罗·加斯丁 10 2002 关于二次方程式。 Zbl 0928.68088号 约翰·迈克尔·罗布森；沃尔克·迪克特 10 1999 阿贝尔群的完备半图厄系统。 Zbl 0609.68028号 沃尔克·迪克特 10 1986 无上下文组及其结构树。 Zbl 1270.20030号 沃尔克·迪克特；阿敏·韦 10 2013 无限单词上的一阶逻辑片段。 兹比尔1258.03045 沃尔克·迪克特；曼弗雷德·库夫莱特纳 9 2011 关于无限迹的串联。（扩展摘要）。 Zbl 0773.68057号 沃尔克·迪克特 9 1991 关于正规语言的发夹式补全。 Zbl 1250.68153号 沃尔克·迪克特；斯特芬·科佩基；维克托·米特拉纳 8 2009 Krohn-Rodes定理和局部除数。 Zbl 1263.68116号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；本杰明·斯坦伯格 8 2012 高压缩数据的高效算法：Higman组中的单词问题属于P。 Zbl 1245.68103号 沃尔克·迪克特；尤恩·朗；亚历山大·乌沙科夫 8 2012 可识别的复杂跟踪语言。（摘要）。 Zbl 0777.68057号 沃尔克·迪克特；保罗·加斯丁；安托万·佩蒂特 8 1991 图积中方程的存在论和正理论。 Zbl 1067.03017号 沃尔克·迪克特；马库斯·洛伊 8 2004 删除时间自动机中的\（\ε\）-转换。 Zbl 1498.68135号 沃尔克·迪克特；保罗·加斯丁；安托万·佩蒂特 8 1997 无限跟踪的确定性异步自动机。 Zbl 0818.68100号 沃尔克·迪克特；安卡·穆斯科尔 7 1994 1700多年的文字方程式。 Zbl 1402.68146号 沃尔克·迪克特 7 2015 Baumslag群中的共轭性、一般情况复杂性和功率电路中的除法。 Zbl 1352.68102号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。；阿敏·韦 7 2014 扭曲的单词方程和自由组中的方程的解。 Zbl 1481.20118号 沃尔克·迪克特；老穆雷 7 2020 无上下文群和Bass-Serre理论。 兹比尔1436.20062 沃尔克·迪克特；阿敏·韦 7 2017 用对合求自由群和幺半群中方程的所有解。 Zbl 1382.68348号 沃尔克·迪克特；杰·阿图尔；沃伊切赫·普兰多夫斯基 7 2014 解模部分交换的字方程。 Zbl 0930.68074号 沃尔克·迪克特；尤里·马蒂亚塞维奇；安卡·穆斯科尔 6 1999 二次方程式。 Zbl 0944.68151号 沃尔克·迪克特；约翰·迈克尔·罗布森 6 1999 无星语言是Church-Rosser同余语言。 Zbl 1279.68147号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；韦尔·帕斯卡 6 2012 关于无限迹的串联。 Zbl 0786.68074号 沃尔克·迪克特 6 1993 用于无限跟踪的确定性异步自动机。（扩展摘要）。 Zbl 0799.68140号 沃尔克·迪克特；安卡·穆斯科尔 6 1993 理性和可识别的复杂跟踪语言。 Zbl 0818.68073号 沃尔克·迪克特；保罗·加斯丁；安托万·佩蒂特 6 1995 关于单规则追踪-再写系统的融合。 Zbl 0837.68055号 沃索尔，C。；V·迪克特。 6 1995 自由部分交换群中方程的可解性是可判定的。 Zbl 0986.20036号 沃尔克·迪克特；安卡·穆斯科尔 6 2001 离散代数方法。算术、密码学、自动机和组。 兹比尔1350.00 001 沃尔克·迪克特；曼弗雷德·库夫莱特纳；格哈德·罗森伯格；乌尔里希·赫斯特兰夫 6 2016 关于并发进程的Knuth-Bendix完成。 Zbl 0633.68015号 沃尔克·迪克特 6 1987 关于有限Church-Rosser Thue系统表示的一些备注。 Zbl 0636.20023号 沃尔克·迪克特 6 1987 关于稳定器的一些备注。 Zbl 1173.68053号 沃尔克·迪克特；达利亚·克里格 5 2009 常规频率计算。 Zbl 0969.68522号 霍尔格·奥斯汀；沃尔克·迪克特；乌尔里希·赫斯特兰夫；霍尔格·彼得森 5 2000 Petri网的部分跟踪语义。 Zbl 0823.68058号 Diekert，V.公司。 5 1994 常规频率计算的结构特性。 Zbl 1064.68049号 霍尔格·奥斯汀；沃尔克·迪克特；乌尔里希·赫斯特兰夫 5 2003 正则语言（扩展抽象）的复杂性结果和发夹补全的增长。 Zbl 1297.68122号 沃尔克·迪克特；斯特芬·科佩基 5 2011 交换幺半群具有自由（非交换）幺半群的完整表示。 Zbl 0607.20032号 沃尔克·迪克特 5 1986 关于痕迹编码。 Zbl 1379.68243号 沃尔克·迪克特；安卡·穆斯科尔；克劳斯·莱因哈特 5 1995 自由部分交换幺半群的传递方向、Möbius函数和完备半图厄系统。 Zbl 0707.68049号 沃尔克·迪克特 5 1988 正规语言是Church-Rosser同余语言。 兹比尔1367.68166 沃尔克·迪克特；曼弗雷德·库夫莱特纳；克劳斯·莱因哈特；托拜厄斯·沃尔特 4 2012 图组和Coxeter组中的对数空间计算。 Zbl 1283.20043号 沃尔克·迪克特；乔纳森·考什；马库斯·洛伊 4 2012 对于Mazurkiewicz轨迹，纯粹的未来局部时序逻辑是完全的。 Zbl 1196.68155号 沃尔克·迪克特；保罗·加斯丁 4 2004 关于计算Baumslag-Solitar群中的测地线。 Zbl 1235.20041号 沃尔克·迪克特；尤恩·朗 4 2011 对于Mazurkiewicz痕迹，LTL是明确完整的。 Zbl 0973.68165号 沃尔克·迪克特；保罗·加斯丁 4 2000 Baumslag群中的共轭性、一般情况复杂性和功率电路中的除法。 兹比尔1357.68081 沃尔克·迪克特；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。；阿敏·韦 4 2016 Schreier图的可修性和共轭问题的强泛型算法。 Zbl 1346.20041号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫；阿敏·韦 4 2015 真实轨迹的安全性和活性属性，以及从LTL到幺半群的直接转换。 Zbl 1060.68077号 沃尔克·迪克特；保罗·加斯丁 4 2002 绝对是Galoisgruppe dyadischer Zahlkörper。 Zbl 0524.12007号 沃尔克·迪克特 4 1984 任意文法的Hotz群研究。 Zbl 0612.68067号 沃尔克·迪克特 4 1986 测地重写系统和预群。 Zbl 1220.20022号 沃尔克·迪克特；安德鲁·邓肯。；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 4 2010 Coxeter组和图组中的日志空间计算。 Zbl 1283.20044号 沃尔克·迪克特；乔纳森·考什；马库斯·洛伊 4 2012 关于局部除数技术的综述。 Zbl 1332.68147号 沃尔克·迪克特；曼弗雷德·库夫莱特纳 4 2016 图形产品中的日志空间计算。 兹比尔1335.68103 沃尔克·迪克特；乔纳森·考什 4 2016 扭曲单词方程、EDT0L语言和上下文无关组的解决方案。 Zbl 1442.68090号 沃尔克·迪克特；老穆雷 4 2017 图形产品上的单词方程式。 Zbl 1188.20066号 沃尔克·迪克特；马库斯·洛伊 三 2003 Möbius函数和合流半交换。 Zbl 0777.68052号 沃尔克·迪克特 三 1993 局部时态逻辑对于齿状图相关字母表来说是完全的。 Zbl 1275.68089号 沃尔克·迪克特；保罗·加斯丁 三 2001 关于汇合半交换——可判定性和复杂性结果。 Zbl 0769.68057号 沃尔克·迪克特；爱德华·奥赫曼斯基；克劳斯·莱因哈特 三 1991 常规频率计算。 Zbl 1078.68073号 霍尔格·奥斯汀；沃尔克·迪克特；乌尔里希·赫斯特兰夫；霍尔格·彼得森 三 2005 QuickHeapsort：修改和改进的分析。 Zbl 1353.68063号 沃尔克·迪克特；阿敏·韦 三 2016 原始词的Weinbaum因子分解。 Zbl 1187.68361号 V·迪克特。；T·哈尔朱。；诺沃特卡，D。 三 2010 计算机科学——理论与应用。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。 Zbl 1135.68001号 三 2007 关于监视器和Büchi自动机的注释。 兹比尔1471.68115 沃尔克·迪克特；安卡·穆斯科尔；伊戈尔·瓦卢基维奇 三 2015 由正则语言指定的图的属性。 Zbl 07498720号 沃尔克·迪克特；亨宁费尔瑙；佩特拉·沃尔夫 三 2021 关于并发进程的Knuth-Bendix完成。 Zbl 0686.68023号 沃尔克·迪克特 三 1989 无限单词上的一阶逻辑片段。 Zbl 1236.68166号 沃尔克·迪克特；曼弗雷德·库夫莱特纳 三 2009 使用词典编纂范式求解轨迹方程。 Zbl 1401.68161号 沃尔克·迪克特；尤里·马蒂亚塞维奇；安卡·穆斯科尔 三 1997 Mazurkiewicz迹的一种表示完整的时态逻辑，没有过去时操作符。 Zbl 0942.03028号 沃尔克·迪克特；保罗·加斯丁 2 1999 并发终止域Mazurkiewicz迹的推广（扩展抽象）。 Zbl 1412.68150号 沃尔克·迪克特；保罗·加斯丁 2 1995 判定正则语言在多项式时间内发夹补足的正则性。 Zbl 1279.68093号 沃尔克·迪克特；斯特芬·科佩基；维克托·米特拉纳 2 2012 部分交换的逆幺半群。 Zbl 1132.20308号 沃尔克·迪克特；马库斯·洛伊；亚历山大·米勒 2 2006 跟踪上的代码问题。 Zbl 0889.68092号 沃尔克·迪克特；安卡·穆斯科尔 2 1996 关于Métiver为三角图构造异步自动机的注记。 Zbl 0843.68072号 沃尔科特·迪克特；安卡·穆斯科尔 2 1996 关于平群方程存在理论的注记。 Zbl 1007.03008号 沃尔克·迪克特；马库斯·洛伊 2 2002 一些恒等式与自动机、行列式和Möbius函数有关。 Zbl 1047.68076号 沃尔克·迪克特；小林，Yuji 2 1999 近似轨迹。 兹比尔0912.68128 沃尔克·迪克特；保罗·加斯丁 2 1998 局部时态逻辑对于齿状图相关字母表来说是完全的。 Zbl 1101.68648号 沃尔克·迪克特；保罗·加斯丁 2 2004 STACS 2005年。第22届计算机科学理论方面年度研讨会，德国斯图加特，2005年2月24日至26日。诉讼程序。 Zbl 1069.68004号 2 2005 Mazurkiewicz迹上从局部到全局的时序逻辑。 Zbl 1160.68574号 沃尔克·迪克特；保罗·加斯丁 2 2006 虚拟自由群上逆幺半群的算法问题。 Zbl 1190.20045号 沃尔克·迪克特；尼科尔·昂德鲁什；马库斯·洛伊 2 2008 同步延迟有界的欧米伽有理表达式。 兹比尔1343.68135 沃尔克·迪克特；曼弗雷德·库夫莱特纳 2 2015 形式语言理论中的Hotz同构定理。 Zbl 0665.68059号 沃尔克·迪克特；Möbus，阿克塞尔 2 1989 发夹结构的语言理论性质。 Zbl 1260.68200号 沃尔克·迪克特；斯特芬·科佩基 2 2012 循环重写和共轭问题。 Zbl 1286.20035号 沃尔克·迪克特；安德鲁·邓肯；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 2 2012 高压缩数据的高效算法：Higman组中的单词问题属于P。 Zbl 1264.20034号 沃尔克·迪克特；尤恩·朗；亚历山大·乌沙科夫 2 2012 使用有界同步延迟的前缀码描述正则语言类的特征。 Zbl 1388.68165号 沃尔克·迪克特；托拜厄斯·沃尔特 2 2016 线性时间内可解的迹上的单词问题。 Zbl 0701.68056号 沃尔克·迪克特 2 1990 记录道上的组合重写。 Zbl 0729.68034号 沃尔克·迪克特 2 1990 无限树的正则匹配问题。 Zbl 07471714号 卡洛斯·卡米诺；沃尔克·迪克特；Besik Dundua；马林·米尔恰；塞尼泽格斯，热罗 2 2022 无限树的正则匹配问题。 Zbl 07471714号 卡洛斯·卡米诺；沃尔克·迪克特；Besik Dundua；马林·米尔恰；塞尼泽格斯，热罗 2 2022 由正则语言指定的图的属性。 Zbl 07498720号 沃尔克·迪克特；亨宁费尔瑙；佩特拉·沃尔夫 三 2021 扭曲的单词方程和自由组中的方程的解。 Zbl 1481.20118号 沃尔克·迪克特；老穆雷 7 2020 （mathrm{GL}（2，mathbb{Q}））和奇异矩阵的平坦有理子集的隶属度问题的判定。 Zbl 07300062号 沃尔克·迪克特；伊戈尔·波塔波夫；帕维尔·塞穆金 1 2020 无上下文群和Bass-Serre理论。 Zbl 1436.20062号 沃尔克·迪克特；阿敏·韦 7 2017 扭曲单词方程、EDT0L语言和上下文无关组的解决方案。 兹比尔1442.68090 沃尔克·迪克特；老穆雷 4 2017 围绕自由群和自同构的算法和几何主题。基于2012年9月至12月在西班牙巴塞罗那举办的暑期学校。 Zbl 1387.20001号 1 2017 Schreier图的可修性和共轭问题的强泛型算法。 Zbl 1371.20037号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。；阿敏·韦 1 2017 具有幂等变量的自由逆幺半群上的方程。 Zbl 1404.20046号 沃尔克·迪克特；弗洛伦特·马丁；塞尼泽格斯，热罗；佩德罗·席尔瓦。 1 2017 使用有界同步延迟的前缀码描述正则语言类的特征。 Zbl 1373.68291号 沃尔克·迪克特；托拜厄斯·沃尔特 1 2017 自由群上方程的解集是EDT0L语言。 Zbl 1401.68156号 劳拉·乔巴努；沃尔克·迪克特；老穆雷 14 2016 在自由群和对合的monoid中寻找方程的所有解。 Zbl 1382.68347号 沃尔克·迪克特；杰·阿图尔；沃伊切赫·普兰多夫斯基 12 2016 部分交换结构上的字方程的解。 Zbl 1388.68164号 沃尔克·迪克特；阿图尔·杰兹；曼弗雷德·库夫莱特纳 12 2016 离散代数方法。算术、密码学、自动机和组。 Zbl 1350.00001号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；格哈德·罗森伯格；乌尔里希·赫斯特兰夫 6 2016 Baumslag群中的共轭性、一般情况复杂性和功率电路中的除法。 Zbl 1357.68081号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。；阿敏·韦 4 2016 局部除数技术综述。 兹比尔1332.68147 沃尔克·迪克特；曼弗雷德·库夫莱特纳 4 2016 图形产品中的日志空间计算。 兹比尔1335.68103 沃尔克·迪克特；乔纳森·考什 4 2016 QuickHeapsort：修改和改进的分析。 Zbl 1353.68063号 沃尔克·迪克特；阿敏·韦 三 2016 使用有界同步延迟的前缀码描述正则语言类的特征。 Zbl 1388.68165号 沃尔克·迪克特；托拜厄斯·沃尔特 2 2016 自由群上方程的解集是EDT0L语言。 Zbl 1412.68124号 劳拉·乔巴努；沃尔克·迪克特；老穆雷 11 2015 1700多年的文字方程式。 Zbl 1402.68146号 沃尔克·迪克特 7 2015 Schreier图的可修性和共轭问题的强泛型算法。 Zbl 1346.20041号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫；阿敏·韦 4 2015 关于监视器和Büchi自动机的注释。 Zbl 1471.68115号 沃尔克·迪克特；安卡·穆斯科尔；伊戈尔·瓦卢基维奇 三 2015 具有有界同步延迟的Omega有理表达式。 Zbl 1343.68135号 沃尔克·迪克特；曼弗雷德·库夫莱特纳 2 2015 具有幂等变量的自由逆幺半群上的方程。 Zbl 1404.20045号 沃尔克·迪克特；弗洛伦特·马丁；塞尼泽格斯，热罗；佩德罗·席尔瓦。 1 2015 正规语言是Church-Rosser同余语言。 Zbl 1426.68142号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；克劳斯·莱因哈特；托拜厄斯·沃尔特 1 2015 Baumslag群中的共轭性、一般情况复杂性和功率电路中的除法。 Zbl 1352.68102号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。；阿敏·韦 7 2014 用对合求自由群和幺半群中方程的所有解。 Zbl 1382.68348号 沃尔克·迪克特；Jeż，阿图尔；沃伊切赫·普兰多夫斯基 7 2014 图形产品中的日志空间计算。 Zbl 1325.68106号 沃尔克·迪克特；乔纳森·考什 1 2014 拓扑、可监控属性和运行时验证。 Zbl 1359.68164号 沃尔克·迪克特；马丁·勒克 1 2014 无上下文组及其结构树。 Zbl 1270.20030号 沃尔克·迪克特；阿敏·韦 10 2013 离散数学的要素。数字与计数，图形与格。（Mathematik.Zahlen und Zählen，Graphen und Verbände） Zbl 1276.05001号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；格哈德·罗森伯格 1 2013 Krohn-Rodes定理和局部除数。 Zbl 1263.68116号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；本杰明·斯坦伯格 8 2012 高压缩数据的高效算法：Higman组中的单词问题属于P。 Zbl 1245.68103号 沃尔克·迪克特；劳恩，Jürn；亚历山大·乌沙科夫 8 2012 无星语言是Church-Rosser同余语言。 Zbl 1279.68147号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；韦尔·帕斯卡 6 2012 正规语言是Church-Rosser同余语言。 Zbl 1367.68166号 沃尔克·迪克特；曼弗雷德·库夫莱特纳；克劳斯·莱因哈特；托拜厄斯·沃尔特 4 2012 图组和Coxeter组中的对数空间计算。 Zbl 1283.20043号 沃尔克·迪克特；乔纳森·考什；马库斯·洛伊 4 2012 Coxeter组和图组中的日志空间计算。 Zbl 1283.20044号 沃尔克·迪克特；乔纳森·考什；马库斯·洛伊 4 2012 判定正则语言在多项式时间内发夹补足的正则性。 Zbl 1279.68093号 沃尔克·迪克特；斯特芬·科佩基；维克托·米特拉纳 2 2012 发夹结构的语言理论性质。 Zbl 1260.68200号 沃尔克·迪克特；斯特芬·科佩基 2 2012 循环重写和共轭问题。 Zbl 1286.20035号 沃尔克·迪克特；安德鲁·邓肯；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 2 2012 高压缩数据的高效算法：Higman组中的单词问题属于P。 Zbl 1264.20034号 沃尔克·迪克特；尤恩·朗；亚历山大·乌沙科夫 2 2012 无限单词上的一阶逻辑片段。 Zbl 1258.03045号 沃尔克·迪克特；曼弗雷德·库夫莱特纳 9 2011 正则语言（扩展抽象）的复杂性结果和发夹补全的增长。 Zbl 1297.68122号 沃尔克·迪克特；斯特芬·科佩基 5 2011 关于计算Baumslag-Solitar群中的测地线。 Zbl 1235.20041号 沃尔克·迪克特；劳恩，Jürn 4 2011 解决无限单词群扩展中的单词问题。 Zbl 1221.68178号 沃尔克·迪克特；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 1 2011 它是NL-complete来决定正则语言的发夹补全是否是正则的。 Zbl 1255.68070号 沃尔克·迪克特；斯特芬·科佩基 1 2011 测地重写系统和预群。 Zbl 1220.20022号 沃尔克·迪克特；安德鲁·邓肯。；亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 4 2010 原始词的Weinbaum因子分解。 Zbl 1187.68361号 V·迪克特。；T·哈尔朱。；诺沃特卡，D。 三 2010 关于正规语言的发夹式补全。 兹比尔1250.68153 沃尔克·迪克特；斯特芬·科佩基；维克托·米特拉纳 8 2009 关于稳定器的一些备注。 Zbl 1173.68053号 沃尔克·迪克特；达利亚·克里格 5 2009 无限单词上的一阶逻辑片段。 Zbl 1236.68166号 沃尔克·迪克特；曼弗雷德·库夫莱特纳 三 2009 一阶可定义语言。 Zbl 1234.03024号 沃尔克·迪克特；保罗·加斯丁 35 2008 对有限单词上一阶逻辑的小片段的调查。 Zbl 1157.03003号 沃尔克·迪克特；保罗·加斯丁；曼弗雷德·库夫莱特纳 33 2008 图形产品上的单词方程式。 Zbl 1186.20041号 沃尔克·迪克特；马库斯·洛伊 15 2008 虚拟自由群上逆幺半群的算法问题。 兹比尔1190.20045 沃尔克·迪克特；尼科尔·昂德鲁什；马库斯·洛伊 2 2008 部分交换逆幺半群。 Zbl 1156.20049号 沃尔克·迪克特；马库斯·洛伊；亚历山大·米勒 1 2008 计算机科学——理论与应用。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。 Zbl 1135.68001号 三 2007 Mazurkiewicz痕迹的一级碎片。 Zbl 1128.03018号 沃尔克·迪克特；马丁·霍尔奇；曼弗雷德·库夫莱特纳 1 2007 图组中方程的可解性是可判定的。 Zbl 1112.03009号 沃尔克·迪克特；安卡·穆斯科尔 16 2006 对于Mazurkiewicz轨迹，纯粹的未来局部时间逻辑是表达完整的。 Zbl 1113.03016号 沃尔克·迪克特；保罗·加斯丁 11 2006 部分交换逆幺半群。 Zbl 1132.20308号 沃尔克·迪克特；马库斯·洛伊；亚历山大·米勒 2 2006 Mazurkiewicz迹上从局部到全局的时序逻辑。 Zbl 1160.68574号 沃尔克·迪克特；保罗·加斯丁 2 2006 自由群中带有理约束方程的存在理论是PSPACE完备的。 Zbl 1101.68649号 沃尔克·迪克特；克劳迪奥·古铁雷斯；克里斯蒂安·哈格纳 24 2005 常规频率计算。 Zbl 1078.68073号 奥斯汀特，霍尔格；沃尔克·迪克特；乌尔里希·赫斯特兰夫；霍尔格·彼得森 三 2005 STACS 2005年。第22届计算机科学理论方面年度研讨会，德国斯图加特，2005年2月24日至26日。诉讼程序。 Zbl 1069.68004号 2 2005 图乘积中方程的存在性和正理论。 Zbl 1067.03017号 沃尔克·迪克特；马库斯·洛伊 8 2004 对于Mazurkiewicz轨迹，纯粹的未来局部时序逻辑是完全的。 Zbl 1196.68155号 沃尔克·迪克特；保罗·加斯丁 4 2004 局部时态逻辑对于齿状图相关字母表来说是完全的。 Zbl 1101.68648号 沃尔克·迪克特；保罗·加斯丁 2 2004 STACS 2004。2004年3月25日至27日，法国蒙彼利埃，第21届计算机科学理论方面年度研讨会。诉讼程序。 Zbl 1046.68005号 1 2004 常规频率计算的结构特性。 兹比尔1064.68049 霍尔格·奥斯汀；沃尔克·迪克特；乌尔里希·赫斯特兰夫 5 2003 图形产品上的单词方程式。 Zbl 1188.20066号 沃尔克·迪克特；马库斯·洛伊 三 2003 关于二次迹方程的注记。 Zbl 1015.68125号 沃尔克·迪克特；曼弗雷德·库夫莱特纳 1 2003 对于Mazurkiewicz痕迹，LTL是明确完整的。 Zbl 1013.68130号 沃尔克·迪克特；保罗·加斯丁 10 2002 真实轨迹的安全性和活性属性，以及从LTL到幺半群的直接转换。 Zbl 1060.68077号 沃尔克·迪克特；保罗·加斯丁 4 2002 关于平群方程存在理论的注记。 Zbl 1007.03008号 沃尔克·迪克特；马库斯·洛伊 2 2002 自由群中有理约束方程的存在论是PSPACE完备的。 Zbl 0976.68095号 沃尔克·迪克特；克劳迪奥·古铁雷斯；克里斯蒂安·哈格纳 13 2001 自由部分交换群中方程的可解性是可判定的。 Zbl 0986.20036号 沃尔克·迪克特；安卡·穆斯科尔 6 2001 局部时态逻辑对于齿状图相关字母表来说是完全的。 Zbl 1275.68089号 沃尔克·迪克特；保罗·加斯丁 三 2001 常规频率计算。 Zbl 0969.68522号 霍尔格·奥斯汀；沃尔克·迪克特；乌尔里希·赫斯特兰夫；霍尔格·彼得森 5 2000 对于Mazurkiewicz痕迹，LTL是明确完整的。 Zbl 0973.68165号 沃尔克·迪克特；保罗·加斯丁 4 2000 关于二次方程式。 兹伯利0928.68088 约翰·迈克尔·罗布森；沃尔克·迪克特 10 1999 解模部分交换的字方程。 Zbl 0930.68074号 沃尔克·迪克特；尤里·马蒂亚塞维奇；安卡·穆斯科尔 6 1999 二次方程式。 Zbl 0944.68151号 沃尔克·迪克特；约翰·迈克尔·罗布森 6 1999 Mazurkiewicz迹的一种表示完整的时态逻辑，没有过去时操作符。 Zbl 0942.03028号 沃尔克·迪克特；保罗·加斯丁 2 1999 一些恒等式与自动机、行列式和Möbius函数有关。 Zbl 1047.68076号 沃尔克·迪克特；小林，Yuji 2 1999 描述时间自动机中无声转换的表达能力。 Zbl 0930.68077号 贝拉德，贝特里奇；安托万·佩蒂特；沃尔克·迪克特；保罗·加斯丁 39 1998 近似轨迹。 Zbl 0912.68128号 沃尔克·迪克特；保罗·加斯丁 2 1998 删除时间自动机中的\（\ε\）-转换。 Zbl 1498.68135号 沃尔克·迪克特；保罗·加斯丁；安托万·佩蒂特 8 1997 使用字典正规形式求解跟踪方程。 Zbl 1401.68161号 沃尔克·迪克特；尤里·马蒂亚塞维奇；安卡·穆斯科尔 三 1997 跟踪上的代码问题。 Zbl 0889.68092号 沃尔克·迪克特；安卡·穆斯科尔 2 1996 关于Métiver为三角图构造异步自动机的注记。 Zbl 0843.68072号 沃尔科特·迪克特；安卡·穆斯科尔 2 1996 跟踪重写：计算时间内的正规形式（mathcal O（n\log n））。 Zbl 1379.68193号 迈克尔·贝尔托尔；沃尔克·迪克特 1 1996 理性和可识别的复杂跟踪语言。 Zbl 0818.68073号 沃尔克·迪克特；保罗·加斯丁；安托万·佩蒂特 6 1995 关于单规则追踪-再写系统的融合。 兹伯利083768055 沃索尔，C。；V·迪克特。 6 1995 关于痕迹编码。 Zbl 1379.68243号 沃尔克·迪克特；安卡·穆斯科尔；克劳斯·莱因哈特 5 1995 并发终止域Mazurkiewicz迹的推广（扩展抽象）。 Zbl 1412.68150号 沃尔克·迪克特；保罗·加斯丁 2 1995 无限跟踪的确定性异步自动机。 Zbl 0818.68100号 沃尔克·迪克特；安卡·穆斯科尔 7 1994 Petri网的部分跟踪语义。 Zbl 0823.68058号 V·迪克特。 5 1994 部分记录道。 兹比尔0875.68719 沃尔克·迪克特 1 1994 …还有26个文档 所有引用出版物 前5名被引用出版物 全部的 前5名557位作者引用 52 沃尔克·迪克特 27 保罗·加斯丁 19 亚历克谢·米亚斯尼科夫（Alexei G.Myasnikov）。 17 马库斯·洛伊 16 曼弗雷德·库夫莱特纳 14 曼弗雷德·德罗斯特 12 迪特里赫·库斯克 11 Elder，Murray J。 11 安卡·穆斯科尔 11 阿敏·韦 9 萨米·阿贝斯 9 弗里德里希·奥托 8 弗罗林·马内亚 8 佩德罗·席尔瓦。 7 劳拉·乔巴努 7 奥尔加·G·哈兰波维奇。 7 安托万·C·佩蒂特。 6 贝拉德，贝特里奇 6 斯特凡·霍夫曼 6 德克·诺沃特卡 6 托马斯·普莱斯 6 塞尼泽格斯，热罗 6 本杰明·斯坦伯格 6 韦尔·帕斯卡 6 马克·泽顿 5 贝内迪克特·博利格 5 斯特芬·科佩基 5 菲利普·施诺贝伦 5 托拜厄斯·沃尔特 4 巴拉特·阿德苏尔 4 戴，乔尔·D·。 4 罗伯特·D·格雷。 4 乌尔里希·赫斯特兰夫 4 伊利亚·哈萨克科夫五世。 4 Jean Mairesse女士 4 帕里托什·K·潘迪亚。 4 Doron A.Peled。 4 亚当·皮戈特 4 萨普塔什·萨卡尔 4 理查德·托马斯（Richard M.Thomas）。 4 斯维特拉·瓦西列娃 三 达纳·安格鲁因 三 帕特里夏·鲍耶 三 维罗尼克·布鲁埃 三 艾伦·J·凯恩。 三 蒙特塞拉特卡萨尔斯-鲁伊斯 三 安德鲁·邓肯。 三 达纳·菲斯曼 三 多米尼克·D·弗雷登伯格。 三 罗伯特·H·吉尔曼。 三 马西米利亚诺·戈德伍姆 三 谢尔盖，哈达德 三 德里克·霍尔特（Derek F.Holt）。 三 杰·阿图尔 三 托马斯·卡尔 三 小林，Yuji 三 马丁·兰格 三 拉诺特，拉格罗 三 亚历山大·劳瑟 三 亚历克斯·J·莱文。 三 伊戈尔·杰伦特·利塞诺克 三 克劳斯·马德勒（Klaus E.Madlener）。 三 巴利亚特·纳伦德兰 三 Nyberg-Brodda，Carl-Fredrik公司 三 沃伊切赫·普兰多夫斯基 三 乔治·拉霍尼斯 三 安东尼奥·雷斯蒂沃 三 马库斯·施密德。 三 维克托·勒沃维奇·塞利瓦诺夫 三 佩特拉·沃尔夫 三 亚历山大·扎哈罗夫 三 乔治·泽采 2 普拉奈阿格拉瓦尔 2 伯恩哈德·艾切尼格（Bernhard K.Aichernig）。 2 博格丹阿莱库 2 豪尔赫·阿尔梅达 2 霍尔格·奥斯汀 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 乌迪·博克 2 费利佩·布拉乔 2 托马斯·布里海耶 2 安德烈·卡瓦略 2 纳米特·查图尔维迪 2 Chebotarev，Anatoli N。 2 洛伦佐·克莱门特 2 克雷斯皮·雷吉齐（Crespi Reghizzi）、斯特凡诺（Stefano） 2 弗朗索瓦·达赫马尼 2 凯瑟琳·杜福尔德 2 瓦莱里·杜内夫（Valeri Durnev，Georgievich） 2 沃纳·埃宾格 2 亚历克斯·埃维茨 2 乌里·法伦贝格 2 阿兰·芬克尔 2 玛丽·何塞·福廷 2 福里·希·威特 2 弗赖夫德斯、拉西什·毛尔蒂 2 阿尔伯特·加雷塔 2 马库斯·盖尔德里 2 皮埃尔·卢伊斯·吉斯卡德 2 乔瓦娜·瓜亚纳 …还有457位作者 全部的 前5名89篇连载文章中引用 78 理论计算机科学 27 信息与计算 23 国际代数与计算杂志 20 代数杂志 14 计算机与系统科学杂志 13 计算系统理论 13 计算机科学中的逻辑方法 12 信息学报 11 信息处理信件 11 系统设计中的形式化方法 9 国际计算机科学基础杂志 7 离散数学 7 半群论坛 6 组、复杂性、密码学 5 数学系统理论 4 美国数学学会会刊 4 算法学 三 以色列数学杂志 三 纯粹与应用代数杂志 三 符号计算杂志 三 实时系统 三 RAIRO公司。Informatique Théorique et Applications公司 三 控制论与系统分析 三 群论杂志 三 计算机基础理论 三 澳大利亚数学学会杂志 三 RAIRO公司。理论信息学及其应用 2 应用数学与计算 2 组合理论杂志。系列A 2 组合数学 2 复杂性杂志 2 自动推理杂志 2 SIAM离散数学杂志 2 计算的形式方面 2 逻辑、语言与信息杂志 2 数学科学杂志（纽约） 2 离散数学和理论计算机科学。DMTCS公司 2 代数杂志及其应用 2 数学科学公报 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 代数通讯 1 离散应用数学 1 统计物理学杂志 1 计算数学 1 汉堡大学Abhandlungen aus dem Mathematischen研讨会 1 代数与逻辑 1 《伦敦数学学会通报》 1 数学出版物 1 图论杂志 1 符号逻辑杂志 1 数学手稿 1 数学年刊 1 Mathematische Nachrichten数学 1 美国数学学会回忆录 1 美国数学学会会刊 1 应用数学进展 1 遍历理论和动力系统 1 纯逻辑与应用逻辑年鉴 1 离散和计算几何 1 理论概率杂志 1 宣传Matemátiques 1 数学论坛 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 分布式计算 1 计算复杂性 1 应用非经典逻辑杂志 1 埃及数学学会杂志 1 组合数学电子杂志 1 选择Mathematica。新系列 1 Izvestiya：数学 1 几何和拓扑 1 图形算法与应用杂志 1 当代数学传播 1 代数和几何拓扑 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 ACM计算逻辑事务 1 应用逻辑杂志 1 并行处理信件 1 Steklov数学研究所学报 1 组、几何体和动力学 1 拓扑与分析杂志 1 计算机科学评论 1 喀尔巴阡数学出版物 1 ISRN组合数学 1 组合数学、物理学及其相互作用 1 范畴和一般代数结构及其应用 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名27个领域被引用 384 计算机科学（68至XX） 148 群论与推广（20-XX） 106 数学逻辑和基础（03-XX） 31 组合数学（05-XX） 9 数论（11-XX） 8 动力系统和遍历理论（37至XX） 7 有序，格，有序代数结构（06-XX） 6 概率论与随机过程（60-XX） 5 流形和细胞复合体（57至XX） 4 范畴理论；同调代数（18-XX） 4 一般拓扑结构（54-XX） 三 交换代数（13-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 三 结合环与代数（16-XX） 2 一般代数系统（08-XX） 2 场论和多项式（12-XX） 2 非结合环和代数（17-XX） 2 运筹学、数学规划（90-XX） 1 偏微分方程（35-XX） 1 功能分析（46倍X倍） 1 几何图形（51至XX） 1 微分几何（53至XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文