- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c11 |      | Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo: Hyperstream processing systems: nonstandard modeling of continuous-time signals. POPL 2013: 417-430 |
| 2012 | ||
| c10 | | Ichiro Hasuo, Kohei Suenaga: Exercises in Nonstandard Static Analysis of Hybrid Systems. CAV 2012: 462-478 |
| c9 | | Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi: Type-based safe resource deallocation for shared-memory concurrency. OOPSLA 2012: 1-20 |
| 2011 | ||
| j3 | | Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi: Ordered Types for Stream Processing of Tree-Structured Data. JIP 19: 74-87 (2011) |
| c8 | | Kohei Suenaga, Ichiro Hasuo: Programming with Infinitesimals: A While-Language for Hybrid System Modeling. ICALP (2) 2011: 392-403 |
| 2009 | ||
| c7 | | Kohei Suenaga, Naoki Kobayashi: Fractional Ownerships for Safe Memory Deallocation. APLAS 2009: 128-143 |
| 2008 | ||
| j2 | | 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) |
| c6 | | Kohei Suenaga: Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. APLAS 2008: 155-170 |
| 2007 | ||
| c5 | | Kohei Suenaga, Naoki Kobayashi: Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. ESOP 2007: 490-504 |
| 2006 | ||
| j1 | | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik: Resource Usage Analysis for the p-Calculus. Logical Methods in Computer Science 2(3) (2006) |
| c4 | | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik: Resource Usage Analysis for the pi-Calculus. VMCAI 2006: 298-312 |
| i1 | | Naoki Kobayashi, Kohei Suenaga, Lucian Wischik: Resource Usage Analysis for the Pi-Calculus. CoRR abs/cs/0608035 (2006) |
| 2005 | ||
| c3 | | 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 |
| 2004 | ||
| c2 | | Koichi Kodama, Kohei Suenaga, Naoki Kobayashi: Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. APLAS 2004: 41-56 |
| 2003 | ||
| c1 | | Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa: The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208 |
| 1 | Ryota Fukuda | |
| 2 | Ichiro Hasuo | |
| 3 | Atsushi Igarashi | |
| 4 | Naoki Kobayashi | |
| 5 | Koichi Kodama | |
| 6 | Yutaka Oiwa | |
| 7 | Ryosuke Sato | |
| 8 | Hiroyoshi Sekine | |
| 9 | Eijiro Sumii | |
| 10 | Lucian Wischik | |
| 11 | Akinori Yonezawa |
Colors in the list of coauthors
Last update Tue May 21 21:37:12 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page