西门托伦奇克;托马斯·泽姆 使用极值约束注册自动机，以及二变量逻辑的应用程序。 （英语） Zbl 07566055号 日志。方法计算。科学。 18，第1号，第42号论文，38页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Toruñczyk}和\textit{T.Zeume}，日志。方法计算。科学。18，第1号，第42号论文，第38页（2022；Zbl 07566055） 全文： arXiv公司 链接
格拉泽戈茨法比安斯基;迈克尔·皮利普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克 控制和独立的渐进算法。 （英语） Zbl 07559136号 Niedermeier，Rolf（编辑）等人，第36届计算机科学理论方面国际研讨会，2019年3月13日至16日，德国柏林，STACS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126，第27条，第16页（2019年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Fabianáski}等人，LIPIcs--Leibniz Int.Proc。通知。126，第27条，第16页（2019年；Zbl 07559136） 全文： 内政部 arXiv公司
卡迪耶·凯什瓦尔杜斯特;巴托克·克林;萨沃米尔·拉索塔;乔安娜·奥奇里米亚克;西门托伦奇克 可定义的同构问题。 （英语） Zbl 1509.03103号 日志。方法计算。科学。 15，第4号，第14号论文，第19页（2019）.MSC公司：03C40号 03C15号 03C35号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Keshvardoost}等人，Log。方法计算。科学。15，第4号，第14号论文，19页（2019年；Zbl 1509.03103） 全文： arXiv公司