Dr. Yu Yue Du
ProfessorShandong University of Science and Technology, China
Highest Degree
Ph.D. in Computer Application from Tongji University, China
Share this Profile
Area of Interest:
Selected Publications
- Li, P. and Y. Du, 2009. Modeling and design for dynamic workflows based on flexible activities. Inform. Technol. J., 8: 750-756.
CrossRef | Direct Link | - Du, Y.Y., C.J. Jiang, M.C. Zhou and Y. Fu, 2009. Modeling and monitoring of E-commerce workflows. Inform. Sci., 179: 995-1006.
CrossRef | Direct Link | - Du, Y.Y., C.J. Jiang and M. Zhou, 2009. A petri net-based model for verification of obligations and accountability in cooperative systems. IEEE Trans. Syst. Man Cybern. A, 39: 299-308.
CrossRef | Direct Link | - Du, Y.Y. and B.Q. Guo, 2009. Logic petri nets and equivalency. Inform. Technol. J., 8: 95-100.
CrossRef | Direct Link | - Du, Y.Y., C.J. Jiang and M.C. Zhou, 2008. A petri-net-based correctness analysis of internet stock trading systems. IEEE Trans. Syst. Man Cybern. Part C: Appl. Rev., 38: 93-99.
CrossRef | Direct Link | - Du, Y.Y. and C.J. Jiang, 2008. On the design and temporal Petri net verification of grid commerce architecture. Chinese J. Electron., 17: 247-251.
Direct Link | - Du, Y.Y. and C. Jiang, 2008. A formal approach for obligation analysis of e-commerce. Chin. J. Electron., 17: 200-204.
Direct Link | - Du, Y.Y., C.J. Jiang and M.C. Zhou, 2007. Modeling and analysis of real-time cooperative systems using petri nets. IEEE Trans. Syst. Man Cybern. Part A: Part A: Syst. Hum., 37: 643-654.
CrossRef | Direct Link | - Du, Y.Y. and C.J. Jiang, 2004. Verifying functions in online stock trading systems. J. Comput. Sci. Technol., 19: 203-212.
CrossRef | Direct Link | - Du, Y.Y. and C.J. Jiang, 2003. Towards a workflow model of real-time cooperative systems. Formal Methods Software Eng., 2885: 452-470.
CrossRef | Direct Link |