作　　者：Naokata Shikuma ;Atsushi Igarashi

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:10)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109804

作　　者：Yuya Tsuda ;Atsushi Igarashi ;Tomoya Tabuchi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-29.doi:10.4230/LIPIcs.ECOOP.2020.8

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

文 章 ID：256859627

作　　者：Hiroaki Inoue ;Tomoyuki Aotani ;Atsushi Igarashi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:2:1-2:33.doi:10.4230/LIPIcs.ECOOP.2018.2

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

文 章 ID：220014733

作　　者：Robert Hirschfeld ;Hidehiko Masuhara ;Atsushi Igarashi 等

出　　处：Information and Media Technologies. 2016 ;11:11-20.doi:10.11185/imt.11.11

出 版 社：Information and Media Technologies Editorial Board

文 章 ID：194249178

作　　者：Takashi Kato ;Tatsuya Yamada ;Hideki Nakamura 等

出　　处：iScience. 2020 ;23(10):1-27.doi:10.1016/j.isci.2020.101548

出 版 社：Elsevier

文 章 ID：1028821559