Kai Hu
Affiliations:- Beihang University, State Key Laboratory of Software Development Environment, Beijing, China
According to our database1,
Kai Hu
authored at least 43 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A formal specification language and automatic modeling method of asset securitization contract.
J. King Saud Univ. Comput. Inf. Sci., 2024
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
2023
Proceedings of the 24th IEEE International Conference on Mobile Data Management, 2023
Proceedings of the 24th IEEE International Conference on Mobile Data Management, 2023
2022
IEEE Internet Things J., 2022
Design and Optimization of Bionic Wings Based on Leading-edge Angle for Flapping-Wing Micro Air Vehicle.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022
2021
Softw. Test. Verification Reliab., 2021
Sci. Comput. Program., 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
2020
Proceedings of the ICBTA 2020: The 3rd International Conference on Blockchain Technology and Applications, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.
Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019
Proceedings of the Human Centered Computing - 5th International Conference, 2019
2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the 7th International Conference on Software and Computer Applications, 2018
Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018
2017
Proceedings of the 18th International Conference on Parallel and Distributed Computing, 2017
Proceedings of the Human Centered Computing - Third International Conference, 2017
2016
Simul. Model. Pract. Theory, 2016
Frontiers Comput. Sci., 2016
2015
Simul. Model. Pract. Theory, 2015
J. Syst. Archit., 2015
CoRR, 2015
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015
2014
J. Syst. Softw., 2014
A verified transformation: from polychronous programs to a variant of clocked guarded actions.
Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014
2013
An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization.
IEICE Trans. Inf. Syst., 2013
Frontiers Comput. Sci., 2013
Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit
CoRR, 2013
2012
Structural analysis of network traffic matrix via relaxed principal component pursuit.
Comput. Networks, 2012
2011
Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit
CoRR, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
2010
Proceedings of the Symposia and Workshops on Ubiquitous, 2010
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010
2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
2008
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008
2005
A Novel Approach to Evaluate Trustworthiness and Uncertainty of Trust Relationships in Peer-to-Peer Computing.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005