Xiaojie Dai
机构：Northwestern Polytechnical University
发表论文 6 篇 · 总被引 38 次 · h-index 2
代表论文
- An Ultrastable Bifunctional Electrocatalyst Derived from a Co 2+ -Anchored Covalent–Organic Framework for High-Efficiency ORR/OER and Rechargeable Zinc–Air Battery (2023 · ACS Applied Materials & Interfaces · 被引 33)
- Phase-controlled evolution of cobalt active sites assisted by carbon substrate for high-efficiency oxygen reduction reaction (2024 · Journal of Material Science and Technology · 被引 2)
- Fault Analysis on AES: A Property-Based Verification Perspective (2023 · Tsinghua Science & Technology · 被引 2)
- An Automatic Extraction and Verification Method of Security Properties for Integrated Circuit Design (2024 · 被引 1)
- Research on Intelligent Auxiliary Assessment of Nonlinear Regional Power Grid Dispatch Risk (2025)
- Hardware Trojans detection through automatic properties extraction and formal verification (2025 · Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University)