Concepedia

Xiaodong Liu

XL

Statistics

Publications

4

Citations

304

H-Index

4

Active since

2009

Affiliations

Dalian University of Technology(Current)

Xiaodong Liu is an author at Dalian University of Technology specializing in stability, verification, and formal specification.

Top concepts

StabilityEngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationFormal Specification

Publications per year

2009–2017

4

Publications

4

Stability Analysis for Neural Networks With Time-Varying Delay Based on Quadratic Convex Combination

Huaguang Zhang, Feisheng Yang, Xiaodong Liu et al. · IEEE Transactions on Neural Networks and Learning Systems · 2013 · 232 citations

Nonlinear Control, Time Delay System, Recurrent Neural Networks +7

Improved delay-dependent stability criteria for generalized neural networks with time-varying delays

Bin Yang, Juan Wang, Xiaodong Liu · Information Sciences · 2017 · 43 citations

Time Delay System, Delay-dependent Stability Criteria, Generalized Neural Networks +3

An Ant Colony based Routing Algorithm for Wireless Sensor Network

Xiaodong Liu, Songyang Li, Miao Wang · International Journal of Future Generation Communication and Networking · 2016 · 16 citations · Full text

Formal Analysis for Security of Otway-Rees Protocol with BAN Logic

Li Tingyuan, Xiaodong Liu, Qin Zhi-guang et al. · 2009 · 13 citations

Applied Logic, Ban Logic, Otway-rees Protocol +17

1–4 of 4