Professor Zhiming Liu - 刘志明
Northwestern Polytechnical University
H-index: 35
Asia-China
Top articles of Professor Zhiming Liu - 刘志明
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Deep autoencoder architecture with outliers for temporal attributed network embedding | Expert Systems with Applications | Xian Mo Jun Pang Zhiming Liu | 2024/4/15 |
A dynamic logic with branching modalities | Journal of Logical and Algebraic Methods in Programming | Yuanrui Zhang Zhiming Liu | 2024/1/1 |
Safety verification of nonlinear systems with Bayesian neural network controllers | Proceedings of the AAAI Conference on Artificial Intelligence | Xia Zeng Zhengfeng Yang Li Zhang Xiaochao Tang Zhenbing Zeng | 2023/6/26 |
Kullback-leibler divergence-based out-of-distribution detection with flow-based generative models | IEEE Transactions on Knowledge and Data Engineering | Yufeng Zhang Jialu Pan Wanwei Liu Zhenbang Chen Kenli Li | 2023/8/29 |
Formal Aspects of Component Software: An Overview on Concepts and Relations of Different Theories | Zhiming Liu Jiadong Teng Bo Liu | 2023/10/26 | |
Early Warning Evaluation and Warning Trend Analysis of the Resource and Environment Carrying Capacity in Altay Prefecture, Xinjiang | Sustainability | Shengxin Lan Xiaona Wang Meifang Li Xiaohua Fu Mei Xu | 2023/6/20 |
Towards correctness proof for hybrid Simulink block diagrams | Journal of Systems Architecture | Wei Zhang Quan Sun Chao Wang Zhiming Liu | 2023/8/1 |
A contract-based semantics and refinement for hybrid Simulink block diagrams | Journal of Systems Architecture | Quan Sun Wei Zhang Chao Wang Zhiming Liu | 2023/10/1 |
Author Spotlight: Advancing SERS Technology: Au@ Carbon Dot Nanoprobes for Label-Free Analysis and Imaging | JoVE (Journal of Visualized Experiments) | Ying Zheng Xia Xiao Zhenzhen Li Yong Shao Jieyi Chen | 2023/6/9 |
Learning Assumptions for Compositional Verification of Timed Automata | IEEE Transactions on Software Engineering | Shang-Wei Lin Étienne André Yang Liu Jun Sun Jin Song Dong | 2014 |
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT | Dapeng Yan Zhipeng Gao Zhiming Liu | 2023/9/11 | |
Multi-dimensional Abstraction and Decomposition for Separation of Concerns | Zhiming Liu Jiadong Teng Bo Liu | 2023/11/27 | |
MemoryGAN: GAN Generator as Heterogeneous Memory for Compositional Image Synthesis | Electronics | Zongtao Wang Jiajie Peng Zhiming Liu | 2023/7/3 |
Linking Formal Methods in Software Development: A Reflection on the Development of rCOS | Zhiming Liu | 2023/9/8 | |
Photoluminescence and photothermal conversion in boric acid derived carbon dots for targeted microbial theranostics | Chinese Chemical Letters | Yiqiao Chen Ao Liu Biwen Yang Zhenzhen Li Binggang Ye | 2023/11/11 |
Unlocking Efficiency in Fine-Grained Compositional Image Synthesis: A Single-Generator Approach | Applied Sciences | Zongtao Wang Zhiming Liu | 2023/6/27 |
Flavonoid Metabolome-Based Active Ingredient Mining and Callus Induction in Catalpa bungei C. A. Mey | Forests | Xiaofeng Zeng Xiao Wang Yanling Zeng Jinbo Hou Zhiming Liu | 2023/9/5 |
Towards a model of human-cyber–physical automata and a synthesis framework for control policies | Journal of Systems Architecture | Xiaochen Tang Miaomiao Zhang Wanwei Liu Bowen Du Zhiming Liu | 2023/11/1 |
Proving Simulink block diagrams correct via refinement | Wireless Communications and Mobile Computing | Wei Zhang Quan Sun Chao Wang Zhiming Liu | 2022/9/19 |
Probabilistic synthesis against GR (1) winning condition | Frontiers of Computer Science | Wei Zhao Rui Li Wanwei Liu Wei Dong Zhiming Liu | 2022/4 |
Co-Authors
