Li Cen

According to our database, Li Cen authored at least 3 papers between 2008 and 2025.

Collaborative distances:

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

2025

Formal Verification of Solidity Smart Contracts via Automata Theory.

Meihua Xiao, Yangping Xu, Yongtuo Zhang, Ke Yang, Sufen Yan, Li Cen

Symmetry, 2025

2009

Domain-Based Adaptive T-Rank Search Algorithm.

Li Cen, Long-yuan Tan, Hao Pan

Proceedings of the 2009 Pacific-Asia Conference on Circuits, Communications and Systems, 2009

2008

Application of Hybrid Genetic Algorithm-BP Neural Networks to Diagnosis of Lung Cancer.

Li Cen, Mei Wang

Proceedings of the International Conference on Computer Science and Software Engineering, 2008