1997 |
17 | | Sam M. Kim:
An Algorithm for Identifying Spliced Languages.
COCOON 1997: 403-411 |
16 | | Sam M. Kim:
Computational Modeling for Genetic Splicing Systems.
SIAM J. Comput. 26(5): 1284-1309 (1997) |
1995 |
15 | | Sam M. Kim,
Robert McNaughton:
An Efficient Algorithm for Local Testability Problem of Finite State Automata.
COCOON 1995: 597-606 |
1994 |
14 | | Sam M. Kim,
Robert McNaughton:
Computing the Order of a Locally Testable Automaton.
SIAM J. Comput. 23(6): 1193-1215 (1994) |
1991 |
13 | | Sam M. Kim,
Robert McNaughton:
Computing the Order of a Locally Testable Automaton.
FSTTCS 1991: 186-211 |
12 | | Sam M. Kim,
Robert McNaughton,
Robert McCloskey:
A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.
IEEE Trans. Computers 40(10): 1087-1093 (1991) |
1989 |
11 | | Sam M. Kim,
Robert McNaughton,
Robert McCloskey:
An Upper Bound on the Order of Locally Testable Deterministic Finite Automata.
Optimal Algorithms 1989: 48-65 |
10 | | Sam M. Kim,
Robert McNaughton,
Robert McCloskey:
A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata.
WADS 1989: 420-436 |
1986 |
9 | | Oscar H. Ibarra,
Sam M. Kim,
Michael A. Palis:
Designing Systolic Algorithms Using Sequential Machines.
IEEE Trans. Computers 35(6): 531-542 (1986) |
1985 |
8 | | Oscar H. Ibarra,
Sam M. Kim,
Louis E. Rosier:
Some Characterizations of Multihead Finite Automata
Information and Control 67(1-3): 114-125 (1985) |
7 | | Oscar H. Ibarra,
Sam M. Kim,
Louis E. Rosier:
On Space and Time Efficient TM Simulations of Some Restricted Classes of PDA's
Information and Control 67(1-3): 126-143 (1985) |
6 | | Oscar H. Ibarra,
Sam M. Kim,
Shlomo Moran:
Sequential Machine Characterizations of Trellis and Cellular Automata and Applications.
SIAM J. Comput. 14(2): 426-447 (1985) |
5 | | Oscar H. Ibarra,
Michael A. Palis,
Sam M. Kim:
Fast Parallel Language Recognition by Cellular Automata.
Theor. Comput. Sci. 41: 231-246 (1985) |
1984 |
4 | | Oscar H. Ibarra,
Michael A. Palis,
Sam M. Kim:
Designing Systolic Algorithms Using Sequential Machines
FOCS 1984: 46-55 |
3 | | Oscar H. Ibarra,
Sam M. Kim,
Louis E. Rosier:
Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs.
ICALP 1984: 247-259 |
2 | | Oscar H. Ibarra,
Sam M. Kim:
A Characterization of Systolic Binary Tree Automata and Applications.
Acta Inf. 21: 193-207 (1984) |
1 | | Oscar H. Ibarra,
Sam M. Kim:
Characterizations and Computational Complexity of Systolic Trellis Automata.
Theor. Comput. Sci. 29: 123-153 (1984) |