Leyuan Liu

According to our database, Leyuan Liu authored at least 14 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Interpreting Temporal Knowledge Graph Reasoning (Student Abstract).

Bin Chen, Kai Yang, Wenxin Tai, Zhangtao Cheng, Leyuan Liu, Ting Zhong, Fan Zhou

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Local Cluster-Aware Attention for Non-Euclidean Structure Data.

Ming Zhuo, Yunzhuo Liu, Leyuan Liu, Shijie Zhou

Symmetry, March, 2023

Self-Supervised Rumor Detection with Augmented Variational Graphs.

Leyuan Liu, Junyi Chen, Liu Yu, Fan Zhou

Proceedings of the IEEE Global Communications Conference, 2023

Towards Trustworthy Rumor Detection with Interpretable Graph Structural Learning.

Leyuan Liu, Junyi Chen, Zhangtao Cheng, Wenxin Tai, Fan Zhou

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

Enhancing Information Diffusion Prediction with Self-Supervised Disentangled User and Cascade Representations.

Zhangtao Cheng, Wenxue Ye, Leyuan Liu, Wenxin Tai, Fan Zhou

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2022

A High-Utility Differentially Private Mechanism for Space Information Networks.

Ming Zhuo, Wen Huang, Leyuan Liu, Shijie Zhou, Zhiwen Tian

Remote. Sens., 2022

Adaptive Optimization of Dynamic Heterogeneous Network Topologies: A Simulated Annealing Methodology.

Ming Zhuo, Peng Yang, Junyi Chen, Leyuan Liu, Chenrui Liu

Proceedings of the Artificial Intelligence and Security - 8th International Conference, 2022

2021

HGENA: A Hyperbolic Graph Embedding Approach for Network Alignment.

Fan Zhou, Ce Li, Xovee Xu, Leyuan Liu, Goce Trajcevski

Proceedings of the IEEE Global Communications Conference, 2021

2020

Unsupervised User Identity Linkage via Graph Neural Networks.

Fan Zhou, Zijing Wen, Ting Zhong, Goce Trajcevski, Xovee Xu, Leyuan Liu

Proceedings of the IEEE Global Communications Conference, 2020

2015

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Comput. J., 2015

2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Formal Verification of Communicating HSTM Designs.

Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda

Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012

2011

Detecting Malware Variants by Byte Frequency.

Sheng Yu, Shijie Zhou, Leyuan Liu, Rui Yang, Jiaqing Luo

J. Networks, 2011