Hongyan Mao - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2023

Formalization and Verification of RocketMQ Using CSPYiwen Liu, Hongyan Mao, Ning Qin, Kai Chen. icpads 2023: 813-819 [doi]

Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSPNing Qin, Hongyan Mao, Yiwen Liu, Kai Chen. compsac 2023: 747-752 [doi]

2022

2020

DAPR-Net: Domain Adaptive Predicting-Refinement Network for Retinal Vessel SegmentationZichun Huang, Hongyan Mao, Ningkang Jiang, Xiaoling Wang. miccai 2020: 13-22 [doi]

Formal Modeling and Verification of Microservice-Based Cyber-Physical SystemJingzi Wang, Hongyan Mao, Ningkang Jiang. sofl 2021: 34-53 [doi]

2019

Time-Aware and Location-Based Personalized Collaborative Recommendation for IoT ServicesRumeng Shao, Hongyan Mao, Jinpeng Jiang. compsac 2019: 203-208 [doi]

2018

Formal Verification and Improvement of the PKMv3 Protocol Using CSPJinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu. compsac 2018: 682-687 [doi]

2017

Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS PredictionKai Chen, Hongyan Mao, Xiangyu Shi, Yuanmin Xu, Ailun Liu. compsac 2017: 143-148 [doi]

Cost-Performance Modeling with Automated Benchmarking on Elastic Computing CloudsHongyan Mao, Zhengwei Qi, Jiangang Duan, Xinni Ge. grid, 15(4):557-572, 2017. [doi]

2016

CCP-Based Plant-Wide Optimization and Application to the Walking-Beam-Type Reheating FurnaceYan Zhang, Hongyan Mao. ieicet, 99-D(9):2239-2247, 2016. [doi]

2014

A Load Balancing and Overload Controlling Architecture in Clouding ComputingHongyan Mao, Li Yuan, Zhengwei Qi. cse 2014: 1589-1594 [doi]

2012

A Context-aware Modeling Framework for Pervasive ApplicationsHongyan Mao, Ningkang Jiang, Wen Su, Linpeng Huang. IEEEcsc 2012: 40-44 [doi]

A New Model on the School-Enterprise Cooperation Curriculum ConstructionHongyan Mao, Ningkang Jiang, Wen Su, Yan Zhang. csee 2012: 115-119 [doi]

2009

Formal Approaches to SMS Service Based on Pi CalculusHongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu. fcst 2009: 692-697 [doi]

2008

Research of a Multi-dimension Measurement Trusting Model Based on Markov ChainHongyan Mao, Yixiang Chen. euc 2008: 71-76 [doi]

2006

Web Resource Monitoring Based on Common Information ModelHongyan Mao, Linpeng Huang, Minglu Li. apscc 2006: 520-525 [doi]

2005

Service-Based Grid Resource Monitoring with Common Information ModelHongyan Mao, Linpeng Huang, Minglu Li. canpc 2005: 80-83 [doi]

2004

Optimizing Web Services with Partial EvaluationHongyan Mao, Linpeng Huang, Yongqiang Sun. IEEEcit 2004: 254-258 [doi]

2003

Partially Evaluating Grid Services by DJmixHongyan Mao, Linpeng Huang, Yongqiang Sun. gcc 2004: 746-753 [doi]

P Systems and Petri NetsZhengwei Qi, Jinyuan You, Hongyan Mao. membrane 2004: 286-303 [doi]

Sign in or sign up to see more results.

runs on WebDSL