Shixuan Zhang
This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.
Bibliography
2026
On Distributionally Robust Multistage Convex Optimization: Data-Driven Models and Performance.
INFORMS J. Optim., 2026
XcptProof: Formal Verification of CPU Exception Transient Execution Security via Leakage Contracts.
Proceedings of the Great Lakes Symposium on VLSI 2026, 2026
2025
CoRR, December, 2025
Kriging-based Sobol Sensitivity Analysis for Design of Experiments under Correlated Inputs.
Proceedings of the 23rd IEEE International Conference on Industrial Informatics, 2025
2024
LEO-Enhanced GNSS/INS Tightly Coupled Integration Based on Factor Graph Optimization in the Urban Environment.
Remote. Sens., May, 2024
SCAFinder: Formal Verification of Cache Fine-Grained Features for Side Channel Detection.
IEEE Trans. Inf. Forensics Secur., 2024
A non-intrusive machine learning framework for debiasing long-time coarse resolution climate simulations and quantifying rare events statistics.
CoRR, 2024
Efficient Priority Rules for Resource Allocation of Stochastic Decentralized Multi-Project Scheduling Problem.
IEEE Access, 2024
Proceedings of the Integer Programming and Combinatorial Optimization, 2024
2023
A Novel Ionospheric Disturbance Index to Evaluate the Global Effect on BeiDou Navigation Satellite System Signal Caused by the Moderate Geomagnetic Storm on May 12, 2021.
Sensors, February, 2023
An ADMM-Based Distributed Optimization Method for Solving Security-Constrained Alternating Current Optimal Power Flow.
Oper. Res., 2023
Recent Developments in Security-Constrained AC Optimal Power Flow: Overview of Challenge 1 in the ARPA-E Grid Optimization Competition.
Oper. Res., 2023
Robust Diagnosis Method of Equipment Fault Based on Weighted Probabilistic Neural Network.
Proceedings of the CAA Symposium on Fault Detection, 2023
2022
On Multistage Stochastic and Distributionally Robust Optimization: New Algorithms, Complexity Analysis, and Performance Comparison.
PhD thesis, 2022
Remote. Sens., 2022
Inter-Satellite Single-Difference Ionospheric Delay Interpolation Model for PPP-RTK and Its Positioning Performance Verification.
Remote. Sens., 2022
Stochastic dual dynamic programming for multistage stochastic mixed-integer nonlinear optimization.
Math. Program., 2022
2020
INFORMS J. Comput., 2020
2019
A Dynamic Programming Approach to Power Consumption Minimization in Gunbarrel Natural Gas Networks with Nonidentical Compressor Units.
INFORMS J. Comput., 2019
2017
Proceedings of the 2017 International Conference on Cryptography, Security and Privacy, 2017