Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Zhiyang Li
Observed names:
Li, Zhiyang,
Z. Y. Li,
Zengcai Li
Institutions:
Taiyuan Normal University,
Zhejiang University
Observed institutions:
Xihua University,
Taiyuan Normal University,
Nanjing Institute of Technology,
Dalian Maritime University,
Zhejiang University
ORCID:
0009-0000-5632-9479
Observed ORCIDs:
0009-0000-5632-9479,
0009-0005-2719-7629
OpenAlex ID:
A5102724155
PS3: Precise Patch Presence Test based on Semantic Symbolic Signature
2024
·
Qi Zhan
, Xing Hu
, et al.
·
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
·
16
PDF
Leaching behaviour and chemical speciation changes of heavy metals in mixed electroplating sludge during ferrous oxidation‑assisted two‑stage bioleaching
2025
·
Lijuan Zhang
, Zhiyang Li
, et al.
·
Minerals Engineering
·
9
Parf: Adaptive Parameter Refining for Abstract Interpretation
2024
·
Zhongyi Wang
, Linyu Yang
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
6
Materials Safety for Hydrogen Gas Embrittlement of Metals in High-Pressure Hydrogen Storage for Fuel Cell Vehicles
2012
·
L. Zhang
, M. Wen
, et al.
·
ASME Pressure Vessels and Piping Conference (PVP)
·
4
Crack Growth Analysis of High-Pressure Equipment for Hydrogen Storage
2013
·
Z. Y. Li
, C. L. Zhou
, et al.
·
ASME Pressure Vessels and Piping Conference (PVP)
·
2
Analytical model of stress analysis for pipeline lowering-in during construction
2025
·
Xinfeng Pang
, Lei Tong
, et al.
·
PLoS ONE
·
1
PDF
On the Almost-Sure Termination of Probabilistic Counter Programs
2025
·
Sergei Novozhilov
, Mingqi Yang
, et al.
·
Lecture notes in computer science
·
1
PDF
Multi-ciphertext Equality Batch Test Supporting Inequality Verification
2024
·
Meng Wang
, Shengke Zeng
, et al.
·
Communications in computer and information science
·
1
A reliability forecasting method for distribution systems based on support vector machine with chaotic particle swarm optimization algorithm
2013
·
Z. Y. Li
, Z. Y. Xu
, et al.
·
International Universities Power Engineering Conference (UPEC)
·
1
A Time-Frequency Enhanced Attention Network for Student Performance Prediction in Online Learning
2026
·
Zhiyang Li
·
Frontiers in Computing and Intelligent Systems
PDF
Fixed-Point Reasoning for Stochastic Systems: A Survey of Recent Advancements and Open Challenges
2026
·
Zhiyang Li
, Mingqi Yang
, et al.
·
Lecture notes in computer science
A 25-mW 12-bit 2.2-GS/s Pipelined ADC With Integrated Polarity-Based Residue Generation and Linearized Gm-Ratio-Based Residue Amplification
2026
·
Hao Fang
, Zhiyang Li
, et al.
·
IEEE Journal of Solid-State Circuits
A digital calibration technique for time-interleaved ADC based on artificial bee colony algorithm
2025
·
Zelin Jia
, Hao Fang
, et al.
·
IEICE Electronics Express
PDF
Specsepformer: A Dual-Domain Model for Accurate Multivariate Time Series Forecasting
2025
·
Honghao Liu
, Ke Sun
, et al.
·
SSRN Electronic Journal
Show more works
View as search
Works count:
16
Citation count:
42
H-index:
4
I10-index:
1
Year
Topic
Type