Sources

Every source backing a fact on Brian Lin's own page, deduplicated — the same source backing several facts appears once.

• https://dblp.org/pid/03/9787.html — https://dblp.org/pid/03/9787.html
• https://orcid.org/0000-0003-0425-7586 — https://orcid.org/0000-0003-0425-7586
• https://www.auto-ui.org/ — https://www.auto-ui.org/