中文版 | English

个人主页

关键词云

成果统计

合作作者[TOP 5]

  • 宋富

    合作成果数：11

  • 陈光科

    合作成果数：7

  • 赵哲

    合作成果数：6

  • Chen, Taolue

    合作成果数：6

  • Sun, Jun

    合作成果数：2

访问统计


  总访问量
 1009
  访问来源
    内部： 4
    外部： 1005
    国内： 845
    国外： 164

  年访问量
 174
  访问来源
    内部： 0
    外部： 174
    国内： 161
    国外： 13

  月访问量
 6
  访问来源
    内部： 0
    外部： 6
    国内： 6
    国外： 0

访问量

访问量

1. SLMIA-SR: Speaker-Level Membership Inference Attacks against Speak.. [657]
2. Probabilistic Alternating-Time mu-Calculus [604]
3. QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recogni.. [530]
4. Model-Checking for Heterogeneous Multi-Agent Systems [461]
5. BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized.. [461]
6. 基于二元决策图的二值神经网络定量分析方法 [448]
7. QVIP: An ILP-based formal verification approach for quantized neu.. [368]
8. CLEVEREST: Accelerating CEGAR-based Neural Network Verification vi.. [300]
9. Compositional Verification of Efficient Masking Countermeasures ag.. [240]
10. Precise Quantitative Analysis of Binarized Neural Networks: A BDD-.. [237]
11. QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recogni.. [229]
12. QEBVerif: Quantization Error Bound Verification of Neural Networks [211]
13. 量化神经网络的形式化验证 [27]

下载量

1. 基于二元决策图的二值神经网络定量分析方法 [8]
2. Probabilistic Alternating-Time mu-Calculus [2]
3. Model-Checking for Heterogeneous Multi-Agent Systems [1]
4. CLEVEREST: Accelerating CEGAR-based Neural Network Verification vi.. [1]
5. 量化神经网络的形式化验证 [1]