Dr. Gao  Hongjiang
My Social Links

Dr. Gao Hongjiang

Associate Professor
Ludong University, China


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

Share this Profile

Area of Interest:

Computer Sciences
100%
Software Engineering
62%
Multi-Agent Systems
90%
Software Test
75%
Image Processing
55%

Research Publications in Numbers

Books
0
Chapters
0
Articles
0
Abstracts
0

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  |