Lihua Duan

According to our database1, Lihua Duan authored at least 22 papers between 2006 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Ontology-Based Event Modeling and High-Confidence Processing in IoT-Enabled High-Speed Train Control System.
J. Signal Process. Syst., 2021

PrePCT: Traffic congestion prediction in smart cities with relative position congestion tensor.
Neurocomputing, 2021

2020
A Category-Specific Dictionary Learning Method Tailored for Reconstruction-Based Feature Coding.
IEEE Access, 2020

2019
Efficient Spatial Big Data Storage and Query in HBase.
Proceedings of the IEEE International Conference on Smart Cloud, 2019

On a Decomposition of the Risk Ruin Probability Based on Fuzzy Markov Skeleton Process.
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2017
Cloud Migration: Layer Partition and Integration.
Proceedings of the IEEE International Conference on Edge Computing, 2017

2015
Graph Similarity based Cloud Migration Service Composition Pattern Discovery.
Int. J. Web Serv. Res., 2015

2013
Improving multi-label classification performance by label constraints.
Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

2012
Composite kernel based SVM for hierarchical multi-label gene function classification.
Proceedings of the 2012 International Joint Conference on Neural Networks (IJCNN), 2012

2010
Non-optimum Analysis Approach to Incomplete Information Systems.
Proceedings of the Fuzzy Information and Engineering 2010, 2010

2009
Testing in context: Efficiency and executability.
PhD thesis, 2009

Exploring alternatives for transition verification.
J. Syst. Softw., 2009

Network Administrator Assistance System Based on Fuzzy C-means Analysis.
J. Adv. Comput. Intell. Intell. Informatics, 2009

Web Traversal with a History Stack.
Proceedings of the Ninth International Conference on Quality Software, 2009

2008
Error-preserving reductions on communication protocols.
Softw. Test. Verification Reliab., 2008

An Approach to Testing with Embedded Context Using Model Checker.
Proceedings of the Formal Methods and Software Engineering, 2008

2007
Alternative B-Sequences.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Reducing Test Sequence Length Using Invertible Sequences.
Proceedings of the Formal Methods and Software Engineering, 2007

Enhanced Traverse of Web Pages.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

A Formal Approach to Website Maintenance.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006
Optimal Synchronizable Test Sequence from Test Segments.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Conditions for Avoiding Controllability Problems in Distributed Testing.
Proceedings of the Formal Methods and Software Engineering, 2006


  Loading...