Search the dblp DataBase

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]