Author of the publication

Frame-based attack representation and real-time first order logic automatic reasoning.

, , and . ITRE, page 225-229. IEEE, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

User satisfaction evaluation of microblogging services in China: using the tetra-class model., , and . Behav. Inf. Technol., 34 (1): 17-32 (2015)Fusion algorithms for multispectral and panchromatic image based on wavelet transformation., , and . ICNC-FSKD, page 2668-2673. IEEE, (2017)Integrated internal truck, yard crane and quay crane scheduling in a container terminal considering energy consumption., , , and . Expert Syst. Appl., 42 (5): 2464-2487 (2015)Delay and Queue Aware Adaptive Scheduling- Based MAC Protocol for Underwater Acoustic Sensor Networks., , , , , and . IEEE Access, (2019)A Formal Specification and Method for MAS as a Distributed System., , , , and . APPT, volume 2834 of Lecture Notes in Computer Science, page 189-193. Springer, (2003)Reliability analysis of a Novel Magneto-rheological Regenerative Suspension System under Road Excitation., , , , , , and . AIM, page 1033-1038. IEEE, (2018)Human Fall Detection Improvement Based on Artificial Neural Network and Optimized Zero Moment Point Algorithms., , , , , and . RCAR, page 662-666. IEEE, (2018)The motor vector control system based on BP-PI regulator., , and . RCAR, page 57-61. IEEE, (2017)Phase calibrated ring oscillator PUF design and implementation on FPGAs., , , and . FPL, page 1-8. IEEE, (2017)Designing focused crawler based on improved genetic algorithm., and . ICACI, page 319-323. IEEE, (2018)