Sign in
Fangning Hu
Publication Activity (10 Years)
Years Active: 2007-2018
Publications (10 Years): 1
Top Topics
Automated Verification
Bayesian Networks
Temporal Logic
Model Checking
Top Venues
ICICS
</>
Publications
</>
Fan Zhang
,
Cong Zhang
,
Mingdi Xu
,
Xiaoli Liu
,
Fangning Hu
,
Han-Chieh Chao
Automated Verification of Noninterference Property.
ICICS
(2018)
Jalal Etesami
,
Fangning Hu
,
Werner Henkel
LCD Codes and Iterative Decoding by Projections, a First Step Towards an Intuitive Description of Iterative Decoding.
GLOBECOM
(2011)
Fangning Hu
,
Werner Henkel
An Analysis of the Sum-Product Decoding of Analog Compound Codes.
ISIT
(2007)