德米特里·奇斯蒂科夫；斯特凡·基弗；Andrzej S.穆拉夫斯基。；乘务长，大卫 大O问题。 （英语） Zbl 07566053号 日志。方法计算。科学。 18，第1号，第40号论文，50页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人，《日志》。方法计算。科学。18，第1号，第40号论文，50页（2022；Zbl 07566053） 全文： arXiv公司 链接
亚历克斯·迪克森；兰科·拉齐奇；Andrzej S.穆拉夫斯基。；伊戈尔·瓦卢基维奇 Leafy自动机用于高阶并发。 （英语） Zbl 07410425号 Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 184-204 (2021).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Dixon}等人，Lect。注释计算。科学。12650、184--204（2021；Zbl 07410425） 全文： 内政部 arXiv公司
皮埃尔·克莱兰堡；Andrzej S.穆拉夫斯基。 关于线性递归格式的表示性。 （英语） Zbl 07561694号 Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019年8月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第50条，第14页（2019年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Clairambault}和\textit{A.S.Murawski}，LIPIcs——莱布尼茨国际程序。通知。138，第50条，第14页（2019年；Zbl 07561694） 全文： 内政部
Andrzej S.穆拉夫斯基。；史蒂文·拉姆齐。；尼科斯·齐夫列科斯 确定性新生注册自动机的多项式时间等价性测试。 （英语） Zbl 1512.68143号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第72条，第14页（2018年）。MSC公司：65年第68季度 20-08 2010年1月20日 65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人，LIPIcs——莱布尼茨国际程序。通知。117，第72条，第14页（2018；Zbl 1512.68143） 全文： 内政部
穆拉夫斯基。；拉姆齐，S.J。；北卡罗来纳州齐夫列科斯。 下推寄存器自动机中的可达性。 （英语） Zbl 1370.68185号 J.计算。系统。科学。 87, 58-83 (2017).MSC公司：65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人，J.Compute。系统。科学。87、58-83（2017年；Zbl 1370.68185） 全文： 内政部
康拉德·科顿-巴拉特；Andrzej S.穆拉夫斯基。；C.·H·卢克·翁 ML和扩展分支VASS。 （英语） Zbl 1485.68028号 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 314-340 (2017).MSC公司：68甲15 68甲18 65年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Cotton-Barratt}等人，Lect。注释计算。科学。10201、314--340（2017；Zbl 1485.68028） 全文： 内政部 链接
Andrzej S.穆拉夫斯基。；尼科斯·齐夫列科斯 块状结构与范围挤压：介于天真与无所不知之间。 （英语） Zbl 1398.68096号 日志。方法计算。科学。 12，3号，第3号论文，43页（2016年）.MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，Log。方法计算。科学。12，第3期，第3号论文，43页（2016；Zbl 1398.68096） 全文： 内政部 arXiv公司
康拉德·科顿-巴拉特；Andrzej S.穆拉夫斯基。；C.·H·卢克·翁 弱类和嵌套类内存自动机。 （英语） Zbl 1451.68145号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 188-199 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cotton-Barratt}等人，Lect。注释计算。科学。8977188-199（2015年；Zbl 1451.68145） 全文： 内政部 arXiv公司
斯特凡·基弗；Andrzej S.穆拉夫斯基。；约尔·瓦克宁；比约恩·瓦希特；詹姆斯·沃雷尔 算法概率游戏语义。用自动机玩游戏。 （英语） Zbl 1291.68294号 形式方法系统。设计。 43，第2期，285-312（2013）.MSC公司：87年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人，《形式方法系统》。设计。43，第2285-312号（2013年；兹bl 1291.68294） 全文： 内政部
大卫·霍普金斯；Andrzej S.穆拉夫斯基。；C.·H·卢克·翁 ML的一个片段可以通过可视的下推自动机来判定。 （英语） Zbl 1333.68079号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756149-161（2011）。MSC公司：68甲18 65年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hopkins}等人，Lect。注释计算。科学。6756、149--161（2011；Zbl 1333.68079） 全文： 内政部 链接
Andrzej S.穆拉夫斯基。；尼科斯·齐夫列科斯 算法标称游戏语义。 （英语） Zbl 1326.68071号 Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602419-438（2011）。MSC公司：68甲18 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，莱克特。注释计算。科学。6602419--438（2011年；Zbl 1326.68071） 全文： 内政部
Andrzej S.穆拉夫斯基。 具有局部状态的函数：正则性和不确定性。 （英语） Zbl 1108.68076号 西奥。计算。科学。 338，编号1-3，315-349（2005）.MSC公司：60年第68季度 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.穆拉夫斯基}，Theor。计算。科学。338，编号1--3，315--349（2005；Zbl 1108.68076） 全文： 内政部 链接