Haoruo Zhao

14 papers A* 1B 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Shijia Dong, Haoruo Zhao, Paul Harvey
2025 J jnl
CoRR
Sikai Cheng, Reza Zandehshahvar, Haoruo Zhao, Daniel A. Garcia-Ulloa, Alejandro Villena-Rodriguez, Carles Navarro Manchón, Pascal Van Hentenryck
2025 B conf
RO-MAN
Emilia Pietras, Bernd Kiefer, Stephanie Hall, Mandeep Dhanda, Haoruo Zhao, Vimal Dhokia, Guglielmo Borzone, Norbert Krüger, Leon Bodenhagen
2025 J jnl
CoRR
Michael Klamkin, Arnaud Deza, Sikai Cheng, Haoruo Zhao, Pascal Van Hentenryck
2024 conf
CPAIOR (2)
Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck
2024 A* conf
ICML
Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2024 J jnl
CoRR
Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2022 J jnl
CoRR
Oliver Stover, Pranav Karve, Sankaran Mahadevan, Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2022 conf
Description Logics
Haoruo Zhao, Bijan Parsia, Uli Sattler
2022 J jnl
CoRR
Neil Barry, Minas Chatzos, Wenbo Chen, Dahye Han, Chaofan Huang, Roshan Joseph, Michael Klamkin, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck, Shangkun Wang, Hanyu Zhang, Haoruo Zhao
2021 B conf
JELIA
Haoruo Zhao, Bijan Parsia, Uli Sattler
2020 J jnl
J. Artif. Intell. Res.
Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao
2020 conf
JOWO
Haoruo Zhao, Bijan Parsia, Uli Sattler
2019 conf
Description Logics
Haoruo Zhao, Uli Sattler, Bijan Parsia