Hi, I am Gao Hongjiang, My LiveDNA is 86.508
Dr. Gao Hongjiang
Highest Degree: Ph.D. in Formal Methods, Software Engineering from Xi'an Jiaotong University, China
Institute: Ludong University, China
Area of Interest: Computer Sciences
  •   Software Engineering
  •   Multi-Agent Systems
  •   Software Test
  •   Image Processing
URL: http://livedna.org/86.508
My SELECTED Publications
1:   Gao, H.J., Z. Qin, L. Lu, L.P. Shao and X.C. Heng, 2007. Formal specification and proof of Multi-Agent applications using event B. Inform. Technol. J. Pak., 6: 1181-1189.
Direct Link  |  
2:   Gao, X.J., H. Sun, B.H. Xu, Y. He and Z. Qin, 2008. Rigorous development of fault-tolerant transactions for information retrieval systems using event-B. Inform. Technol. J., 7: 868-875.
CrossRef  |  Direct Link  |  
3:   Hongjiang, G., Q. Zheng, L. Lei and S. Liping, 2007. Refinement in formal method B. Comput. Enginee., 33: 49-51.
4:   Hongjiang, G., S. Liping, H. Xingchen and Q. Zheng, 2007. Secret sharing scheme based on boolean algebra. Comput. Enginee., 33: 24-26.
5:   LiPing, S., Q. Zheng, G. HongJiang and H. XingChen, 2007. 2-dimension non equilateral image scrambling transformation. Acta Electronica Sinica, 35: 1290-1294.
Direct Link  |  
6:   Liping, S., Q. Zheng, H. Xingchen, G. Hongjiang and W. Xianhui, 2008. Avalanche image scrambling transformation based on high-dimension matrix transformation. J. Image Graphics, 13: 1429-1436.
7:   Liping, S., Q. Zheng, L. Bo, G. Hongjiang and Q. Jun, 2009. 2D Bi-scale rectangular mapping and its application in image scrambling. J. Comput. Aided Des. Comput. Graphics, 21: 1025-1034.
Direct Link  |  
8:   Shao, L.P., Z. Qin, H.J. Gao, B. Liu and H. Li, 2010. A multi-scale triangular mapping and its applications in variation scale scrambling. Int. J. Comput. Appl. Technol., 38: 74-85.
CrossRef  |  Direct Link  |