Xiaoju DONG's Publications

  1. Xiaoju Dong. Axoimatization Systems of the Asymmetric Chi Calculus with Mismatch. Ph.D dissertation. Department of Computer Science, Shanghai Jiao Tong University, Shanghai, China. 2004. (in Chinese with English abstract)
  2. Chunyi Huang, Xiaoju Dong. Maximally parallel attribute on P systems: properties and applications. Pre-proceedings of the International Conference Bio-Inspired Computing--Theory and Applications, 2007. Also in Progress in Natural Science. 2008, 18(5): 629-632.
  3. Chunyi Huang, Xiaoju Dong, Huan Long. Solving the sort problem using a P system. Journal of Shanghai Jiao Tong University, 2008, 42(2): 206-208. (in Chinese with English abstract)
  4. Xian Xu, Xiaoju Dong. Study on a new variant of tissue P systems. Science of Computer, 2008. (in Chinese with English abstract)
  5. Min Zhang, Zhengwei Qi, Xiaoju Dong. Executable Specification of P Systems with Active Membranes and Its Implementation. Journal of Shanghai Jiao Tong University, 2008. (in Chinese with English abstract)
  6. Qing Zhuang, Xiaojuan Cai, Xiaoju Dong, Zhengwei Qi. A Verification Tool for Security Protocol on GSPM. Computer Engineering. 2008. (in Chinese with English abstract)
  7. Xiaoju Dong, Yuxi Fu. Barbed Congruence of Asymmetry and Mismatch. Journal of Computer Science and Technology, 22(4), 2007: 575-579.
  8. Xian Xu, Xiaoju Dong and Yuxi Fu. A Model in kappa for DNA Addition. Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi, July 9, 2006 (MeCBIC2006). Also in Electronic Notes in Theoretical Computer Science, 171(2), 2007: 209-222.
  9. Yang Pu, Xiaoju Dong. Continuous simulation of biomolecular systems based on process calculus. In Proc. of International Symposium on Artificial Life and Robotics, Oita, Japan, January 25-27, 2007.
  10. Dan Li, Min Zhang, Xiaoju Dong. κ-Calculus Model for the Life-Cycle of Lambda Phage. Journal of Shanghai Jiao Tong University. 2007: 42-22. (in Chinese with English abstract)
  11. Xiaoju Dong and Yuxi Fu. Barbed Congruence of the Asymmetric Chi Calculus. Journal of Harbin Institute of Technology, 13(4), 2006: 444-451.
  12. Xiaoju Dong, Jiahua Ni, Yuxi Fu. Modeling the biological and chemical reactive processes using process calculi. The Annual Conference of Theoretical Computer Science of China, 2006. (in Chinese)
  13. Yang Pu, Xiaoju Dong. The simulation and analysis of the tile self-assemble. The Annual Conference of Theoretical Computer Science of China, 2006. (in Chinese).
  14. Yang Pu, Yanbin Yu, Xiaoju Dong. Simulation of biomolecular processes by using stochastic P systems. In Proc. of International Workshop on High Performance Computing in the Life Sciences (HPCLife), Ouro Preto, Brazil, 2006.
  15. Farong Zhong, Yuxi Fu, Xiaoju Dong. Bisimulation Congruence for Asymmetric χ≠-Calculus. Proceedings-Fifth International Symposium on Parallel and Distributed Computing，2006: 173-184.
  16. Yonggen Gu, Yuxi Fu, Yang Li, Xiaoju Dong. A Generic Model for Symbolic Analyzing Security Protocols. CIT 2005, IEEE, 2005: 680-684.
  17. Xiaoju Dong, Yuxi Fu, Xu Xian. A Survey of Systems Biology Formal Models. The Annual Conference of Theoretical Computer Science of China. 2005. (in Chinese)
  18. Zhupeng Dong, Xiaoju Dong, Xian Xu, Yuxi Fu, Zhizhou Zhang, Lin He. An Implementation for Mapping SBML to BioSPI. FSKD(2), Lecture Notes in Computer Science, LNAI 3614, 2005: 1128-1131.
  19. Zhupeng Dong, Xiaoju Dong，Jiahua Ni. Research on Systems Biology Models Conversion. Journal of Shanghai Jiao Tong University, 39(8), 2005: 1280–1283. (in Chinese with English Abstract)
  20. Yuxi Fu, Xiaoju Dong. Formalizing the Environment View of Process Equivalence. The International Symposium on Computational and Information Sciences (CIS'04), Shanghai, December 16-18, Lecture Notes in Computer Science 3314, 2004: 336-345.
  21. Xiaoju Dong, Farong Zhong and Yuxi Fu. Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch. High Technology Letters, 9(4), 2003: 50-55.
  22. Xiaoju Dong and Yuxi Fu. Observing Asymmetry and Mismatch. In A Ohori, APLAS 2003, Lecture Notes in Computer Science 2895, Springer-Verlag, Nov. 27-29, Beijing, China, 2003: 2-19.
Last updated: Oct 12, 2008