Graph explorer

Naijun Zhan

Naijun Zhan contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapNaijun Zhan
13 nodes12 links
Naijun Zhan13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipANaijun ZhanResearcherWReach-avoid Verificatio...preprint / 2022WOn Termination of Polyn...preprint / 2020WRobust Regions of Attra...preprint / 2020WAutomatically Discoveri...preprint / 2011WComputing Semi-algebrai...preprint / 2011WA "Hybrid" Appr...preprint / 2012WAbstraction of Elementa...preprint / 2015WSynthesizing Invariant ...preprint / 2022WGenerating Non-Linear I...preprint / 2013WExtending Hybrid CSP wi...preprint / 2015WMachine-checked executa...preprint / 2022WNonlinear Craig Interpo...preprint / 2020
PersonSignal 1012 links

Naijun Zhan

Researcher

Open