The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kohei Suenaga: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
    Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:41-56 [Conf]
  2. Kohei Suenaga, Oiwa Yutaka, Eijiro Sumii, Akinori Yonezawa
    The Interface Definition Language for Fail-Safe C. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:192-208 [Conf]
  3. Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa
    Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:98-114 [Conf]
  4. Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    Resource Usage Analysis for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:298-312 [Conf]
  5. Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    Resource Usage Analysis for the p-Calculus. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:3, pp:- [Journal]
  6. Kohei Suenaga, Naoki Kobayashi
    Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:490-504 [Conf]
  7. Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    Resource Usage Analysis for the Pi-Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  8. Fractional Ownerships for Safe Memory Deallocation. [Citation Graph (, )][DBLP]


  9. Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002