2005 |
18 | EE | Yong Ho Kim,
Mu Hyun Kim,
Dong Hoon Lee,
Changwook Kim:
A Key Management Scheme for Commodity Sensor Networks.
ADHOC-NOW 2005: 113-126 |
17 | EE | Jeong Ok Kwon,
Jung Yeon Hwang,
Changwook Kim,
Dong Hoon Lee:
Cryptanalysis of Lee-Kim-Yoo password-based key agreement scheme.
Applied Mathematics and Computation 168(2): 858-865 (2005) |
2002 |
16 | EE | Changwook Kim:
Two undecidability results for chain code picture languages.
Theor. Comput. Sci. 270(1-2): 969-976 (2002) |
2001 |
15 | EE | Changwook Kim:
Efficient recognition algorithms for boundary and linear eNCE graph languages.
Acta Inf. 37(9): 619-632 (2001) |
14 | | Changwook Kim:
Separation Results for Separated Apex NLC and NCE Graph Languages.
J. Comput. Syst. Sci. 62(4): 608-628 (2001) |
13 | EE | Changwook Kim:
Double Greibach operator grammars.
Theor. Comput. Sci. 250(1-2): 247-264 (2001) |
2000 |
12 | EE | Changwook Kim,
Ivan Hal Sudborough:
Leftmove-bounded picture languages.
Theor. Comput. Sci. 237(1-2): 183-195 (2000) |
1999 |
11 | EE | Changwook Kim,
Tae Eui Jeong:
HRNCE Grammars - a Hypergraph Generating System with an eNCE Way of Rewriting.
Theor. Comput. Sci. 223(1-2): 143-178 (1999) |
1997 |
10 | EE | Changwook Kim:
A Hierarchy of eNCE Families of Graph Languages.
Theor. Comput. Sci. 186(1-2): 157-169 (1997) |
1996 |
9 | EE | Changwook Kim:
Unambiguous Description of Chain Code Picture Languages.
Inf. Process. Lett. 58(2): 75-79 (1996) |
1995 |
8 | | Changwook Kim,
Dong Hoon Lee:
Node Replacement Graph Languages Squeezed with Chains, Trees, and Forests
Inf. Comput. 117(1): 63-77 (1995) |
1994 |
7 | | Changwook Kim,
Tae Eui Jeong:
HRNCE Grammars - A Hypergraph Generating System with an eNCE Way.
TAGT 1994: 383-396 |
6 | | Changwook Kim:
Retreat Bounded Picture Languages.
Theor. Comput. Sci. 132(2): 85-112 (1994) |
1993 |
5 | | Changwook Kim,
Dong Hoon Lee:
Separating k-Separated eNCE Graph Languages.
Theor. Comput. Sci. 120(2): 247-259 (1993) |
1992 |
4 | | Changwook Kim,
Ivan Hal Sudborough:
On Reversal-Bounded Picture Languages.
Theor. Comput. Sci. 104(2): 185-206 (1992) |
1990 |
3 | | Changwook Kim:
Picture Iteration and Picture Ambiguity.
J. Comput. Syst. Sci. 40(3): 289-306 (1990) |
2 | | Changwook Kim:
Complexity and Decidability for Restricted Classes of Picture Languages.
Theor. Comput. Sci. 73(3): 295-311 (1990) |
1987 |
1 | | Changwook Kim,
Ivan Hal Sudborough:
The Membership and Equivalence Problems for Picture Languages.
Theor. Comput. Sci. 52: 177-191 (1987) |