The SCEAS System
Navigation Menu

Search the dblp DataBase


Hiroshi Unno: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002