洛伦佐·克莱门特；帕里斯（Pawe Parys）；西尔万·萨尔瓦蒂；伊戈尔·瓦卢基维奇 高阶递归格式的对角线问题是可判定的。 （英语） Zbl 1401.68158号 2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。96-105 (2016).MSC公司：65年第68季度 03B25号 第68季度第42季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛L.Clemente｝等人，在：2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2016，美国纽约市，2016年7月5日至8日。纽约州纽约市：计算机协会（ACM）。96-105（2016；Zbl 1401.68158） 全文： 内政部 arXiv公司
安卡·穆斯科尔；伊戈尔·瓦卢基维奇 非循环体系结构的分布式综合。 （英语） Zbl 1360.68594号 Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学学报29，639-651（2014）。MSC公司：60年第68季度 64岁以下 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz}，LIPIcs——莱布尼茨国际程序。通知。29639--651（2014年；Zbl 1360.68594） 全文： 内政部 arXiv公司
布莱斯·基内斯特；雨果·金伯特；安卡·穆斯科尔；伊戈尔·瓦卢基维奇 基于树结构的异步游戏。 （英语） Zbl 1334.68150号 Fomin，Fedor V.（编辑）等人，自动机、语言和编程。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966，275-286（2013）。MSC公司：68问题85 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，Lect。票据计算。科学。7966275--286（2013年；Zbl 1334.68150） 全文： 内政部 arXiv公司 哈尔
伊戈尔·瓦卢基维奇 合成：单词和痕迹。 （英语） Zbl 1305.68116号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。2010年9月21日至24日，第八届国际研讨会，ATVA 2010，新加坡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。计算机科学讲座笔记6252，18-21（2010）。MSC公司：65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}，莱克特。票据计算。科学。6252，18-21（2010；Zbl 1305.68116） 全文： 内政部 哈尔
安卡·穆斯科尔；伊戈尔·瓦卢基维奇；马克·泽顿 看看异步自动机的控制。 （英语） Zbl 1194.68145号 Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。356-371 (2009).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}等人，in：并发视角。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。356--371（2009年；Zbl 1194.68145）
伊戈尔·瓦卢基维奇 如何修复：在不同的上下文中使用修复点。 （英语） Zbl 1108.68528号 Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，184-193（2005）。MSC公司：60年第68季度 03B45 05年3月 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}，莱克特。票据计算。科学。3452184--193（2005年；Zbl 1108.68528） 全文： 内政部
A.阿诺德。；文森特，A。；Walukiewicz，I。 具有部分观测的控制器合成游戏。 （英语） Zbl 1175.93148号 西奥。计算。科学。 303，第1期，7-34（2003）.MSC公司：93元65角 91A43型 05年3月 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}等人，Theor。计算。科学。303，编号1，7--34（2003；Zbl 1175.93148） 全文： 内政部
伊戈尔·瓦卢基维奇 跟踪的本地逻辑。 （英语） Zbl 1030.03025号 J.汽车。语言梳。 7，第2期，259-290（2002）.MSC公司：03B70号 68问题85 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz}，J.Autom。语言梳。7，第2号，259--290（2002；Zbl 1030.03025）