Naohiko Hoshino

J-GLOBAL         Last updated: Sep 20, 2019 at 06:39
Naohiko Hoshino
Kyoto University

Published Papers

Ugo Dal Lago,Naohiko Hoshino
34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019   1-13   2019   [Refereed]
Naohiko Hoshino
Electr. Notes Theor. Comput. Sci.   341 219-237   2018   [Refereed]
Ichiro Hasuo,Naohiko Hoshino
Ann. Pure Appl. Logic   168(2) 404-469   2017   [Refereed]
Koko Muroya,Naohiko Hoshino,Ichiro Hasuo
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016   748-760   2016   [Refereed]
Naohiko Hoshino,Koko Muroya,Ichiro Hasuo
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014   52:1-52:10   2014   [Refereed]
N. Hoshino
Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012   385-394   2012   [Refereed]
I. Hasuo; N. Hoshino
Proceedings - Symposium on Logic in Computer Science   237-246   2011   [Refereed]
N. Hoshino
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   6604 LNCS 320-334   2011   [Refereed]
N. Hoshino
Electronic Notes in Theoretical Computer Science   286 213-227   2012   [Refereed]