Dr. Yu Yue Du
My Social Links

Dr. Yu Yue Du

Professor
Shandong University of Science and Technology, China


Highest Degree
Ph.D. in Computer Application from Tongji University, China

Share this Profile

Area of Interest:

Computer Sciences
100%
Service Computing
62%
Workflow
90%
Computer Application
75%
Software Engineering
55%

Research Publications in Numbers

Books
0
Chapters
2
Articles
107
Abstracts
9

Selected Publications

  1. 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  |  
  2. 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  |  
  3. 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  |  
  4. Du, Y.Y. and B.Q. Guo, 2009. Logic petri nets and equivalency. Inform. Technol. J., 8: 95-100.
    CrossRef  |  Direct Link  |  
  5. 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  |  
  6. 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  |  
  7. Du, Y.Y. and C. Jiang, 2008. A formal approach for obligation analysis of e-commerce. Chin. J. Electron., 17: 200-204.
    Direct Link  |  
  8. 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  |  
  9. 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  |  
  10. 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  |