Wanwei Liu - Publications, H-index & Citations

Wanwei Liu

national university of defense technology

11H指数

98论文数

428被引数

收录论文 17

发表时间

STCF: Multi-View Clustering for Spatial Transcriptomics Based on Cross-View Fusion STCF：基于交叉视图融合的空间转录组学多视图聚类

IEEE Transactions on Pattern Analysis and Machine Intelligence

IF18.6

2026-02-17

PREAI

Zeyu Zhu; Ke Liang; Lingyuan Meng; Wanwei Liu; Xinwang Liu

BIRDNN: Behavior-Imitation Based Repair for Deep Neural Networks

NEURAL NETWORKS

IF6.3

2025-03-01

PREAI

Liang, Zhen; Wu, Taoran; Zhao, Changyuan; Liu, Wanwei; Xue, Bai; Yang, Wenjing; Wang, Ji; Huang, Wanrong

AutoRIC: Automated Neural Network Repairing Based on Constrained Optimization AutoRIC: 基于约束优化的神经网络自动修复

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2025-01-20

PREAI

Sun, Xinyu; Liu, Wanwei; Wang, Shangwen; Chen, Tingyu; Tao, Ye; Mao, Xiaoguang

A synthesis method for zero-sum mean-payoff asynchronous probabilistic games

SCIENTIFIC REPORTS

IF3.9

2025-01-17

OAAI

Zhao, Wei; Liu, Wanwei; Liu, Zhiming; Wang, Tiexin

Kullback-Leibler Divergence-Based Out-of-Distribution Detection With Flow-Based Generative Models

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

2024-04-01

OAAI

Zhang, Yufeng; Pan, Jialu; Liu, Wanwei; Chen, Zhenbang; Li, Kenli; Wang, Ji; Liu, Zhiming; Wei, Hongmei

Reach-Avoid Verification Based on Convex Optimization 基于凸优化的达到-避免验证

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-01-01

OAAI

Xue, Bai; Zhan, Naijun; Fraenzle, Martin; Wang, Ji; Liu, Wanwei

Towards a model of human-cyber-physical automata and a synthesis framework for control policies

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2023-11-01

PREAI

Tang, Xiaochen; Zhang, Miaomiao; Liu, Wanwei; Du, Bowen; Liu, Zhiming

Credit assignment for trained neural networks based on Koopman operator theory

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2023-09-04

PREAI

Liang, Zhen; Zhao, Changyuan; Liu, Wanwei; Xue, Bai; Yang, Wenjing; Pang, Zhengbin

An Axiom System of Probabilistic Mu-Calculus 概率 μ-演算的公理系统

TSINGHUA SCIENCE AND TECHNOLOGY

IF3.5

2022-04-01

OAAI

Liu, Wanwei; Xu, Junnan; Jansen, David N.; Turrini, Andrea; Zhang, Lijun

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features

ACM TRANSACTIONS ON QUANTUM COMPUTING

IF6.8

2021-12-21

OAAI

Fu, X.; Yu, Jintao; Su, Xing; Jiang, Hanru; Wu, Hua; Cheng, Fucheng; Deng, Xi; Zhang, Jinrong; Jin, Lei; Yang, Yihang; Xu, Le; Hu, Chunchao; Huang, Anqi; Huang, Guangyao; Qiang, Xiaogang; Deng, Mingtang; Xu, Ping; Xu, Weixia; Liu, Wanwei; Zhang, Yu; Deng, Yuxin; Wu, Junjie; Feng, Yuan

Probabilistic synthesis against GR(1) winning condition

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2021-10-20

PREAI

Zhao, Wei; Li, Rui; Liu, Wanwei; Dong, Wei; Liu, Zhiming

Iterative Controller Synthesis for Multirobot System

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2020-09-01

PREAI

Shi, Hao; Li, Rui; Liu, Wanwei; Dong, Wei; Zhou, Ge