| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Taiga Nakamura, Hironori Takeuchi, Futoshi Iwama, Ken Mizuno: Enabling Analysis and Measurement of Conventional Software Development Documents Using Project-Specific Formalism. IWSM/Mensura 2011: 48-54 |
| 2008 | ||
| 3 | | Futoshi Iwama, Naoki Kobayashi: A New Type System for JVM Lock Primitives. New Generation Comput. 26(2): 125-170 (2008) |
| 2006 | ||
| 2 | | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47 |
| 2002 | ||
| 1 | | Futoshi Iwama, Naoki Kobayashi: A new type system for JVM lock primitives. ASIA-PEPM 2002: 71-82 |
| 1 | Atsushi Igarashi | [2] |
| 2 | Naoki Kobayashi | [1] [2] [3] |
| 3 | Ken Mizuno | [4] |
| 4 | Taiga Nakamura | [4] |
| 5 | Hironori Takeuchi | [4] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page