Search the dblp DataBase

Publications of Author

1. Eisaku Ohbuchi, Hiroshi Unno
   A Real-Time Configurable Shader Based on Lookup Tables. [Citation Graph (0, 0)][DBLP]
   CW, 2002, pp:507-514 [Conf]
   
2. Vladimir V. Savchenko, Nikita Kojekine, Hiroshi Unno
   A Practical Image Retouching Method. [Citation Graph (0, 0)][DBLP]
   CW, 2002, pp:480-487 [Conf]
   
3. Vladimir V. Savchenko, Hiroshi Unno, Nikita Kojekine
   Possible Techniques for Three Dimensional Hatching. [Citation Graph (0, 0)][DBLP]
   CW, 2002, pp:515-520 [Conf]
   
4. Youzou Miyadera, Koushi Anzai, Hiroshi Unno, Takeo Yaku
   Depth-First Layout Algorithm for Trees. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1998, v:66, n:4, pp:187-194 [Journal]
   
5. 
   On-Demand Refinement of Dependent Types. [Citation Graph (, )][DBLP]
   
   
6. 
   Combining type-based analysis and model checking for finding counterexamples against non-interference. [Citation Graph (, )][DBLP]
   
   
7. 
   Higher-order multi-parameter tree transducers and recursion schemes for program verification. [Citation Graph (, )][DBLP]
   
   
8. 
   Dependent type inference with interpolants. [Citation Graph (, )][DBLP]
   
   
9. 
   Extraction of Corresponding Points from Stereo Images by Using Intersections of Segments. [Citation Graph (, )][DBLP]