作　　者：Harald Zankl ;Nao Hirokawa ;Aart Middeldorp

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;49:46-57.doi:10.4204/EPTCS.49.4

出 版 社：Open Publishing Association

文 章 ID：83120129

作　　者：Nao Hirokawa ;Aart Middeldorp ;Christian Sternagel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:19:1-19:16.doi:10.4230/LIPIcs.FSCD.2017.19

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

文 章 ID：200735128

作　　者：Takahito Aoto ;Makoto Hamana ;Nao Hirokawa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:32:1-32:5.doi:10.4230/LIPIcs.FSCD.2018.32

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

文 章 ID：220014790

作　　者：Dominik Klein ;Nao Hirokawa

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:71-80.doi:10.4230/LIPIcs.RTA.2011.71

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

文 章 ID：186845912

作　　者：Nao Hirokawa ;Aart Middeldorp ;Georg Moser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:209-222.doi:10.4230/LIPIcs.RTA.2015.209

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

文 章 ID：186846890