Searching for authors named "Taisook Han" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Static Slicing of a First-Order Functional Language based on Operational Semantics
- … Taisook Han jsahn@(email omitted); han@(email omitted); CS/TR-99-144 February 15, 2000 K A I S T Department…
- Cited by 3 (1 self) – Add To MetaCart
-
Object-Oriented VRML for Multi-user Environments
- …Object-Oriented VRML For Multi-user Environments Sungwoo Park and Taisook Han y Department…
- Cited by 6 (1 self) – Add To MetaCart
-
and
- … of Science and Technology HONGSEOK YANG and KWANGKEUN YI Seoul National University and TAISOOK HAN Korea…
- Add To MetaCart
-
Iterative Inversion of Fuzzified Neural Networks
- … Mellon University. gla+@(email omitted); Taisook Han is with Department of Computer Science, Korea Advanced…
- Cited by 3 (0 self) – Add To MetaCart
-
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
- … Machine Kwanghoon Choi, Hyun-il Lim, and Taisook Han Department of Electrical Engineering & Computer…
- Cited by 2 (0 self) – Add To MetaCart
-
Goal-directed weakening of abstract interpretation results. Submitted for publication
- … and KWANGKEUN YI and TAISOOK HAN Seoul National University and Korea Advanced Institute of Science & Technology…
- Cited by 1 (0 self) – Add To MetaCart
-
A Path Sensitive Type System for Resource Usage Verification of C like Languages. http://pllab.kaist.ac.kr/∼hgkang/pruv-tm.pdf
- …, Youil Kim, Taisook Han, and Hwansoo Han Department of Computer Science, Korea Advanced Institute…
- Add To MetaCart
-
A Static Birthmark of Binary Executables Based on API Call Structure ⋆
- …, Hyun-il Lim, and Taisook Han Division of Computer Science and Advanced Information Technology Research…
- Cited by 1 (1 self) – Add To MetaCart
-
Detecting Java Theft Based on Static API Trace
- …, and Taisook Han Division of Computer Science KAIST Gwahangno 335, Yuseong-gu, Daejeon 305-701, Republic…
- Cited by 1 (1 self) – Add To MetaCart
-
A Static Java Birthmark Based on Control Flow Edges
- …A Static Java Birthmark Based on Control Flow Edges Hyun-il Lim Heewan Park Seokwoo Choi Taisook…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
