Concepedia

K. CHOE

KC

Statistics

Publications

2

Citations

43

H-Index

2

Active since

1985

Affiliations

Korea Advanced Institute of Science and Technology(Current)

K. CHOE is an author at Korea Advanced Institute of Science and Technology specializing in computer science, computing, and algorithms.

Publications per year

1985–2006

2

Publications

2

A new analysis of LALR formalisms

Joseph C.H. Park, K. CHOE, C. H. Chang · ACM Transactions on Programming Languages and Systems · 1985 · 28 citations · Full text

, , +8

Update and Abstraction in Model Checking of Knowledge and Branching Time

Н. В. Шилов, Natalia Garanina, K. CHOE · Fundamenta Informaticae · 2006 · 15 citations

, , +12

1–2 of 2