Henryk Michalewski;Mio、Matteo;Mikołaj博扬奇克 关于次零自动机的正则空性问题。 （英语） Zbl 1433.68198号 Bartoletti，Massimo（编辑）等人，第九届交互和并发体验研讨会会议记录，2016年6月8日至9日，希腊赫拉克利翁，ICE’16。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）223，1-23（2016）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Michalewski}等人，《电子》。程序。西奥。计算。科学。（EPTCS）223，1--23（2016；Zbl 1433.68198） 全文： arXiv公司 链接
Mikołaj博扬奇克;托马斯·戈加茨;Henryk Michalewski;Micha Skrzypczak 关于无限树上MSO+U的可判定性。 （英语） Zbl 1407.03007号 Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 50-61 (2014).MSC公司：03B25号 05年3月 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojaáczyk}等人，莱克特。注释计算。科学。8573，50-61（2014年；兹比尔1407.03007） 全文： DOI程序