Changwook Kim

According to our database1, Changwook Kim
  • authored at least 22 papers between 1987 and 2015.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Node replacement graph grammars with dynamic node relabeling.
Theor. Comput. Sci., 2015

2012
On the structure of linear apex NLC graph grammars.
Theor. Comput. Sci., 2012

2011
Quasi-rocking real-time pushdown automata.
Theor. Comput. Sci., 2011

2009
GroupSpeak: High-level Language Extension for Workflow Capability.
Proceedings of the IEEE International Conference on Web Services, 2009

2005
Cryptanalysis of Lee-Kim-Yoo password-based key agreement scheme.
Applied Mathematics and Computation, 2005

A Key Management Scheme for Commodity Sensor Networks.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 4th International Conference, 2005

2002
Two undecidability results for chain code picture languages.
Theor. Comput. Sci., 2002

2001
Double Greibach operator grammars.
Theor. Comput. Sci., 2001

Separation Results for Separated Apex NLC and NCE Graph Languages.
J. Comput. Syst. Sci., 2001

Efficient recognition algorithms for boundary and linear eNCE graph languages.
Acta Inf., 2001

2000
Leftmove-bounded picture languages.
Theor. Comput. Sci., 2000

1999
HRNCE Grammars - a Hypergraph Generating System with an eNCE Way of Rewriting.
Theor. Comput. Sci., 1999

1997
A Hierarchy of eNCE Families of Graph Languages.
Theor. Comput. Sci., 1997

1996
Unambiguous Description of Chain Code Picture Languages.
Inf. Process. Lett., 1996

1995
Node Replacement Graph Languages Squeezed with Chains, Trees, and Forests
Inf. Comput., February, 1995

1994
Retreat Bounded Picture Languages.
Theor. Comput. Sci., 1994

HRNCE Grammars - A Hypergraph Generating System with an eNCE Way.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993
Separating k-Separated eNCE Graph Languages.
Theor. Comput. Sci., 1993

1992
On Reversal-Bounded Picture Languages.
Theor. Comput. Sci., 1992

1990
Complexity and Decidability for Restricted Classes of Picture Languages.
Theor. Comput. Sci., 1990

Picture Iteration and Picture Ambiguity.
J. Comput. Syst. Sci., 1990

1987
The Membership and Equivalence Problems for Picture Languages.
Theor. Comput. Sci., 1987


  Loading...