X. Xie

Linear control of live marked graphs

Philippe Darondeau, X. Xie, P. Darondeau, 2003, Autom..

An approach for modeling components with customization for distributed software

Sol M. Shatz, X. Xie, 2001, Informatica.

An Approach To Using Formal Methods In Aspect Orientation

Sol M. Shatz, X. Xie, S. Shatz, 2000, PDPTA.

Development of class-level and instance-level design models for distributed-object software

Sol M. Shatz, X. Xie, 2002, Comput. Syst. Sci. Eng..

Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

X. Xie, Y.-S. Huang, M. Jeng, 2006, IEEE Trans. Syst. Man Cybern. Part A.

Reliability of Chip/DCB Solder Joints in AlSiC Base Plate Power Modules: Influence of Chip Size

M. Thoben, J. Wilde, X. Xie, 2001, Microelectronics and reliability.

An Approach to Object System Modeling by State-Based Object Petri Nets

Sol M. Shatz, X. Xie, A. Newman, 1998, J. Circuits Syst. Comput..