编辑配置文件(在新选项卡中打开) 曼弗雷德·德罗斯特 合著者距离 作者ID: droste.manafred公司 发布日期: 曼弗雷德·德罗斯特;德罗斯特,M。 已编制索引的文档: 187出版物自1979年以来,包括3本书 16作为编辑的贡献 审查活动: 54评论 合著者: 78位合著者具有163联合出版物 2156位联合作者 全部的 前5名合著者 34 单作者的 21 福格勒、海科 19 吕迪格,戈贝尔 15 沃纳·库奇 14 迪特里赫·库斯克 10 保罗·加斯丁 10 乔治·拉霍尼斯 8 约翰·肯尼思·特鲁斯 7 维塔利·佩雷沃什奇科夫 6 Wilbur Charles jun,荷兰。 6 英格玛·梅内克 5 斯特凡·杜克 5 佐尔坦,福尔öp 5 米歇尔·吉拉德 5 杜加尔德·麦克弗森 5 雷·迈克尔·肖特 4 帕瓦内·巴巴里 4 费利佩·布拉乔 4 斯文·齐亚德克 4 佐尔坦·埃西克 4 多琳·戈策 4 麦弗逊、休·杜加尔德 三 福斯,拉兹洛 三 达维德·科什奥 三 萨拉、撒哈拉 三 Strüngmann,Lutz H。 2 米罗斯拉夫·奇·伊里奇。 2 路易莎·赫尔曼 2 多琳·黑塞尔 2 特默尔库西亚 2 迪诺·曼德里奥利 2 比巴尔乔姆,邦迪特 2 莱因哈德·普舍尔 2 普拉德拉,马泰奥 2 卡琳·夸斯 2 沃尔夫冈·施赖纳 2 帐篷,凯特琳 1 鲍尔,理查德·N。 1 安德烈亚斯·拉斐尔·布拉斯 1 瓦西里·布卢多夫 1 保罗·博尔迪 1 费利斯·卡多内 1 帕特里克·塞吉尔斯基 1 伊凡·查伊达 1 纳胡姆德肖维茨 1 格恩瑟·艾根塔勒 1 伯恩德·芬克贝纳 1 安德鲁·M·W·格拉斯。 1 布伦丹·戈德史密斯 1 古斯塔夫·格拉博勒 1 罗伯特·D·格雷。 1 尤里·古里维奇 1 黄方平 1 伊格尼亚托维奇(Jelena Ignjatović) 1 贾科·卡里 1 科齐里亚斯(Ilias S.Kotsireas)。 1 雷、李辉 1 李永明 1 安德烈亚斯·马莱蒂 1 斯特芬·梅克尔 1 斯蒂芬·麦克利利。 1 拉尔夫·麦肯齐(Ralph N.McKenzie)。 1 艾伦·H·梅克尔。 1 温弗里德·穆勒(Winfried B.Muller)。 1 埃里克·保罗 1 克里斯蒂安·佩奇 1 销,Jean-Eric 1 塞巴斯蒂安·波库塔 1 乌尔里克·普什曼 1 伊戈尔·里文 1 罗伯特·罗兰 1 雅克·萨卡罗维奇 1 阿尔托·库斯塔·萨洛马 1 诺伯特·W·绍尔。 1 什埃什埃尔贾,布朗尼米尔 1 保拉·斯坦比 1 托尔斯滕·苏贝尔 1 安德烈亚·特帕夫切维奇 1 乔治·乌尔布里奇 全部的 前5名系列 19 理论计算机科学 14 信息与计算 10 国际计算机科学基础杂志 7 订单 5 代数普遍性 4 美国数学学会会刊 4 数学论坛 4 计算系统理论 三 《伦敦数学学会通报》 三 信息科学 三 伦敦数学学会会刊。第三系列 三 美国数学学会会刊 三 国际代数与计算杂志 三 MSCS公司。计算机科学中的数学结构 三 自动机、语言和组合学杂志 三 计算机基础理论 2 以色列数学杂志 2 控制论学报 2 组合理论杂志。系列A 2 组合理论杂志。B系列 2 伦敦数学学会杂志。第二系列 2 太平洋数学杂志 2 数学季刊。牛津第二系列 2 半群论坛 2 应用的分类结构 2 代数、逻辑和应用 2 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 离散数学 1 信息处理信件 1 数学物理杂志 1 剑桥哲学学会数学进展杂志 1 数学档案馆 1 加拿大数学杂志 1 演示数学 1 格拉斯哥数学杂志 1 代数杂志 1 计算机与系统科学杂志 1 数学心理学杂志 1 数学手稿 1 斯洛伐克数学 1 美国数学学会回忆录 1 拓扑及其应用 1 欧洲组合数学杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 逻辑与计算杂志 1 俄罗斯数学 1 数学逻辑季刊(MLQ) 1 软计算 1 群论杂志 1 研讨会,柏林洪堡大学,Sektion Mathematik 1 当代数学 1 对普通代数的贡献 1 理论计算机科学专著。EATCS系列 全部的 前5名领域 125 计算机科学(68至XX) 60 数学逻辑和基础(03-XX) 58 群论与推广(20-XX) 50 阶、格、有序代数结构(06-XX) 15 总体主题;集合(00-XX) 11 范畴理论;同调代数(18-XX) 10 组合数学(05-XX) 7 结合环与代数(16-XX) 5 一般代数系统(08-XX) 4 测量和集成(28-XX) 4 概率论与随机过程(60-XX) 三 历史和传记(01-XX) 三 一般拓扑结构(54-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 流形和细胞复合体(57至XX) 1 交换代数(13-XX) 1 拓扑群、李群(22日至XX日) 1 动力系统和遍历理论(37至XX) 1 相对论和引力理论(83-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 166出版物有1528年被引用中的次684文件 引用人▼ 年份▼ 加权自动机手册。 Zbl 1200.68001号 244 2009 加权自动机和加权逻辑。 Zbl 1118.68076号 曼弗雷德·德罗斯特;保罗·加斯丁 90 2007 加权自动机和加权逻辑。 Zbl 1084.03036号 曼弗雷德·德罗斯特;保罗·加斯丁 40 2005 加权树自动机和加权逻辑。 兹比尔1154.68068 曼弗雷德·德罗斯特;福格勒、海科 39 2006 具有传递自同构群的偏序集的结构。 兹比尔0574.06001 曼弗雷德·德罗斯特 36 1985 强双单子体上的加权有限自动机。 Zbl 1183.68337号 曼弗雷德·德罗斯特;托尔斯滕·苏贝尔;福格勒、海科 36 2010 任意有界格上的加权自动机和多值逻辑。 Zbl 1245.03060号 曼弗雷德·德罗斯特;福格勒、海科 33 2012 强双半群上加权有限自动机的判定。 Zbl 1205.68198号 米罗斯拉夫·奇·伊里奇;曼弗雷德·德罗斯特;伊格尼亚托维奇(Jelena Ignjatović);福格勒、海科 31 2010 半环和形式幂级数。 Zbl 1484.68082号 曼弗雷德·德罗斯特;沃纳·库奇 29 2009 加权自动机和加权MSO逻辑用于平均和长期行为。 Zbl 1279.68148号 曼弗雷德·德罗斯特;英格玛·梅内克 26 2012 生成链的自同构群。 Zbl 1093.20016号 曼弗雷德·德罗斯特;荷兰,W.Charles 25 2005 无限单词上的加权自动机和加权逻辑。 Zbl 1227.68053号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 22 2006 置换群的不可数余终结性。 兹比尔1070.20001 曼弗雷德·德罗斯特;吕迪格,戈贝尔 21 2005 普适对象的范畴定理及其在阿贝尔群理论和计算机科学中的应用。 Zbl 0759.18002号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 20 1992 无限半线性阶的自同构群。一、。 Zbl 0636.20003号 德罗斯特,M。;西卡罗来纳州荷兰。;H.D.麦克弗森。 19 1989 斜幂级数和无穷形式幂级数。 Zbl 1154.68067号 曼弗雷德·德罗斯特;迪特里赫·库斯克 18 2006 加权树自动机的Kleene定理。 Zbl 1061.68092号 曼弗雷德·德罗斯特;克里斯蒂安·佩奇;福格勒、海科 16 2005 未分级树自动机的加权逻辑。 Zbl 1226.03048号 曼弗雷德·德罗斯特;福格勒、海科 16 2011 赋值幺半群上的加权自动机和正则表达式。 兹比尔1251.68130 曼弗雷德·德罗斯特;英格玛·梅内克 16 2011 单词和树上的多值MSO逻辑。 Zbl 1157.03016号 曼弗雷德·德罗斯特;沃纳·库奇;乔治·拉霍尼斯 14 2008 赋值幺半群上的加权树自动机及其加权逻辑表征。 Zbl 1331.68127号 曼弗雷德·德罗斯特;多琳·戈策;斯特芬·梅克尔;英格玛·梅内克 14 2011 加权自动机。 Zbl 1508.68189号 曼弗雷德·德罗斯特;迪特里赫·库斯克 14 2021 带折扣的加权自动机和加权逻辑。 Zbl 1191.68382号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 13 2009 关于置换的Baer、Schreier和Ulam定理。 Zbl 0416.20001号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 13 1979 通用域和合并属性。 Zbl 0803.68068号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 13 1993 通过加权MSO逻辑描述平均和长期行为。 兹比尔1287.03087 曼弗雷德·德罗斯特;英格玛·梅内克 13 2010 集合同源图。 Zbl 0799.03034号 曼弗雷德·德罗斯特;米歇尔·吉拉德;杜加尔德·麦克弗森;诺伯特·绍尔 13 1994 事件结构和域。 Zbl 0678.68080号 曼弗雷德·德罗斯特 13 1989 加权时间自动机和加权相对距离逻辑的Nivat定理。 Zbl 1409.68158号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 13 2014 具有并发关系的Petri网和自动机一种附加物。 Zbl 0795.18003号 曼弗雷德·德罗斯特;R·M·肖特。 12 1993 并发自动机和域。 Zbl 0820.68045号 曼弗雷德·德罗斯特 12 1992 斜幂级数和无穷形式幂级数。 Zbl 1039.68065号 曼弗雷德·德罗斯特;迪特里赫·库斯克 12 2003 任意有界格上加权自动机和多值逻辑的Kleene和Büchi定理。 Zbl 1250.03063号 曼弗雷德·德罗斯特;福格勒、海科 11 2010 关于齐次半格及其自同构群。 Zbl 0945.06001号 曼弗雷德·德罗斯特;迪特里赫·库斯克;约翰·特拉斯。 11 1999 用于pomsets的异步细胞自动机。 Zbl 0949.68086号 德罗斯特,M。;加斯丁,P。;库斯克,D。 11 2000 无限半线性阶的自同构群。二、。 Zbl 0636.20004号 德罗斯特,M。;西卡罗来纳州荷兰。;H.D.麦克弗森。 11 1989 部分交换变量形式幂级数的Kleene-Schützenberger定理。 Zbl 1045.68589号 曼弗雷德·德罗斯特;保罗·加斯丁 10 1999 所有群都是简单群的外自同构群。 Zbl 1015.20027号 曼弗雷德·德罗斯特;米歇尔·吉拉德;吕迪格,戈贝尔 10 2001 无限对称群的通用词类。 Zbl 0569.20005年 曼弗雷德·德罗斯特 10 1985 非确定性信息系统及其领域。 Zbl 0701.68074号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 10 1990 共轭置换的乘积。 Zbl 0432.20002号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 9 1981 并发幺半群中的可识别语言。 Zbl 0874.68167号 曼弗雷德·德罗斯特 9 1995 在稳定域上。 Zbl 0777.68061号 曼弗雷德·德罗斯特 9 1993 可除幺半群中的可识别语言。 Zbl 0994.68083号 曼弗雷德·德罗斯特;迪特里赫·库斯克 9 2001 关于随机关系结构。 兹比尔1026.03020 曼弗雷德·德罗斯特;迪特里赫·库斯克 9 2003 无穷对称群共轭类的乘积。 Zbl 0539.20003号 曼弗雷德·德罗斯特 9 1983 部分交换变量的非周期无星形式幂级数。 Zbl 0961.68076号 曼弗雷德·德罗斯特;保罗·加斯丁 8 2000 并发、自动机和域。 Zbl 0765.68100号 曼弗雷德·德罗斯特 8 1990 标记域和具有并发性的自动机。 Zbl 0829.68087号 费利佩·布拉乔;曼弗雷德·德罗斯特 8 1994 链的双传递自同构群的正规子群。 Zbl 0578.06001号 鲍尔,理查德·N。;曼弗雷德·德罗斯特 8 1985 加权自动机和带折扣的加权逻辑。 Zbl 1139.68361号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 8 2007 半环上的加权有限自动机。 Zbl 1292.68103号 曼弗雷德·德罗斯特;沃纳·库奇 8 2013 通用齐次因果集。 Zbl 1111.83016号 曼弗雷德·德罗斯特 7 2005 具有传递自同构群的部分序集。 Zbl 0582.06006号 曼弗雷德·德罗斯特 7 1987 线性序集的2-传递自同构群的正规子群格。 Zbl 0583.06001号 曼弗雷德·德罗斯特 7 1985 具有存储行为的加权MSO逻辑及其Büchi-Elgot-Trakhtenbrot定理。 Zbl 1443.03018号 福格勒、海科;曼弗雷德·德罗斯特;路易莎·赫尔曼 7 2016 定量无上下文语言的Chomsky-Schützenberger定理。 Zbl 1315.68169号 曼弗雷德·德罗斯特;福格勒、海科 7 2014 多值系统中线性时间特性的模型检验。 Zbl 1428.68188号 李永明;曼弗雷德·德罗斯特;雷、李辉 7 2017 \(\kappa)-同质关系和比赛。 Zbl 0678.04001号 曼弗雷德·德罗斯特 7 1989 加权自动机和加权逻辑。 兹比尔1484.68081 曼弗雷德·德罗斯特;保罗·加斯丁 7 2009 关于具有序完备权重的加权Büchi自动机。 Zbl 1120.68066号 曼弗雷德·德罗斯特;乌尔里克·普什曼 6 2007 任意环和序上的McLain群。 Zbl 0839.20050 曼弗雷德·德罗斯特;吕迪格,戈贝尔 6 1995 泛分配格的自同构群。 Zbl 1013.06009号 曼弗雷德·德罗斯特;杜加尔德·麦克弗森 6 2000 关于形式幂级数的变换。 Zbl 1055.68066号 曼弗雷德·德罗斯特;张国强 6 2003 并发自动机中计算的依赖顺序表示。 Zbl 0902.68126号 费利佩·布拉乔;曼弗雷德·德罗斯特;迪特里赫·库斯克 6 1997 图上的加权自动机和逻辑。 兹比尔1465.68140 曼弗雷德·德罗斯特;斯特凡·杜克 6 2015 树赋值幺半群上的加权无秩树自动机及其加权逻辑表征。 Zbl 1465.68141号 曼弗雷德·德罗斯特;多琳·黑塞尔;福格勒、海科 6 2015 加权时间自动机的Kleene-Schützenberger定理。 Zbl 1139.68031号 曼弗雷德·德罗斯特;卡琳·夸斯 6 2008 部分交换变量的非周期无星形式幂级数。 Zbl 1140.68032号 曼弗雷德·德罗斯特;保罗·加斯丁 6 2008 覆盖无限对称群的共轭类的立方。 Zbl 0526.20003号 曼弗雷德·德罗斯特 6 1985 论置换群中词汇系统的普遍性。 Zbl 0541.20003号 曼弗雷德·德罗斯特;萨拉、撒哈拉 6 1987 测量理论中的序数刻度。 2012年6月6日 曼弗雷德·德罗斯特 6 1987 定量无上下文语言的Chomsky-Schützenberger定理。 Zbl 1381.68114号 曼弗雷德·德罗斯特;福格勒、海科 6 2013 关于k-齐次偏序集和图。 Zbl 0724.06002号 德罗斯特,M。;H.D.麦克弗森。 6 1991 刚性链允许许多嵌入件。 Zbl 0963.06001号 德罗斯特,M。;斯特拉斯,J.K。 5 2001 齐次半线性序的自同构群:正规子群和交换子。 Zbl 0778.06001号 德罗斯特,M。;西卡罗来纳州荷兰。;H.D.麦克弗森。 5 1991 覆盖物延伸。 Zbl 1213.57007号 曼弗雷德·德罗斯特;伊戈尔·里文 5 2010 加权无秩树自动机的支持。 Zbl 1341.68088号 曼弗雷德·德罗斯特;多琳·黑塞尔 5 2015 线性序集的2-传递自同构群的所有正规子群格的构造。 兹比尔0608.06001 曼弗雷德·德罗斯特;萨拉、撒哈拉 5 1985 带折扣的加权自动机。 Zbl 1186.68253号 曼弗雷德·德罗斯特;雅克·萨卡罗维奇;福格勒、海科 5 2008 线性和偏序自同构群的不可数余终结性。 Zbl 1192.06002号 曼弗雷德·德罗斯特;约翰·K·特鲁斯。 5 2009 关于具有不可数余终结性的保测度变换和遍历变换的全群。 Zbl 1146.20029号 曼弗雷德·德罗斯特;荷兰,W.Charles;乔治·乌尔布里奇 5 2008 无限嵌套单词的加权自动机和逻辑。 Zbl 1364.68249号 曼弗雷德·德罗斯特;斯特凡·杜克 5 2017 刚性可测空间的存在性。 兹伯利0669.28001 曼弗雷德·德罗斯特 5 1989 具体数据结构的递归域方程。 Zbl 0679.68149号 曼弗雷德·德罗斯特 5 1989 多维自动机和MSO逻辑。 Zbl 1344.68117号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 5 2013 加权树自动机在加性局部有限和后有限单调强双半群上的Crisp-determination是可判定的。 Zbl 1496.68207号 曼弗雷德·德罗斯特;佐尔坦,福尔öp;达维德·科什奥;福格勒、海科 5 2020 数据字上的加权寄存器自动机和加权逻辑。 Zbl 1400.68097号 巴巴里,帕尔瓦内;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2018 双限定Chu空间。 Zbl 1214.68206号 曼弗雷德·德罗斯特;张国强 4 2007 全序集的自同构群:回顾性调查。 Zbl 1265.06048号 V.V.布鲁多夫。;德罗斯特,M。;格拉斯,A.M.W。 4 2011 周期有序置换群和循环有序。 Zbl 0821.20001 曼弗雷德·德罗斯特;米歇尔·吉拉德;杜加尔德·麦克弗森 4 1995 无圈偏序的简单自同构群。 Zbl 0922.20008号 德罗斯特,M。;斯特拉斯,J.K。;R.沃伦。 4 1999 数据字上的加权寄存器自动机和加权逻辑。 兹比尔1482.68124 帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2016 多维自动机和MSO逻辑。 Zbl 1356.68130号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2016 加权定时下推自动机的逻辑。 Zbl 1465.68142号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2015 定时下推语言的逻辑特征。 Zbl 1466.68050号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2015 具有指定自同态幺半群的绝对图。 Zbl 1143.05040号 曼弗雷德·德罗斯特;吕迪格,戈贝尔;塞巴斯蒂安·波库塔 4 2008 从域到具有并发性的自动机。 Zbl 1418.68134号 费利佩·布拉乔;曼弗雷德·德罗斯特 4 1993 并发自动机中可识别和逻辑定义的无限计算语言。 Zbl 1319.68133号 曼弗雷德·德罗斯特;迪特里赫·库斯克 4 1998 强Blackwell空间的超刚性族。 Zbl 0657.28004号 曼弗雷德·德罗斯特 4 1988 后有限单调强双半群上加权树自动机的有限映像性质。 Zbl 07524445号 曼弗雷德·德罗斯特;佐尔坦,福尔öp;达维德·科什奥;福格勒、海科 三 2022 \(\omega\)-下推自动机的逻辑。 Zbl 1491.68097号 曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 2 2022 代数系统和加权简单下推自动机的Greibach范式。 Zbl 1518.68167号 曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 1 2022 加权自动机。 Zbl 1508.68189号 曼弗雷德·德罗斯特;迪特里赫·库斯克 14 2021 加权树自动机在加性局部有限和后有限单调强双半群上的Crisp-determination是可判定的。 Zbl 1496.68207号 曼弗雷德·德罗斯特;佐尔坦,福尔öp;达维德·科什奥;福格勒、海科 5 2020 逻辑与计算领域III.在尤里·古雷维奇80岁生日之际为他撰写的论文。 Zbl 1498.03010号 2 2020 McCarthy-Kleene模糊自动机和MSO逻辑。 Zbl 1443.68087号 曼弗雷德·德罗斯特;特默尔库西亚;乔治·拉霍尼斯;沃尔夫冈·施赖纳 1 2020 带存储的加权自动机。 Zbl 1435.68164号 路易莎·赫尔曼;福格勒、海科;曼弗雷德·德罗斯特 4 2019 加权图像自动机和加权MSO逻辑的Nivat定理。 兹比尔1423.68242 帕瓦内·巴巴里;曼弗雷德·德罗斯特 三 2019 非周期加权自动机和加权一阶逻辑。 Zbl 07561720号 曼弗雷德·德罗斯特;保罗·加斯丁 三 2019 加权简单重置下推自动机。 Zbl 1427.68144号 曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 2 2019 树赋值幺半群上加权树自动机的Kleene定理。 Zbl 1439.68014号 多琳·戈策;佐尔坦,福尔öp;曼弗雷德·德罗斯特 2 2019 代数系统和加权简单下推自动机的Greibach范式。 Zbl 1504.68098号 曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 1 2019 加权寄存器自动机和数据字上的加权逻辑。 Zbl 1400.68097号 帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2018 加权欧米伽受限单计数器自动机。 Zbl 1390.68386号 曼弗雷德·德罗斯特;沃纳·库奇 2 2018 加权MSO逻辑的Feferman-Vaugh分解定理。 Zbl 1528.03152号 曼弗雷德·德罗斯特;埃里克·保罗 1 2018 多值系统中线性时间特性的模型检验。 Zbl 1428.68188号 李永明;曼弗雷德·德罗斯特;雷、李辉 7 2017 无限嵌套单词的加权自动机和逻辑。 Zbl 1364.68249号 曼弗雷德·德罗斯特;斯特凡·杜克 5 2017 加权运算符优先语言。 兹比尔1441.68121 曼弗雷德·德罗斯特;斯特凡·杜克;迪诺·曼德里奥利;普拉德拉,马泰奥 三 2017 加权下推自动机的三层结构。 Zbl 1483.68163号 曼弗雷德·德罗斯特;佐尔坦·埃西克;沃纳·库奇 2 2017 MK-模糊自动机和MSO逻辑。 Zbl 1483.68164号 曼弗雷德·德罗斯特;特默尔库西亚;乔治·拉霍尼斯;沃尔夫冈·施赖纳 2 2017 无秩树上数量自动机的Nivat定理。 Zbl 1431.68057号 曼弗雷德·德罗斯特;多琳·戈策 2 2017 加权(ω)下推自动机的Kleene定理。 Zbl 1389.68041号 曼弗雷德·德罗斯特;沃纳·库奇 1 2017 具有存储行为的加权MSO逻辑及其Büchi-Elgot-Trakhtenbrot定理。 Zbl 1443.03018号 福格勒、海科;曼弗雷德·德罗斯特;路易莎·赫尔曼 7 2016 数据字上的加权寄存器自动机和加权逻辑。 Zbl 1482.68124号 帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2016 多维自动机和MSO逻辑。 Zbl 1356.68130号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2016 树赋值幺半群上加权树自动机的Kleene定理。 Zbl 1443.68086号 曼弗雷德·德罗斯特;佐尔坦,福尔öp;多琳·戈策 1 2016 加权线性动态逻辑。 Zbl 1478.03065号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 1 2016 图上的加权自动机和逻辑。 兹比尔1465.68140 曼弗雷德·德罗斯特;斯特凡·杜克 6 2015 树赋值幺半群上的加权无秩树自动机及其加权逻辑表征。 Zbl 1465.68141号 曼弗雷德·德罗斯特;多琳·黑塞尔;福格勒、海科 6 2015 加权无秩树自动机的支持。 Zbl 1341.68088号 曼弗雷德·德罗斯特;多琳·黑塞尔 5 2015 加权定时下推自动机的逻辑。 兹比尔1465.68142 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2015 定时下推语言的逻辑特征。 Zbl 1466.68050号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 4 2015 加权图像自动机和加权MSO逻辑的Nivat定理。 Zbl 1423.68241号 帕瓦内·巴巴里;曼弗雷德·德罗斯特 2 2015 加权时间自动机和加权相对距离逻辑的Nivat定理。 Zbl 1409.68158号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 13 2014 定量无上下文语言的Chomsky-Schützenberger定理。 Zbl 1315.68169号 曼弗雷德·德罗斯特;福格勒、海科 7 2014 强双模上的加权嵌套词自动机和逻辑。 Zbl 1310.68129号 曼弗雷德·德罗斯特;比巴尔乔姆,邦迪特 三 2014 无限嵌套单词的加权自动机和逻辑。 Zbl 1364.68248号 曼弗雷德·德罗斯特;斯特凡·杜克 2 2014 康威和迭代半环。二、。 Zbl 1369.16049号 德罗斯特,M。;埃西克,Z。;W.Kuich。 1 2014 半环上的加权有限自动机。 Zbl 1292.68103号 曼弗雷德·德罗斯特;沃纳·库奇 8 2013 定量无上下文语言的Chomsky-Schützenberger定理。 Zbl 1381.68114号 曼弗雷德·德罗斯特;福格勒、海科 6 2013 多维自动机和MSO逻辑。 Zbl 1344.68117号 曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 5 2013 内射映射幺半群的正规子半群。 Zbl 1288.20087号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 2 2013 任意有界格上的加权自动机和多值逻辑。 Zbl 1245.03060号 曼弗雷德·德罗斯特;福格勒、海科 33 2012 加权自动机和加权MSO逻辑用于平均和长期行为。 Zbl 1279.68148号 曼弗雷德·德罗斯特;英格玛·梅内克 26 2012 强双模上的加权嵌套词自动机和逻辑。 Zbl 1297.68124号 曼弗雷德·德罗斯特;比巴尔乔姆,邦迪特 2 2012 未分级树自动机的加权逻辑。 Zbl 1226.03048号 曼弗雷德·德罗斯特;福格勒、海科 16 2011 赋值幺半群上的加权自动机和正则表达式。 Zbl 1251.68130号 曼弗雷德·德罗斯特;英格玛·梅内克 16 2011 赋值幺半群上的加权树自动机及其加权逻辑表征。 Zbl 1331.68127号 曼弗雷德·德罗斯特;多琳·戈策;斯特芬·梅克尔;英格玛·梅内克 14 2011 全序集的自同构群:回顾性调查。 Zbl 1265.06048号 V.V.布鲁多夫。;德罗斯特,M。;格拉斯,A.M.W。 4 2011 加权时间自动机的Kleene-Schützenberger定理。 兹比尔1217.68128 曼弗雷德·德罗斯特;卡琳·夸斯 三 2011 可数泛分配格的自同构群的不可数余终结性。 Zbl 1245.06017号 德罗斯特,M。;斯特拉斯,J.K。 三 2011 正则表达式的平均值和长期值。 Zbl 1297.68123号 曼弗雷德·德罗斯特;英格玛·梅内克 2 2011 加权有限转移系统的级联分解。 Zbl 1221.68126号 曼弗雷德·德罗斯特;英格玛·梅内克;什埃什埃尔贾,布朗尼米尔;安德烈亚·特帕夫切维奇 1 2011 强双单子体上的加权有限自动机。 Zbl 1183.68337号 曼弗雷德·德罗斯特;托尔斯滕·苏贝尔;福格勒、海科 36 2010 强双半群上加权有限自动机的判定。 Zbl 1205.68198号 米罗斯拉夫·奇·伊里奇;曼弗雷德·德罗斯特;伊格尼亚托维奇(Jelena Ignjatović);福格勒、海科 31 2010 通过加权MSO逻辑描述平均和长期行为。 Zbl 1287.03087号 曼弗雷德·德罗斯特;英格玛·梅内克 13 2010 任意有界格上加权自动机和多值逻辑的Kleene和Büchi定理。 兹比尔1250.03063 曼弗雷德·德罗斯特;福格勒、海科 11 2010 覆盖物延伸。 Zbl 1213.57007号 曼弗雷德·德罗斯特;伊戈尔·里文 5 2010 双限定Chu空间。 Zbl 1189.68073号 曼弗雷德·德罗斯特;张国强 三 2010 无限单词上的加权自动机和加权逻辑。 Zbl 1184.68314号 德罗斯特,M。;G.拉霍尼斯。 2 2010 加权自动机手册。 Zbl 1200.68001号 244 2009 半环和形式幂级数。 Zbl 1484.68082号 曼弗雷德·德罗斯特;沃纳·库奇 29 2009 带折扣的加权自动机和加权逻辑。 Zbl 1191.68382号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 13 2009 加权自动机和加权逻辑。 Zbl 1484.68081号 曼弗雷德·德罗斯特;保罗·加斯丁 7 2009 线性和偏序自同构群的不可数余终结性。 兹比尔1192.06002 曼弗雷德·德罗斯特;约翰·K·特鲁斯。 5 2009 单词和树上的多值MSO逻辑。 Zbl 1157.03016号 曼弗雷德·德罗斯特;沃纳·库奇;乔治·拉霍尼斯 14 2008 加权时间自动机的Kleene-Schützenberger定理。 Zbl 1139.68031号 曼弗雷德·德罗斯特;卡琳·夸斯 6 2008 部分交换变量的非周期无星形式幂级数。 Zbl 1140.68032号 曼弗雷德·德罗斯特;保罗·加斯丁 6 2008 带折扣的加权自动机。 Zbl 1186.68253号 曼弗雷德·德罗斯特;雅克·萨卡罗维奇;福格勒、海科 5 2008 关于具有不可数余终结性的保测度变换和遍历变换的全群。 Zbl 1146.20029号 曼弗雷德·德罗斯特;霍兰德,W.查尔斯;乔治·乌尔布里奇 5 2008 具有指定自同态幺半群的绝对图。 Zbl 1143.05040号 曼弗雷德·德罗斯特;吕迪格,戈贝尔;塞巴斯蒂安·波库塔 4 2008 一些不可数2-弧传递二部图的构造。 Zbl 1158.05056号 曼弗雷德·德罗斯特;罗伯特·格雷;约翰·K·特鲁斯。 2 2008 双组楚空间的一个单体范畴。 Zbl 1286.18002号 黄方平;曼弗雷德·德罗斯特;张国强 1 2008 加权自动机和加权逻辑。 Zbl 1118.68076号 曼弗雷德·德罗斯特;保罗·加斯丁 90 2007 加权自动机和带折扣的加权逻辑。 Zbl 1139.68361号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 8 2007 关于具有序完备权重的加权Büchi自动机。 Zbl 1120.68066号 曼弗雷德·德罗斯特;乌尔里克·普什曼 6 2007 双限定Chu空间。 Zbl 1214.68206号 曼弗雷德·德罗斯特;张国强 4 2007 \(\text B_{u}\text{Aut}(\Omega)\)的正规子群。 Zbl 1193.06014号 曼弗雷德·德罗斯特;荷兰,W.Charles 2 2007 几乎每个领域都是通用的。 Zbl 1316.68066号 曼弗雷德·德罗斯特;迪特里赫·库斯克 1 2007 加权树自动机和加权逻辑。 兹比尔1154.68068 曼弗雷德·德罗斯特;福格勒、海科 39 2006 无限单词上的加权自动机和加权逻辑。 Zbl 1227.68053号 曼弗雷德·德罗斯特;乔治·拉霍尼斯 22 2006 斜幂级数和无穷形式幂级数。 兹比尔1154.68067 曼弗雷德·德罗斯特;迪特里赫·库斯克 18 2006 用加权有限自动机计算实函数的光滑性。 Zbl 1157.68381号 曼弗雷德·德罗斯特;贾科·卡里;保拉·斯坦比 三 2006 关于表示随机图的自同构群中的词。 Zbl 1122.20015号 德罗斯特,M。;斯特拉斯,J.K。 三 2006 加权自动机和加权逻辑。 Zbl 1084.03036号 曼弗雷德·德罗斯特;保罗·加斯丁 40 2005 生成链的自同构群。 Zbl 1093.20016号 曼弗雷德·德罗斯特;霍兰德,W.查尔斯 25 2005 置换群的不可数余数。 Zbl 1070.20001号 曼弗雷德·德罗斯特;吕迪格,戈贝尔 21 2005 加权树自动机的Kleene定理。 Zbl 1061.68092号 曼弗雷德·德罗斯特;克里斯蒂安·佩奇;福格勒、海科 16 2005 通用齐次因果集。 Zbl 1111.83016号 曼弗雷德·德罗斯特 7 2005 斜幂级数和无穷形式幂级数。 Zbl 1039.68065号 曼弗雷德·德罗斯特;迪特里赫·库斯克 12 2003 关于随机关系结构。 Zbl 1026.03020号 曼弗雷德·德罗斯特;迪特里赫·库斯克 9 2003 关于形式幂级数的变换。 Zbl 1055.68066号 曼弗雷德·德罗斯特;张国强 6 2003 有序置换群的外部自同构群。 Zbl 1017.20030号 曼弗雷德·德罗斯特;萨拉、撒哈拉 2 2002 从Petri网到具有并发性的自动机。 Zbl 1002.68099号 曼弗雷德·德罗斯特;R·M·肖特。 2 2002 所有群都是简单群的外自同构群。 Zbl 1015.20027号 曼弗雷德·德罗斯特;米歇尔·吉拉德;吕迪格,戈贝尔 10 2001 可除幺半群中的可识别语言。 Zbl 0994.68083号 曼弗雷德·德罗斯特;迪特里赫·库斯克 9 2001 刚性链允许许多嵌入件。 Zbl 0963.06001号 德罗斯特,M。;斯特拉斯,J.K。 5 2001 互补的闭合关系克隆并不总是Krasner克隆。 Zbl 0982.08002号 德罗斯特,M。;Kuske,D。;麦肯齐,R。;Pöschel,R。 三 2001 用于pomsets的异步细胞自动机。 Zbl 0949.68086号 德罗斯特,M。;加斯丁,P。;库斯克,D。 11 2000 …以及其他66个文档 所有引用出版物 前5名被引用出版物 全部的 前5名728位作者引用 100 曼弗雷德·德罗斯特 25 福格勒、海科 18 约翰·肯尼思·特鲁斯 16 米罗斯拉夫·奇·伊里奇。 15 乔治·拉霍尼斯 14 佐尔坦,福尔öp 14 迪特里赫·库斯克 14 安德烈亚斯·马莱蒂 13 保罗·加斯丁 13 吕迪格,戈贝尔 13 伊格尼亚托维奇(Jelena Ignjatović) 12 佐尔坦·埃西克 11 Peter Kostolányi 11 奥尔纳·库普弗曼 10 克里希南德·查特吉 10 罗伯特·D·格雷。 10 李永明 9 托马斯·亨辛格(Thomas A.Henzinger)。 9 沃纳·库奇 9 金·古德斯特兰·拉森 9 杜加尔德·麦克弗森 8 英格玛·梅内克 7 菲利波·邦奇 7 菲利普·达伦多 7 奥托普,简 7 保罗,埃里克 6 伊戈尔·多林卡 6 雷米·莫林 6 拉斐尔·佩尼亚洛萨 6 维塔利·佩雷沃什奇科夫 6 卡琳·夸斯 6 托马斯·奎因-格雷格森 5 埃里克·巴杜埃尔 5 马塞洛·玛丽亚·邦桑格 5 乌里·法伦贝格 5 安德鲁·M·W·格拉斯。 5 威瑟·库比希 5 阿曼,Greg G。 5 萨拉、撒哈拉 5 凯文·斯蒂尔 4 Franz巴德 4 帕瓦内·巴巴里 4 博尔贾·巴勒 4 约翰娜·比约克隆德 4 乌迪·博克 4 Nada Damljanović 4 斯特凡·杜克 4 埃斯特班·因杜拉因 4 Infusino,Federico G。 4 丹尼尔·克里斯滕 4 达维德·科什奥 4 拉杜·马达尔 4 德拉甘·马什乌洛维奇 4 菲利普·马佐维耶基 4 贾库布·米查利辛 4 本杰明·蒙梅格 4 加迪·莫兰 4 克里斯蒂安·里维罗斯 4 简·J·M·M·鲁顿。 4 雅克·萨卡罗维奇 4 乔治·斯特鲁斯 4 托尔斯滕·苏贝尔 三 尤根·阿尔伯特 三 阿夫尼,盖伊 三 曼纽尔·博迪尔斯基 三 Bogdanović,Stojan M。 三 贝内迪克特·博利格 三 费利佩·布拉乔 三 玛丽亚·杰苏斯·坎皮翁 三 曹永志 三 Giampiero Chiaselotti 三 弗雷德里克·德班德 三 斯文·齐亚德克 三 艾曼纽·菲利奥特 三 González de Mendívil,何塞·拉蒙 三 格哈德·赫登 三 路易莎·赫尔曼 三 雅库比科娃-达尼卡斯图德诺夫斯克 三 佐拉纳扬契奇 三 巴巴拉·科尼格 三 寇,惠 三 塞巴斯蒂安·拉哈耶 三 Legay、Axel 三 艾伦·D·洛根。 三 罗伯特·洛伦茨。 三 迪诺·曼德里奥利 三 克里斯蒂安·马蒂森 三 尼古拉斯·马佐奇 三 安德烈亚·特奥多拉·纳什 三 玛丽亚,皮图 三 伊戈尔·波塔波夫 三 普拉德拉,马泰奥 三 谢丽尔·伊丽莎白·普雷格 三 克里斯蒂安·罗森达尔 三 朱里安·罗特 三 Kai T.Salomaa。 三 弘久世奇(Hiroyuki Seki) 三 亚历山德拉·席尔瓦 三 马库斯·乌布利希特 三 约翰内斯·沃尔德曼 …还有628位作者 全部的 前5名142篇连载文章中引用 74 理论计算机科学 49 信息与计算 22 模糊集与系统 22 国际计算机科学基础杂志 15 信息科学 15 代数杂志 14 计算机科学中的逻辑方法 13 计算系统理论 11 美国数学学会会刊 10 组合理论杂志。系列A 10 计算机与系统科学杂志 9 美国数学学会会刊 9 数学论坛 8 代数普遍性 8 纯粹与应用代数杂志 8 软计算 7 离散数学 7 数学进展 7 纯逻辑与应用逻辑年鉴 7 订单 6 信息学报 6 以色列数学杂志 6 国际代数与计算杂志 5 代数通讯 5 信息处理信件 5 剑桥哲学学会数学进展杂志 5 捷克斯洛伐克数学杂志 5 符号逻辑杂志 5 应用的分类结构 5 ACM计算逻辑汇刊 5 程序设计中的逻辑和代数方法杂志 4 组合理论杂志。B系列 4 半群论坛 4 欧洲组合数学杂志 4 国际近似推理杂志 4 MSCS公司。计算机科学中的数学结构 4 系统设计中的形式化方法 三 数学逻辑季刊(MLQ) 三 对离散数学的贡献 2 计算机与数学及其应用 2 离散应用数学 2 巴洛克大学学报。山楂(Facultas Rerum Naturalium)。数学软件 2 Automatica公司 2 伦敦数学学会杂志。第二系列 2 数学心理学杂志 2 哲学逻辑杂志 2 斯洛伐克数学 2 Monatsheft für Mathematik 2 离散事件动态系统 2 数学科学杂志(纽约) 2 离散数学和理论计算机科学。DMTCS公司 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 组、几何体和动力学 2 参与 2 公理 1 人工智能 1 澳大利亚数学学会公报 1 数学分析与应用杂志 1 数学物理杂志 1 线性代数和多线性代数 1 洛基山数学杂志 1 乌克兰数学杂志 1 数学生物学通报 1 数学信使 1 《伦敦数学学会通报》 1 演示数学 1 格拉斯哥数学杂志 1 印第安纳大学数学杂志 1 数学经济学杂志 1 多元分析杂志 1 数学期刊 1 马塞马提卡 1 圣母院形式逻辑杂志 1 爱丁堡数学学会会刊。系列II 1 伦敦数学学会会刊。第三系列 1 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 1 西伯利亚数学杂志 1 合成 1 理论与决策 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 拓扑及其应用 1 优化 1 算法 1 自动推理杂志 1 密码学杂志 1 机器学习 1 国际计算机数学杂志 1 线性代数及应用 1 数学说明 1 波兰科学院数学公报 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 维斯特尼克圣彼得堡大学。数学 1 图卢兹科学学院年鉴。数学题。塞里六世 1 俄罗斯数学 1 代数组合数学杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 组合数学、概率与计算 …还有42部连续剧 全部的 前5名39个领域被引用 428 计算机科学(68至XX) 186 数学逻辑和基础(03-XX) 127 群论与推广(20-XX) 94 阶、格、有序代数结构(06-XX) 47 组合数学(05-XX) 41 范畴理论;同调代数(18-XX) 35 结合环与代数(16-XX) 26 一般代数系统(08-XX) 21 一般拓扑结构(54-XX) 17 博弈论、经济学、金融和其他社会和行为科学(91-XX) 15 交换代数(13-XX) 15 拓扑群、李群(22日至XX日) 11 概率论与随机过程(60-XX) 9 场论和多项式(12-XX) 9 线性代数和多线性代数;矩阵理论(15-XX) 9 动力系统和遍历理论(37至XX) 8 数论(11-XX) 8 流形和细胞复合体(57至XX) 6 系统论;控制(93至XX) 5 测量和集成(28-XX) 5 运筹学、数学规划(90-XX) 4 代数拓扑(55-XX) 4 信息与通信理论、电路(94-XX) 三 总体主题;集合(00-XX) 三 历史和传记(01-XX) 三 代数几何(14-XX) 三 非结合环与代数(17-XX) 三 功能分析(46倍X倍) 三 相对论和引力理论(83-XX) 2 抽象谐波分析(43至XX) 2 算子理论(47-XX) 2 凸和离散几何(52至XX) 2 整体分析,流形分析(58至XX) 2 统计学(62-XX) 2 量子理论(81-XX) 1 实函数(26年X月X日) 1 势能理论(31日至XX日) 1 差分方程和函数方程(39至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文