- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j22 |      | Jeong-Han Yun, Chul-Joo Kim, Seonggun Kim, Kwang-Moo Choe, Taisook Han: Detection of harmful schizophrenic statements in esterel. ACM Trans. Embedded Comput. Syst. 12(3): 80 (2013) |
| 2012 | ||
| j21 | | Hyun-il Lim, Taisook Han: Analyzing Stack Flows to Compare Java Programs. IEICE Transactions 95-D(2): 565-576 (2012) |
| 2011 | ||
| j20 | | 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 | ||
| j19 | | 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 | ||
| j18 | | Hyun-Goo Kang, Taisook Han: A bottom-up pointer analysis using the update history. Information & Software Technology 51(4): 691-707 (2009) |
| j17 | | 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) |
| j16 | | 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) |
| c11 | | Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Han: A Static Java Birthmark Based on Control Flow Edges. COMPSAC (1) 2009: 413-420 |
| c10 | | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe: Refining schizophrenia via graph reachability in Esterel. MEMOCODE 2009: 18-27 |
| 2008 | ||
| j15 | | 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) |
| c9 | | Heewan Park, Seokwoo Choi, Hyun-il Lim, Taisook Han: Detecting Java Theft Based on Static API Trace Birthmark. IWSEC 2008: 121-135 |
| 2007 | ||
| j14 | | 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) |
| j13 | | Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han: Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6) (2007) |
| c8 | | Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han: A Static Birthmark of Binary Executables Based on API Call Structure. ASIAN 2007: 2-16 |
| 2006 | ||
| j12 | | Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han: Automatic Hardware/Software Interface Generation for Embedded System. JIPS 2(3): 137-142 (2006) |
| c7 | | Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Han: Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools. EUC 2006: 742-753 |
| 2005 | ||
| c6 | | 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 | ||
| j11 | | Kwanghoon Choi, Taisook Han: A type system for the push-enter model. Inf. Process. Lett. 87(4): 205-211 (2003) |
| 2001 | ||
| c5 |  | |
| c4 | | 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 | ||
| j10 | | Joonseon Ahn, Taisook Han: An Analytical Method for Parallelization of Recursive Functions. Parallel Processing Letters 10(1): 87-98 (2000) |
| j9 | | Joonseon Ahn, Taisook Han: An Analytical Method for Parallelization of Recursive Functions. Parallel Processing Letters 10(4): 359-370 (2000) |
| j8 | | Sungwoo Park, Taisook Han: Iterative inversion of fuzzified neural networks. IEEE T. Fuzzy Systems 8(3): 266-280 (2000) |
| 1999 | ||
| c3 | | Jeonghee Kim, Taisook Han, Suk Kyoon Lee: Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language. DASFAA 1999: 99-108 |
| c2 | | Gyun Woo, Taisook Han: ZG-machine: a Space-Efficient G-machine. Scottish Functional Programming Workshop 1999: 106-115 |
| 1997 | ||
| j7 | | Seong-Pyo Kim, Taisook Han: Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions. Parallel Computing 23(13): 1937-1962 (1997) |
| c1 | | |
| 1994 | ||
| j6 | | 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 | ||
| j5 | | 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) |
| j4 | | In-Sig Yun, Kwang-Moo Choe, Taisook Han: Syntactic Error Repair Using Repair Patterns. Inf. Process. Lett. 47(4): 189-196 (1993) |
| j3 | | Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han: Static Filtering on Stratified Programs. Inf. Process. Lett. 47(5): 237-244 (1993) |
| j2 | | 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 | ||
| j1 | | 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) |
Colors in the list of coauthors
Last update Fri May 24 20:43:04 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page