Kohei Suenaga (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Koichi Kodama, Kohei Suenaga, Naoki Kobayashi: Translation of tree-processing programs into stream-processing programs based on ordered linear type. J. Funct. Program. 18(3): 333-371 (2008)
7		Kohei Suenaga, Naoki Kobayashi: Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. ESOP 2007: 490-504
6		Naoki Kobayashi, Kohei Suenaga, Lucian Wischik: Resource Usage Analysis for the pi-Calculus. VMCAI 2006: 298-312
5		Naoki Kobayashi, Kohei Suenaga, Lucian Wischik: Resource Usage Analysis for the Pi-Calculus CoRR abs/cs/0608035: (2006)
4		Naoki Kobayashi, Kohei Suenaga, Lucian Wischik: Resource Usage Analysis for the p-Calculus. Logical Methods in Computer Science 2(3): (2006)
3		Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa: Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. LOPSTR 2005: 98-114
2		Koichi Kodama, Kohei Suenaga, Naoki Kobayashi: Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. APLAS 2004: 41-56

Selection of 7 from 9 records - Kohei Suenaga has 6 coauthors