曼弗雷德·德罗斯特;古斯塔夫·格拉博勒;乔治·拉霍尼斯 加权线性动态逻辑。 （英语） Zbl 07805942号 发现的国际期刊。计算。科学。 35，编号1-2，145-177（2024）.MSC公司：68季度xx 03Bxx号 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人，《国际期刊》发现。计算。科学。35，编号1--2，145-177（2024；Zbl 07805942） 全文： 内政部
曼弗雷德·德罗斯特;迪特里赫·库斯克 加权自动机。 （英语） Zbl 1508.68189号 Pin，Jean-Eric（编辑），《自动机理论手册》。第一卷理论基础。柏林：欧洲数学学会（EMS）。113-150 (2021).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{D.Kuske}，收录于：自动机理论手册。第一卷理论基础。柏林：欧洲数学学会（EMS）。113-150（2021年；Zbl 1508.68189） 全文： 内政部
帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 数据字上的加权寄存器自动机和加权逻辑。 （英语） 兹比尔1400.68097 西奥。计算。科学。 744, 3-21 (2018).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Babari}等人，Theor。计算。科学。744，3--21（2018；Zbl 1400.68097） 全文： 内政部
曼弗雷德·德罗斯特;乔治·拉霍尼斯 加权线性动态逻辑。 （英语） Zbl 1478.03065号 Cantone，Domenico（ed.）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226149-163（2016）。MSC公司：03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{G.Rahonis}，电子。程序。西奥。计算。科学。（EPTCS）226149--163（2016；Zbl 1478.03065） 全文： arXiv公司 链接
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 多维自动机和MSO逻辑。 （英语） Zbl 1356.68130号 理论计算。系统。 59，第2期，231-261（2016）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Droste｝和\textit｛V.Perevoschchikov｝，理论计算。系统。59，第2号，231--261（2016；Zbl 1356.68130） 全文： 内政部 arXiv公司
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 加权定时下推自动机的逻辑。 （英语） Zbl 1465.68142号 Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9300, 153-173 (2015).MSC公司：65年第68季度 03B16号 05年3月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov}，莱克特。注释计算。科学。9300153--173（2015年；Zbl 1465.68142） 全文： 内政部
曼弗雷德·德罗斯特;卡琳·夸斯 加权时间自动机的Kleene-Schützenberger定理。 （英语） Zbl 1217.68128号 西奥。计算。科学。 412，编号12-14，1140-1153（2011）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{K.Quaas}，Theor。计算。科学。412，编号12--141140--1153（2011；Zbl 1217.68128） 全文： 内政部
曼弗雷德·德罗斯特;卡琳·夸斯 加权时间自动机的Kleene-Schützenberger定理。 （英语） Zbl 1139.68031号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日，作为欧洲软件理论和实践联合会议的一部分，在匈牙利布达佩斯举行了第11届国际会议，FOSSACS 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962142-156（2008）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{K.Quaas}，莱克特。注释计算。科学。4962、142--156（2008年；Zbl 1139.68031） 全文： 内政部
曼弗雷德·德罗斯特;吕迪格·哥贝尔 非确定性信息系统及其领域。 （英语） Zbl 0701.68074号 西奥。计算。科学。 75，第3号，289-309（1990）.MSC公司：68问题55 2010年第68季度 2006年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{R.Göbel}，Theor。计算。科学。75，第3号，289--309（1990；Zbl 0701.68074） 全文： 内政部
曼弗雷德·德罗斯特 具体数据结构的递归域方程。 （英语） Zbl 0679.68149号 Inf.计算。 82，No.1，65-80（1989）.MSC公司：68问题55 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}，信息计算。82，第1号，65--80（1989；Zbl 0679.68149） 全文： 内政部
曼弗雷德·德罗斯特 事件结构和域。 （英语） Zbl 0678.68080号 西奥。计算。科学。 68，第1号，37-47（1989）.MSC公司：68问题55 68问题65 2006年6月 PDF格式BibTeX公司 XML格式引用 \文本{M.Droste}，Theor。计算。科学。68，编号1，37-47（1989；Zbl 0678.68080） 全文： 内政部