Concepedia

Sam M. Kim

SM

8

Publications

356

Citations

8

H-Index

1984

Active since

Affiliations

University of Minnesota(Current)

Rensselaer Polytechnic Institute

Sam M. Kim is an author at University of Minnesota specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputational ComplexityParallel ComputingFormal VerificationComputer EngineeringParallel ProgrammingAutomated ReasoningVerification

Publications per year

1984–2004

8

Publications

8

Characterizations and computational complexity of systolic trellis automata

Óscar H. Ibarra, Sam M. Kim · Theoretical Computer Science · 1984 · 75 citations

Engineering, Formal Methods, Automaton Network +4

Some results concerning linear iterative (systolic) arrays

Óscar H. Ibarra, Michael A. Palis, Sam M. Kim · Journal of Parallel and Distributed Computing · 1985 · 72 citations

Mathematical Programming, Numerical Analysis, Array Processing +6

Sequential Machine Characterizations of Trellis and Cellular Automata and Applications

Óscar H. Ibarra, Sam M. Kim, Shlomo Moran · SIAM Journal on Computing · 1985 · 61 citations

Sequential Machine Characterizations, Engineering, Pushdown Automaton +19

Designing Systolic Algorithms Using Sequential Machines

Óscar H. Ibarra, Sam M. Kim, Michael A. Palis · IEEE Transactions on Computers · 1986 · 41 citations

Array Computing, Engineering, Machine Learning +15

Fast parallel language recognition by cellular automata

Óscar H. Ibarra, Michael A. Palis, Sam M. Kim · Theoretical Computer Science · 1985 · 35 citations

Engineering, Cellular Automata, Computational Linguistics +8

Rows per page

1–5 of 8