Search the dblp DataBase

Publications of Author

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