| 2008 |
|---|
| 7 | EE | Hiroshi Unno,
Naoki Kobayashi:
On-Demand Refinement of Dependent Types.
FLOPS 2008: 81-96 |
| 2007 |
|---|
| 6 | EE | Hiroshi Unno,
Keikichi Hayashibe,
Hitoshi Saji:
Extraction of Corresponding Points from Stereo Images by Using Intersections of Segments.
MVA 2007: 516-519 |
| 2006 |
|---|
| 5 | EE | Hiroshi Unno,
Naoki Kobayashi,
Akinori Yonezawa:
Combining type-based analysis and model checking for finding counterexamples against non-interference.
PLAS 2006: 17-26 |
| 2002 |
|---|
| 4 | EE | Vladimir V. Savchenko,
Nikita Kojekine,
Hiroshi Unno:
A Practical Image Retouching Method.
CW 2002: 480-487 |
| 3 | EE | Eisaku Ohbuchi,
Hiroshi Unno:
A Real-Time Configurable Shader Based on Lookup Tables.
CW 2002: 507-514 |
| 2 | EE | Vladimir V. Savchenko,
Hiroshi Unno,
Nikita Kojekine:
Possible Techniques for Three Dimensional Hatching.
CW 2002: 515-520 |
| 1998 |
|---|
| 1 | EE | Youzou Miyadera,
Koushi Anzai,
Hiroshi Unno,
Takeo Yaku:
Depth-First Layout Algorithm for Trees.
Inf. Process. Lett. 66(4): 187-194 (1998) |
