Tsung-Ju Lii

Identifiers

• name variant Tsung-Ju Lii 0.60 · backfill

Papers (1)

1. PAC Learning-Based Verification and Model Synthesis cs.SE · 2015 · author #4

Mentions

• 1511.00754 #4 · arxiv_oai · confidence 0.70 Tsung-Ju Lii
• 1511.00754 #4 · backfill · confidence 0.70 Tsung-Ju Lii

Frequent Coauthors

• Bow-Yaw Wang 1 shared papers
• Chiao Hsieh 1 shared papers
• Farn Wang 1 shared papers
• Ming-Hsien Tsai 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Yu-Fang Chen 1 shared papers