作　　者：David Janin ;Igor Walukiewicz

出　　处：BRICS Report Series. 1995 ;2(27).

出 版 社：Aarhus University

文 章 ID：101759813

作　　者：Igor Walukiewicz

出　　处：BRICS Report Series. 1995 ;2(6).

出 版 社：Aarhus University

文 章 ID：101759861

作　　者：P. S. Thiagarajan ;Igor Walukiewicz

出　　处：BRICS Report Series. 1996 ;3(62).

出 版 社：Aarhus University

文 章 ID：101759884

作　　者：Igor Walukiewicz

出　　处：BRICS Report Series. 1996 ;3(54).

出 版 社：Aarhus University

文 章 ID：101759944

作　　者：Bruno Courcelle ;Igor Walukiewicz

出　　处：BRICS Report Series. 1995 ;2(44).

出 版 社：Aarhus University

文 章 ID：101760063

作　　者：Igor Walukiewicz

出　　处：BRICS Report Series. 2000 ;7(2).

出 版 社：Aarhus University

文 章 ID：101760113

作　　者：Erich Grädel ;Igor Walukiewicz

出　　处：Logical Methods in Computer Science. 2006 ;2(04).doi:10.2168/LMCS-2(4:6)2006

出 版 社：Technical University of Braunschweig

文 章 ID：46838644

作　　者：Anca Muscholl ;Igor Walukiewicz

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:5)2008

出 版 社：Technical University of Braunschweig

文 章 ID：46838692

作　　者：R. Govind ;Frdric Herbreteau ;B. Srivathsan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-15.doi:10.4230/LIPIcs.CONCUR.2019.16

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238891924

作　　者：A. R. Balasubramanian ;Igor Walukiewicz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:9:1-9:18.doi:10.4230/LIPIcs.CONCUR.2020.9

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255822868