The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Taisook Han: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
    A Path Sensitive Type System for Resource Usage Verification of C Like Languages. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:264-280 [Conf]
  2. Kwanghoon Choi, Taisook Han
    A Type System for the Push-Enter Model. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:13-27 [Conf]
  3. Jeonghee Kim, Taisook Han, Suk Kyoon Lee
    Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. [Citation Graph (0, 21)][DBLP]
    DASFAA, 1999, pp:99-108 [Conf]
  4. Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han
    Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. [Citation Graph (0, 0)][DBLP]
    EUC, 2006, pp:742-753 [Conf]
  5. Kwanghoon Choi, Hyun-il Lim, Taisook Han
    Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:92-107 [Conf]
  6. Gyun Woo, Taisook Han
    ZG-machine: a Space-Efficient G-machine. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:106-115 [Conf]
  7. Sungwoo Park, Taisook Han
    Object-Oriented VRML for Multi-User Environments. [Citation Graph (0, 0)][DBLP]
    VRML, 1997, pp:25-32 [Conf]
  8. Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
    Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:47, n:3, pp:149-157 [Journal]
  9. Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han
    Static Filtering on Stratified Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:47, n:5, pp:237-244 [Journal]
  10. Kwanghoon Choi, Taisook Han
    A type system for the push-enter model. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:4, pp:205-211 [Journal]
  11. Min-Soo Jung, Kwang-Moo Choe, Taisook Han
    An Efficient Computation of Right Context for LR-Based Error Repair. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:49, n:2, pp:63-71 [Journal]
  12. DongGill Lee, Kwang-Moo Choe, Taisook Han
    A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:48, n:4, pp:163-170 [Journal]
  13. In-Sig Yun, Kwang-Moo Choe, Taisook Han
    Syntactic Error Repair Using Repair Patterns. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1993, v:47, n:4, pp:189-196 [Journal]
  14. Seong-Pyo Kim, Taisook Han
    Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1997, v:23, n:13, pp:1937-1962 [Journal]
  15. Joonseon Ahn, Taisook Han
    An Analytical Method for Parallelization of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2000, v:10, n:1, pp:87-98 [Journal]
  16. Joonseon Ahn, Taisook Han
    An Analytical Method for Parallelization of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2000, v:10, n:4, pp:359-370 [Journal]
  17. Do-Hyung Kim, Kwang-Moo Choe, Taisook Han
    Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1992, v:2, n:, pp:71-79 [Journal]
  18. SeokWoo Choi, Heewan Park, Hyun-il Lim, Taisook Han
    A Static Birthmark of Binary Executables Based on API Call Structure. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2007, pp:2-16 [Conf]
  19. Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
    Goal-directed weakening of abstract interpretation results. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  20. A Static Java Birthmark Based on Control Flow Edges. [Citation Graph (, )][DBLP]


  21. Detecting Java Theft Based on Static API Trace Birthmark. [Citation Graph (, )][DBLP]


Search in 0.309secs, Finished in 0.311secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002