Jiaquan Sun

According to our database, Jiaquan Sun authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

A Petri-net-based Method For Detecting Bugs in Multiple Threads.

Jiaquan Sun, Guanjun Liu, Dongming Xiang, Changjun Jiang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints.

Yaqiong He, Guanjun Liu, Dongming Xiang, Jiaquan Sun, Chungang Yan, Changjun Jiang

IEEE Access, 2018