Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. - Haoruo Zhao; Uli Sattler; Bijan Parsia (Description Logics, 2019)

ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. - Haoruo Zhao; Bijan Parsia; Uli Sattler (JOWO, 2020)

Modular Structures and Atomic Decomposition in Ontologies. - Chiara Del Vescovo; Matthew Horridge; Bijan Parsia; Uli Sattler; Thomas Schneider 002; Haoruo Zhao (J. Artif. Intell. Res., 2020)

ReAD: AD-Based Modular Ontology Classification. - Haoruo Zhao; Bijan Parsia; Uli Sattler (JELIA, 2021)

Next Steps for ReAD: Modules for Classification Optimisation. - Haoruo Zhao; Bijan Parsia; Uli Sattler (Description Logics, 2022)

Risk-Aware Control and Optimization for High-Renewable Power Grids. - Neil Barry; Minas Chatzos; Wenbo Chen 001; Dahye Han; Chaofan Huang; Roshan Joseph; Michael Klamkin; Seonho Park; Mathieu Tanneau; Pascal Van Hentenryck; Shangkun Wang; Hanyu Zhang; et al. (CoRR, 2022)

Just-In-Time Learning for Operational Risk Assessment in Power Grids. - Oliver Stover; Pranav Karve; Sankaran Mahadevan; Wenbo Chen 001; Haoruo Zhao; Mathieu Tanneau; Pascal Van Hentenryck (CoRR, 2022)

Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. - Haoruo Zhao; Hassan L. Hijazi; Haydn Thomas Jones; Juston Moore; Mathieu Tanneau; Pascal Van Hentenryck (CPAIOR (2), 2024)

Compact Optimality Verification for Optimization Proxies. - Wenbo Chen 001; Haoruo Zhao; Mathieu Tanneau; Pascal Van Hentenryck (ICML, 2024)

DualSchool: How Reliable are LLMs for Optimization Education? - Michael Klamkin; Arnaud Deza; Sikai Cheng; Haoruo Zhao; Pascal Van Hentenryck (CoRR, 2025)