2007 |
7 | EE | Xian Xu,
Xiaoju Dong,
Yuxi Fu:
A Model in kappa for DNA Addition.
Electr. Notes Theor. Comput. Sci. 171(2): 209-222 (2007) |
6 | EE | Xiaoju Dong,
Yuxi Fu:
Barbed Congruence of Asymmetry and Mismatch.
J. Comput. Sci. Technol. 22(4): 575-579 (2007) |
2006 |
5 | EE | Farong Zhong,
Yuxi Fu,
Xiaoju Dong:
Bisimulation Congruence for Asymmetric chi ^ e -Calculus.
ISPDC 2006: 173-184 |
2005 |
4 | EE | Yonggen Gu,
Yuxi Fu,
Yang Li,
Xiaoju Dong:
A Generic Model for Symbolic Analyzing Security Protocols.
CIT 2005: 680-684 |
3 | EE | Zhupeng Dong,
Xiaoju Dong,
Xian Xu,
Yuxi Fu,
Zhizhou Zhang,
Lin He:
An Implementation for Mapping SBML to BioSPI.
FSKD (2) 2005: 1128-1131 |
2004 |
2 | EE | Yuxi Fu,
Xiaoju Dong:
Formalizing the Environment View of Process Equivalence.
CIS 2004: 336-345 |
2003 |
1 | EE | Xiaoju Dong,
Yuxi Fu:
Observing Asymmetry and Mismatch.
APLAS 2003: 2-19 |