Zhé Hóu
发表
Shang-Wei Lin,
Zhe Hou,
Brendan Mahoney,
2020,
ICFEM.
Zhé Hóu,
J. Nebhen,
A. Tiu,
2022,
2202.04192.
Koh Chuen Hoa,
Yang Liu,
Zhé Hóu,
2016
.
Shang-Wei Lin,
Brendan P. Mahony,
Zhe Hou,
2021
.
G. Dobbie,
J. Dong,
Zhé Hóu,
2022,
Formal Aspects of Computing.
Brendan P. Mahony,
J. Dong,
Zhé Hóu,
2017
.
G. Dobbie,
J. Dong,
Zhé Hóu,
2022,
Formal Aspects Comput..
Zhé Hóu,
2018
.
J. Dong,
Zhé Hóu,
Yanhong Huang,
2022,
Applied Intelligence.
Koh Chuen Hoa,
J. Dong,
Zhé Hóu,
2020,
Journal of Automated Reasoning.
Jin Song Dong,
Jianqi Shi,
Yanhong Huang,
2021,
ArXiv.
Jin Song Dong,
Seyed Mohammad Mirjalili,
Hadrien Bride,
2021,
Expert Syst. Appl..
Shang-Wei Lin,
Zhé Hóu,
B. Mahoney,
2020,
ICFEM.
Ahmed Awad,
Matthias Weidlich,
Rajeev Goré,
2012,
Inf. Syst..
Zhé Hóu,
Kamanashis Biswas,
V. Muthukkumarasamy,
2020,
2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS).
Brendan P. Mahony,
J. Dong,
Zhé Hóu,
2020,
2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS).
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
FM.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2013,
TABLEAUX.
J. Dong,
Zhé Hóu,
T. Hoare,
2022,
ArXiv.
Jin Song Dong,
Brendan P. Mahony,
Hadrien Bride,
2020,
IJCAR.
Jin Song Dong,
Brendan P. Mahony,
Martin Oxenham,
2019,
Eng. Appl. Artif. Intell..
Yang Liu,
David Sanán,
Alwen Tiu,
2017,
ITP.
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2017,
ACM Trans. Comput. Log..
Liu Yang,
David Sanán,
Zhe Hou,
2019,
Design Automation for Embedded Systems.
Shang-Wei Lin,
Zhé Hóu,
B. Mahoney,
2020,
IEEE International Conference on Formal Engineering Methods.
Jin Song Dong,
Jie Dong,
Seyed Mohammad Mirjalili,
2019,
ArXiv.
Jin Song Dong,
Jie Dong,
Hadrien Bride,
2018,
ICFEM.