Jieqi Ding

According to our database, Jieqi Ding authored at least 2 papers between 2009 and 2010.

Collaborative distances:

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

2010

Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.

Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.

Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li

Proceedings of the TASE 2009, 2009