Huan Long

52 papers A* 1B 4C 3Misc 2Journal 40Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A unifying approach to probabilistic testing equivalences.
Theor. Comput. Sci.
Weijun Chen, Yuxi Fu, Huan Long, Hao Wu
2025 J jnl
A Model-Independent Theory of Probabilistic Testing.
CoRR
Weijun Chen, Yuxi Fu, Huan Long, Hao Wu
2025 B conf
A Programming Language for Feasible Solutions.
SAS
Weijun Chen, Yuxi Fu, Huan Long
2025 J jnl
A Programming Language for Feasible Solutions.
CoRR
Weijun Chen, Yuxi Fu, Huan Long
2025 C conf
Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker.
ICFEM
Minfan Xu, Shuo Zhou, Xian Xu, Huan Long
2025 J jnl
Multi-Agent Deep Reinforcement Learning-Based Cooperative Optimal Operation for Building Integrated Energy Systems With Nash-Harsanyi Bargaining Game-Driven Cost Allocation.
IEEE Trans. Consumer Electron.
Chao Huang, Zhixia Ge, Long Wang, Dongdong Zhang, Huan Long, Xiong Luo
2025 J jnl
The Intelligent Computing and Information Technology in Sports Performance Evaluation.
Scalable Comput. Pract. Exp.
Yuanyuan Zhang, Huan Long, Lei Jing
2024 J jnl
Analyzing Divergence for Nondeterministic Probabilistic Models.
CoRR
Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang
2024 J jnl
Branching bisimulation semantics for quantum processes.
Inf. Process. Lett.
Hao Wu, Qizhe Yang, Huan Long
2024 J jnl
Wind Turbine Condition Monitoring Based on SCADA Data-Image Conversion.
IEEE Trans. Instrum. Meas.
Huan Long, Shaohui Xu, Huihuang Cai, Wei Gu
2023 J jnl
Computationally Enhanced Approach for Chance-Constrained OPF Considering Voltage Stability.
CoRR
Yuanxi Wu, Zhi Wu, Yijun Xu, Huan Long, Wei Gu, Shu Zheng, Jingtao Zhao
2023 J jnl
Conservative Sparse Neural Network Embedded Frequency-Constrained Unit Commitment With Distributed Energy Resources.
CoRR
Linwei Sang, Yinliang Xu, Zhongkai Yi, Lun Yang, Huan Long, Hongbin Sun
2023 J jnl
Electricity Price Prediction for Energy Storage System Arbitrage: A Decision-focused Approach.
CoRR
Linwei Sang, Yinliang Xu, Huan Long, Qinran Hu, Hongbin Sun
2023 J jnl
Image-Based Abnormal Data Detection and Cleaning Algorithm via Wind Power Curve.
CoRR
Huan Long, Linwei Sang, Zaijun Wu, Wei Gu
2023 J jnl
Probabilistic weak bisimulation and axiomatization for probabilistic models.
Inf. Process. Lett.
Hao Wu, Huan Long
2023 J jnl
Safety-Aware Semi-End-to-End Coordinated Decision Model for Voltage Regulation in Active Distribution Network.
IEEE Trans. Smart Grid
Linwei Sang, Yinliang Xu, Huan Long, WenChuan Wu
2023 J jnl
Safety-aware Semi-end-to-end Coordinated Decision Model for Voltage Regulation in Active Distribution Network.
CoRR
Linwei Sang, Yinliang Xu, Huan Long, WenChuan Wu
2023 C conf
Substation Alarm Event Identification Based on BERT and Cosine Similarity.
iSPEC
Zhenyu Zhou, Huan Long
2023 J jnl
Tracing Truth and Rumor Diffusions Over Mobile Social Networks: Who are the Initiators?
IEEE Trans. Mob. Comput.
Shan Qu, Hui Xu, Luoyi Fu, Huan Long, Xinbing Wang, Guihai Chen, Chenghu Zhou
2022 J jnl
Collective De-Anonymization of Social Networks With Optional Seeds.
IEEE Trans. Mob. Comput.
Jiapeng Zhang, Luoyi Fu, Huan Long, Gui'e Meng, Feilong Tang, Xinbing Wang, Guihai Chen
2022 J jnl
Electricity Price Prediction for Energy Storage System Arbitrage: A Decision-Focused Approach.
IEEE Trans. Smart Grid
Linwei Sang, Yinliang Xu, Huan Long, Qinran Hu, Hongbin Sun
2022 J jnl
Evolving Bipartite Model Reveals the Bounded Weights in Mobile Social Networks.
IEEE Trans. Mob. Comput.
Jiaqi Liu, Cheng Deng, Luoyi Fu, Huan Long, Xiaoying Gan, Xinbing Wang, Guihai Chen, Jun Xu
2022 J jnl
Investigating the geometric structure of neural activation spaces with convex hull approximations.
Neurocomputing
Yuting Jia, Shao Zhang, Haiwen Wang, Ying Wen, Luoyi Fu, Huan Long, Xinbing Wang, Chenghu Zhou
2022 C conf
On Probabilistic Extension of the Interaction Theory.
ICFEM
Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang
2021 J jnl
A Loss Reduction Optimization Method for Distribution Network Based on Combined Power Loss Reduction Strategy.
Complex.
Jihua Xie, Chang Chen, Huan Long
2021 J jnl
Adaptive Diffusion of Sensitive Information in Online Social Networks.
IEEE Trans. Knowl. Data Eng.
Xudong Wu, Luoyi Fu, Huan Long, Dali Yang, Yucheng Lu, Xinbing Wang, Guihai Chen
2021 J jnl
Joint Scheduling and Incentive Mechanism for Spatio-Temporal Vehicular Crowd Sensing.
IEEE Trans. Mob. Comput.
Guiyun Fan, Haiming Jin, Qihong Liu, Wei Qin, Xiaoying Gan, Huan Long, Luoyi Fu, Xinbing Wang
2021 J jnl
On the Interactive Power of Higher-order Processes Extended with Parameterization.
Formal Aspects Comput.
Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long
2021 J jnl
Recourse-Cost Constrained Robust Optimization for Microgrid Dispatch With Correlated Uncertainties.
IEEE Trans. Ind. Electron.
Haifeng Qiu, Huan Long, Wei Gu, Guangsheng Pan
2021 J jnl
Unraveling the Detectability of Stochastic Block Model With Overlapping Communities.
IEEE Trans. Netw. Sci. Eng.
Huaying Wu, Luoyi Fu, Huan Long, Guie Meng, Xiaoying Gan, Yuanhao Wu, Haisong Zhang, Xinbing Wang
2020 J jnl
A Data-Driven Combined Algorithm for Abnormal Power Loss Detection in the Distribution Network.
IEEE Access
Huan Long, Chang Chen, Wei Gu, Jihua Xie, Zheng Wang, Guodong Li
2020 A* conf
Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete.
ICALP
Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu
2020 J jnl
Evolving Influence Maximization in Evolving Networks.
ACM Trans. Internet Techn.
Xudong Wu, Luoyi Fu, Zixin Zhang, Huan Long, Jingfan Meng, Xinbing Wang, Guihai Chen
2020 J jnl
Maximum Value Matters: Finding Hot Topics in Scholarly Fields.
IEEE Trans. Netw. Sci. Eng.
Guie Meng, Jiasheng Xu, Jinghao Zhao, Luoyi Fu, Huan Long, Xiaoying Gan, Xinbing Wang
2020 B conf
Nearest Neighbor Classification Based on Activation Space of Convolutional Neural Network.
ICPR
Xinbo Ju, Shuo Shao, Huan Long, Weizhe Wang
2019 J jnl
On Geometric Structure of Activation Spaces in Neural Networks.
CoRR
Yuting Jia, Haiwen Wang, Shuo Shao, Huan Long, Yunsong Zhou, Xinbing Wang
2019 B conf
Uniform Random Process Model Revisited.
APLAS
Wenbo Zhang, Huan Long, Xian Xu
2018 B conf
Curvature-based Comparison of Two Neural Networks.
ICPR
Tao Yu, Huan Long, John E. Hopcroft
2018 J jnl
Curvature-based Comparison of Two Neural Networks.
CoRR
Tao Yu, Huan Long, John E. Hopcroft
2018 J jnl
Differential Evolution With a New Encoding Mechanism for Optimizing Wind Farm Layout.
IEEE Trans. Ind. Informatics
Yong Wang, Hao Liu, Huan Long, Zijun Zhang, Shengxiang Yang
2018 J jnl
Knowledge-based Fully Convolutional Network and Its Application in Segmentation of Lung CT Images.
CoRR
Tao Yu, Yu Qiao, Huan Long
2017 J jnl
Formulation and Analysis of Grid and Coordinate Models for Planning Wind Farm Layouts.
IEEE Access
Huan Long, Zijun Zhang, Zhe Song, Andrew Kusiak
2017 J jnl
On parameterization of higher-order processes.
Int. J. Comput. Math.
Qiang Yin, Xian Xu, Huan Long
2017 Misc conf
Remark on Some \pi Variants.
SETTA
Jianxin Xue, Huan Long, Yuxi Fu
2017 J jnl
The Local Dimension of Deep Manifold.
CoRR
Mengxiao Zhang, Wangquan Wu, Yanren Zhang, Kun He, Tao Yu, Huan Long, John E. Hopcroft
2017 J jnl
Wind Turbine Gearbox Failure Identification With Deep Neural Networks.
IEEE Trans. Ind. Informatics
Long Wang, Zijun Zhang, Huan Long, Jia Xu, Ruihua Liu
2015 J jnl
Data-Driven Wind Turbine Power Generation Performance Monitoring.
IEEE Trans. Ind. Electron.
Huan Long, Long Wang, Zijun Zhang, Zhe Song, Jia Xu
2015 — conf
On the Computation Power of Name Parameterization in Higher-order Processes.
ICE
Xian Xu, Qiang Yin, Huan Long
2013 J jnl
How faithfully can π be interpreted in SA?
Sci. China Inf. Sci.
Huan Long, Yuxi Fu
2013 — conf
On the Expressiveness of Parameterization in Process-Passing.
WS-FM
Xian Xu, Qiang Yin, Huan Long
2012 Misc conf
An Improved Full Abstraction Approach to Analyzing Locality Semantics.
TASE
Jianxin Xue, Huan Long, Guoqiang Li
2007 J jnl
A general approach for building combinational P automata.
Int. J. Comput. Math.
Huan Long, Yuxi Fu