Hong Pyo Ha

Identifiers

• name variant Hong Pyo Ha 0.60 · backfill

Papers (2)

1. A proof Procedure for Testing Membership in Regular Expressions cs.FL · 2010 · author #2
2. Algorithm as Defining Dynamic Systems cs.DS · 2009 · author #2

Mentions

• 1002.2203 #2 · backfill · confidence 0.70 Hong Pyo Ha
• 0911.0397 #2 · backfill · confidence 0.70 Hong Pyo Ha

Frequent Coauthors

• Keehang Kwon 2 shared papers
• Jiseung Kim 1 shared papers