Taisook Han

	2012
31		Hyun-il Lim, Taisook Han: Analyzing Stack Flows to Compare Java Programs. IEICE Transactions 95-D(2): 565-576 (2012)
	2011
30		Heewan Park, Hyun-il Lim, Seokwoo Choi, Taisook Han: Detecting Common Modules in Java Packages Based on Static Object Trace Birthmark. Comput. J. 54(1): 108-124 (2011)
	2010
29		Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han: Over-Approximated Control Flow Graph Construction on Pure Esterel. IEICE Transactions 93-D(5): 985-993 (2010)
	2009
28		Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han: A Static Java Birthmark Based on Control Flow Edges. COMPSAC (1) 2009: 413-420
27		Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe: Refining schizophrenia via graph reachability in Esterel. MEMOCODE 2009: 18-27
26		Hyun-Goo Kang, Taisook Han: A bottom-up pointer analysis using the update history. Information & Software Technology 51(4): 691-707 (2009)
25		Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han: A method for detecting the theft of Java programs through analysis of the control flow information. Information & Software Technology 51(9): 1338-1350 (2009)
24		Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han: A static API birthmark for Windows binary executables. Journal of Systems and Software 82(5): 862-873 (2009)
	2008
23		Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han: Detecting Java Theft Based on Static API Trace Birthmark. IWSEC 2008: 121-135
22		Hyun-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
21		Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han: A Static Birthmark of Binary Executables Based on API Call Structure. ASIAN 2007: 2-16
20		Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): (2007)
19		Sunae 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
18		Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han: Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. EUC 2006: 742-753
17		Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han: Automatic Hardware/Software Interface Generation for Embedded System. JIPS 2(3): 137-142 (2006)
	2005
16		Hyun-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
15		Kwanghoon 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
13		Kwanghoon 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
10		Jeonghee 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
8		Sungwoo 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

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page