Hongyan Mao

According to our database, Hongyan Mao authored at least 22 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Formalization and Verification of RocketMQ Using CSP.

Yiwen Liu, Hongyan Mao, Ning Qin, Kai Chen

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP.

Ning Qin, Hongyan Mao, Yiwen Liu, Kai Chen

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Task Offloading for Multi-Gateway-Assisted Mobile Edge Computing Based on Deep Reinforcement Learning.

Xianyang Chu, Minghua Zhu, Hongyan Mao, Yunzhou Qiu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Spatio-Temporal Modeling For Air Quality Prediction Based On Spectral Graph Convolutional Network And Attention Mechanism.

Yiyi Song, Hongyan Mao, Hongwei Li

Proceedings of the International Joint Conference on Neural Networks, 2022

A Feature Fusion Analysis Model of Heterogeneous Data Based on Tensor Decomposition.

Xianyang Chu, Minghua Zhu, Hongyan Mao, Yunzhou Qiu

Proceedings of the International Joint Conference on Neural Networks, 2022

2020

Formal Modeling and Verification of Microservice-Based Cyber-Physical System.

Jingzi Wang, Hongyan Mao, Ningkang Jiang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

DAPR-Net: Domain Adaptive Predicting-Refinement Network for Retinal Vessel Segmentation.

Zichun Huang, Hongyan Mao, Ningkang Jiang, Xiaoling Wang

Proceedings of the Domain Adaptation and Representation Transfer, and Distributed and Collaborative Learning, 2020

2019

Time-Aware and Location-Based Personalized Collaborative Recommendation for IoT Services.

Rumeng Shao, Hongyan Mao, Jinpeng Jiang

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Formal Verification and Improvement of the PKMv3 Protocol Using CSP.

Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Cost-Performance Modeling with Automated Benchmarking on Elastic Computing Clouds.

Hongyan Mao, Zhengwei Qi, Jiangang Duan, Xinni Ge

J. Grid Comput., 2017

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction.

Kai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

CCP-Based Plant-Wide Optimization and Application to the Walking-Beam-Type Reheating Furnace.

Yan Zhang, Hongyan Mao

IEICE Trans. Inf. Syst., 2016

2014

A Load Balancing and Overload Controlling Architecture in Clouding Computing.

Hongyan Mao, Li Yuan, Zhengwei Qi

Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2012

A New Model on the School-Enterprise Cooperation Curriculum Construction.

Hongyan Mao, Ningkang Jiang, Wen Su, Yan Zhang

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

A Context-aware Modeling Framework for Pervasive Applications.

Hongyan Mao, Ningkang Jiang, Wen Su, Linpeng Huang

Proceedings of the 2012 International Conference on Cloud and Service Computing, 2012

2009

Formal Approaches to SMS Service Based on Pi Calculus.

Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

2008

Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain.

Hongyan Mao, Yixiang Chen

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2006

Web Resource Monitoring Based on Common Information Model.

Hongyan Mao, Linpeng Huang, Minglu Li

Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006

2005

Service-Based Grid Resource Monitoring with Common Information Model.

Hongyan Mao, Linpeng Huang, Minglu Li

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

2004

Optimizing Web Services with Partial Evaluation.

Hongyan Mao, Linpeng Huang, Yongqiang Sun

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003

P Systems and Petri Nets.

Zhengwei Qi, Jinyuan You, Hongyan Mao

Proceedings of the Membrane Computing, International Workshop, 2003

Partially Evaluating Grid Services by DJmix.

Hongyan Mao, Linpeng Huang, Yongqiang Sun

Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003