Linlin Kong

According to our database, Linlin Kong authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Group Stable Matching Problem in Freight Pooling Service of Vehicle-Cargo Matching Platform.

Linlin Kong, Min Huang

Syst., 2025

Symmetry-Aware Hybrid Verification for Complex Building Information Systems.

Linlin Kong, Qiliang Yang, Yaoqin Zhang, Xuewei Zhang, Qizhen Zhou

Symmetry, 2025

2024

Formal modelling and validation of a novel building information model.

Linlin Kong, Qiliang Yang, Qizhen Zhou, Jianchun Xing, Yin Chen

Adv. Eng. Softw., 2024