Graph explorer

Zhilin Wu

Zhilin Wu contributes to research discovery and scholarly infrastructure.

9 nodes8 linksoverview mapZhilin Wu
9 nodes8 links
Zhilin Wu9 visible / 9 total nodes / 8 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAZhilin WuResearcherWA Decidable Extension o...preprint / 2011WRegular path queries on...preprint / 2014WVerifying Recursive Act...preprint / 2010WOn Automated Lemma Gene...preprint / 2015WThe Commutativity Probl...preprint / 2016WMonadic Decomposition i...preprint / 2020WOn Injective Embeddings...preprint / 2012WA Decision Procedure fo...preprint / 2020
PersonSignal 108 links

Zhilin Wu

Researcher

Open