- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c4 |      | Futoshi Iwama, Taiga Nakamura, Hironori Takeuchi: Constructing parser for industrial software specifications containing formal and natural language description. ICSE 2012: 1012-1021 |
| 2011 | ||
| c3 | | 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 | ||
| j1 | | Futoshi Iwama, Naoki Kobayashi: A New Type System for JVM Lock Primitives. New Generation Comput. 26(2): 125-170 (2008) |
| 2006 | ||
| c2 | | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47 |
| 2002 | ||
| c1 | | |
| 1 | Atsushi Igarashi | |
| 2 | Naoki Kobayashi | |
| 3 | Ken Mizuno | |
| 4 | Taiga Nakamura | |
| 5 | Hironori Takeuchi |
Colors in the list of coauthors
Last update Fri May 24 21:24:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page