A Study on the Specification and Verification of Performance Properties (Extended Abstract). - Xiao Jun Chen; Flavio Corradini; Roberto Gorrieri (AMAST, 1996)

Model Checking ACTL Constrained Processes. - Xiao Jun Chen (FroCoS, 1996)

Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. - Xiao Jun Chen; Rocco De Nicola (ICALP, 1996)

On the Specification and Verification of Performance Properties for a Timed Process Algebra. - Xiao Jun Chen; Flavio Corradini (AMAST, 1997)

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. - Xiao Jun Chen; Giuseppe De Giacomo (Artif. Intell., 1999)

Deriving use cases for distributed systems from knowledge requirements. - Xiao Jun Chen; Luigi Logrippo (Ann. des Télécommunications, 2000)

Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. - Xiao Jun Chen; Rocco De Nicola (Theor. Comput. Sci., 2001)

Construction of Deadlock-free Designs of Communication Protocols from Observation. - Xiao Jun Chen; Hasan Ural (Comput. J., 2002)