Xiaofeng Zhou
Identifiers
No identifiers captured yet.
Papers (7)
- AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs cs.AR · 2026 · author #1
- A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking cs.LO · 2026 · author #1
- Polar Codes with Memory cs.IT · 2019 · author #4
- Mining Rules Incrementally over Large Knowledge Bases cs.DB · 2019 · author #1
- Electric field switching of the uniaxial magnetic anisotropy of an antiferromagnet cond-mat.mtrl-sci · 2018 · author #2
- Observation of Anomalous Hall Effect in Noncollinear Antiferromagnetic Mn3Sn Films cond-mat.mtrl-sci · 2018 · author #3
- How to manipulate magnetic states of antiferromagnets cond-mat.mtrl-sci · 2018 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Cheng Song 3 shared papers
- Feng Pan 3 shared papers
- Xianzhe Chen 3 shared papers
- Yunfeng You 3 shared papers
- Guangyu Hu 2 shared papers
- Hongce Zhang 2 shared papers
- Wei Zhang 2 shared papers
- Ali Sadeghian 1 shared papers
- Chuan Zhang 1 shared papers
- Daisy Zhe Wang 1 shared papers
- Haobo Li 1 shared papers
- Jia Zhang 1 shared papers
- Linfeng Du 1 shared papers
- Liping Li 1 shared papers
- Qiang Liu 1 shared papers
- Ran Cheng 1 shared papers
- Ruiqi Zhang 1 shared papers
- Sharad Sinha 1 shared papers
- Wenyue Zhou 1 shared papers
- Yaohua Xu 1 shared papers