Dr. Gao Hongjiang

Associate Professor
Ludong University, China

Highest Degree
Ph.D. in Formal Methods, Software Engineering from Xi'an Jiaotong University, China

My URL
https://livedna.org/86.508

Share this Profile

Area of Interest:

Computer Sciences
Software Engineering
Multi-Agent Systems
Software Test
Image Processing

Selected Publications

  1. 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  |  

  2. 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  |  

  3. 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.

  4. 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  |  

  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. Hongjiang, G., S. Liping, H. Xingchen and Q. Zheng, 2007. Secret sharing scheme based on boolean algebra. Comput. Enginee., 33: 24-26.

  7. Hongjiang, G., Q. Zheng, L. Lei and S. Liping, 2007. Refinement in formal method B. Comput. Enginee., 33: 49-51.

  8. 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  |  
Member since June, 2010