Huan Long
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICFEM | Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker. | Minfan Xu, Shuo Zhou, Xian Xu, Huan Long |
| 2025 | SAS | A Programming Language for Feasible Solutions. | Weijun Chen, Yuxi Fu, Huan Long |
| 2022 | ICFEM | On Probabilistic Extension of the Interaction Theory. | Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang |
| 2020 | ICALP | Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. | Wenbo Zhang, Qiang Yin, Huan Long, Xian Xu |
| 2020 | ICPR | Nearest Neighbor Classification Based on Activation Space of Convolutional Neural Network. | Xinbo Ju, Shuo Shao, Huan Long, Weizhe Wang |
| 2019 | APLAS | Uniform Random Process Model Revisited. | Wenbo Zhang, Huan Long, Xian Xu |
| 2018 | ICPR | Curvature-based Comparison of Two Neural Networks. | Tao Yu, Huan Long, John E. Hopcroft |
| 2017 | SETTA | Remark on Some \pi Variants. | Jianxin Xue, Huan Long, Yuxi Fu |
| 2012 | TASE | An Improved Full Abstraction Approach to Analyzing Locality Semantics. | Jianxin Xue, Huan Long, Guoqiang Li |