Yujun Zheng

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 3

Top Topics

Binary Particle Swarm Optimization

Initial Population

Detection Algorithm

Global Optimization

Top Venues

Publications

Zhenbo Ni, Yujun Zheng
First Detection and Tunneling Time of a Quantum Walk. Entropy 25 (8) (2023)
Zuling Wang, Ze Chen, Zidong Wang, Jing Wei, Xin Chen, Qi Li, Yujun Zheng, Weiguo Sheng
Adaptive memetic differential evolution with multi-niche sampling and neighborhood crossover strategies for global optimization. Inf. Sci. 583 (2022)
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM (2018)
Yujun Zheng, Haihe Shi, Jinyun Xue
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. ICWL Workshops (2010)
Yujun Zheng, Jinyun Xue, Qimin Hu
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. J. Digit. Inf. Manag. 5 (3) (2007)