科德·艾克迈耶;van den Heuvel，简;川崎敬一;斯蒂芬·克鲁泽;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;丹尼尔·基罗兹（Daniel A.Quiroz）。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 有序结构的模型检查。 （英语） Zbl 1446.68092号 ACM事务处理。计算。日志。 21，第2号，第11条，28页（2020年）.MSC公司：60年第68季度 03B70号 05C75号 05立方厘米83 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Eickmeyer}等人，《美国医学杂志》。计算。日志。21，第2号，第11条，第28页（2020年；Zbl 1446.68092） 全文： 内政部 arXiv公司
科德·艾克迈耶;大执政官Giannopoulou。;斯蒂芬·克鲁泽;权，O-Joung;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨 无处稠密图类的邻域复杂性和核化。 （英语） Zbl 1441.68176号 Chatzigiannakis，Ioannis（编辑）等人，第44届自动机、语言和编程国际学术讨论会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第63条，第14页（2017年）。MSC公司：68兰特 05C42号 05C69号 05C75号 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Eickmeyer}等人，LIPIcs——莱布尼茨国际程序。通知。80，第63条，第14页（2017年；Zbl 1441.68176） 全文： 内政部 arXiv公司