Yibo Dong

According to our database, Yibo Dong authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

2024

An Attacker-Defender Game Model with Constrained Strategies.

Jiaqi Ren, Jin Liu, Yibo Dong, Zhe Li, Weili Li

Entropy, August, 2024

Revisiting Assumptions Ordering in CAR-Based Model Checking.

Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

CoRR, 2024

2023

Modelling and Research on Intuitionistic Fuzzy Goal-Based Attack and Defence Game for Infrastructure Networks.

Zhe Li, Jin Liu, Yibo Dong, Jiaqi Ren, Weili Li

Entropy, November, 2023

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems.

Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

LegumeIP V3: from models to crops - an integrative gene discovery platform for translational genomics in legumes.

Xinbin Dai, Zhaohong Zhuang, Clarissa Boschiero, Yibo Dong, Patrick X. Zhao

Nucleic Acids Res., 2021

Genome annotation of disease-causing microorganisms.

Yibo Dong, Chang Li, Kami Kim, Liwang Cui, Xiaoming Liu

Briefings Bioinform., 2021

A Deep Learning Model for Ancestry Estimation with Craniometric Measurements.

Yibo Dong, Andrew Gao, Ian Hou, Kevin Ma, Ruoxian Huang, Yongsheng Bai, Xiaoming Liu

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021