( en | de | ru )

 

Disambiguation of "Xudong, He"

Author of the publication

copydeleteadd this publication to your clipboard
A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining

, , , , and . (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xudong Liu

Xudong Cui

Xudong Xie

Xudong Ma

Xudong Zhao

 

Other publications of authors with the same name

Component Based Multi-Agent System Modeling and Analysis: A Case Study., , and . Software Engineering Research and Practice, page 183-189. CSREA Press, (2007)Modular Analysis of Software Architecture Model., , , , , and . Software Engineering Research and Practice, page 17-23. CSREA Press, (2009)Automated Runtime Validation of Software Architecture Design., , , and . ICDCIT, volume 3816 of Lecture Notes in Computer Science, page 446-457. Springer, (2005)Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets.. QRS, page 232-239. IEEE, (2017)A Multi-Agent Model for a Business Continuity Information Network., and . SEKE, page 657-663. Knowledge Systems Institute Graduate School, (2010)Applying Aspect-Orientation in Designing Security Systems: A Case Study., , , , , and . SEKE, page 360-365. (2004)Formal Aspect-Oriented Modeling and Analysis by Aspect., , , and . SEKE, page 169-174. (2005)An Empirical Study on Classification of Non-Functional Requirements., , and . SEKE, page 444-449. Knowledge Systems Institute Graduate School, (2011)A new approach to verify rule-based systems using petri net., , and . Inf. Softw. Technol., 45 (10): 663-669 (2003)A Methodology for Constructing Predicate Transition Net Specifications., and . Softw. Pract. Exp., 21 (8): 845-875 (1991)