| |
| 2002 | ||
|---|---|---|
| 8 | EE | Xiao Jun Chen, Hasan Ural: Construction of Deadlock-free Designs of Communication Protocols from Observation. Comput. J. 45(2): 162-173 (2002) |
| 2001 | ||
| 7 | EE | Xiao Jun Chen, Rocco De Nicola: Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. Theor. Comput. Sci. 254(1-2): 337-361 (2001) |
| 1999 | ||
| 6 | EE | Xiao Jun Chen, Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107(1): 63-98 (1999) |
| 1997 | ||
| 5 | Xiao Jun Chen, Flavio Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137 | |
| 1996 | ||
| 4 | Giuseppe De Giacomo, Xiao Jun Chen: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996: 658-663 | |
| 3 | Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320 | |
| 2 | Xiao Jun Chen: Model Checking ACTL Constrained Processes. Frontiers of Combining Systems (FroCos) 1996: 377-388 | |
| 1 | Xiao Jun Chen, Rocco De Nicola: Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. ICALP 1996: 63-74 | |
| 1 | Flavio Corradini | [3] [5] |
| 2 | Giuseppe De Giacomo | [4] [6] |
| 3 | Roberto Gorrieri | [3] |
| 4 | Rocco De Nicola | [1] [7] |
| 5 | Hasan Ural | [8] |