Jiseung Kim

Identifiers

• name variant Jiseung Kim 0.60 · backfill

Papers (1)

1. A proof Procedure for Testing Membership in Regular Expressions cs.FL · 2010 · author #3

Mentions

• 1002.2203 #3 · backfill · confidence 0.70 Jiseung Kim

Frequent Coauthors

• Hong Pyo Ha 1 shared papers
• Keehang Kwon 1 shared papers