Li-An Yang

According to our database, Li-An Yang authored at least 3 papers between 2007 and 2016.

Collaborative distances:

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

2016

Automatically proving mathematical theorems with evolutionary algorithms and proof assistants.

Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2009

A Fuzzy Petri Nets approach for railway traffic control in case of abnormality: Evidence from Taiwan railway system.

Yung-Hsiang Cheng, Li-An Yang

Expert Syst. Appl., 2009

2007

A Dynamic Resource Broker and Fuzzy Logic Based Scheduling Algorithm in Grid Environment.

Jiayi Zhou, Kun-Ming Yu, Chih-Hsun Chou, Li-An Yang, Zhi-Jie Luo

Proceedings of the Adaptive and Natural Computing Algorithms, 8th International Conference, 2007