Jujian Zhang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 6

Top Topics

Subgraph Isomorphism

Web Directories

Theoretical Basis

Educational Resources

Top Venues

Publications

Jujian Zhang, Yunzhou Xie, Yichen Feng, Yanqiao Zhou
Formalisation of the Category of Hopf Algebras in Lean4. ICMS (2024)
Jujian Zhang
Formalising the Proj Construction in Lean. ITP (2023)
Eric Wieser, Jujian Zhang
Graded Rings in Lean's Dependent Type Theory. CICM (2022)
Zengmin Geng, Xiaodong Sun, Jianxia Du, Jujian Zhang, Yiling Zhou
Multi-Metric Induced Robust Graph. IEEE Access 9 (2021)
Jujian Zhang, Ting Cheng
Content Extraction Method of Educational Resources Based on DOM. CIPAE (2020)
Jujian Zhang
Modeling of Resources Management Based on Hierarchical Concept and Nested Theory. AIAM (IEEE) (2019)
Zengmin Geng, Jujian Zhang, Xuefei Li, Jianxia Du
Research on Domain-Specific Text Classifier. CSIE (5) (2009)