Yujun Zheng

Problem Reduction Graph Model for Discrete Optimization Problems

Yujun Zheng, Jinyun Xue, 2010, 2010 Third International Joint Conference on Computational Science and Optimization.

Formal Programming for the Shortest Path and Its Critical Edge Problems

Yujun Zheng, Jinyun Xue, Haihe Shi, 2007, 2007 IEEE International Conference on Automation and Logistics.

PARTIALLY INTRODUCING FORMAL METHODS IN SOFTWARE EVOLUTION: A QUALITY METRICS DRIVEN APPROACH

Yujun Zheng, Jinyun Xue, Yuling Zhu, 2005 .

ISDGen: An automated simulation data generation tool for object-oriented information systems

Yujun Zheng, Jinyun Xue, Yuling Zhu, 2008, 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing.

Automated Large-Scale Simulation Test-Data Generation for Object-Oriented Software Systems

Yan Ma, Yujun Zheng, Jinyun Xue, 2007, The First International Symposium on Data, Privacy, and E-Commerce (ISDPE 2007).

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach

Yujun Zheng, Jinyun Xue, Kan Wang, 2006, FM.

An extension of COCOMO II for the B-Method

Yujun Zheng, Jinyun Xue, Kan Wang, 2006, EDSER '06.

Toward an Automatic Approach to Greedy Algorithms

Yujun Zheng, Zhengkang Zuo, Jinyun Xue, 2009, FAW.

A simple greedy algorithm for a class of shuttle transportation problems

Yujun Zheng, Jinyun Xue, Chuanqing Xu, 2009, Optim. Lett..

A problem reduction based approach to discrete optimization algorithm design

Yujun Zheng, Jinyun Xue, Yujun Zheng, 2010, Computing.

PAR: A Practicable Formal Method and Its Supporting Platform

Zhuo Cheng, Jinyun Xue, Yujun Zheng, 2018, ICFEM.

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum

Yujun Zheng, Jinyun Xue, Haihe Shi, 2007, International Conference on Computational Science.