dblp.uni-trier.dewww.uni-trier.de

Taisook Han

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Joonseon Ahn [11] [12]
2Byeong-Mo Chang [3] [5]
3Kwang-Moo Choe [1] [2] [3] [4] [5] [6]
4Kwanghoon Choi [13] [14] [15]
5Seokwoo Choi [20] [21] [22]
6Hwansoo Han [16]
7Min-Soo Jung [6]
8Hyun-Goo Kang [16] [18]
9Do-Hyung Kim [1]
10Gunwoo Kim [17]
11Jeonghee Kim [10]
12Seong-Pyo Kim [7]
13Youil Kim [16] [18]
14DongGill Lee [2]
15Suk Kyoon Lee [10]
16Hyun-il Lim [13] [20] [21] [22]
17Heewan Park [20] [21] [22]
18Sungwoo Park [8]
19Sunae Seo [18] [19]
20Choonho Son [17]
21Gyun Woo [9]
22Hongseok Yang [19]
23Kwangkeun Yi [19]
24In-Sig Yun [4]
25Jeong-Han Yun [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)