Zhe Hou
发表
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
FM.
Ling Shi,
Jin Song Dong,
Jianye Hao,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Florian Bociort,
Irina Livshits,
Zhe Hou,
2018,
Optical Systems Design.
Florian Bociort,
Zhe Hou,
Milena Nikolic,
2018,
Optics express.
Florian Bociort,
Zhe Hou,
2015,
SPIE Optical Systems Design.
Yang Liu,
David Sanán,
Alwen Tiu,
2017,
ITP.
Florian Bociort,
Irina Livshits,
Zhe Hou,
2016,
Applied optics.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2015,
CADE.
Gang Xu,
Binggang Cao,
Peng Xu,
2011,
Expert Syst. Appl..
Ahmed Awad,
Matthias Weidlich,
Rajeev Goré,
2012,
Inf. Syst..
Alwen Tiu,
Zhe Hou,
2016,
APLAS.
Paul Urbach,
Florian Bociort,
Irina Livshits,
2014,
Optics & Photonics - Optical Engineering + Applications.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2013,
TABLEAUX.
Jin Song Dong,
Yang Liu,
David Sanán,
2019,
ArXiv.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2014,
POPL.
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2017,
ACM Trans. Comput. Log..
Yang Liu,
Yongwang Zhao,
David Sanán,
2017,
TACAS.
Maiko Shigeno,
Zhe Hou,
2009,
Networks.
Rajeev Goré,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.
Jin Song Dong,
Jianqi Shi,
Yanhong Huang,
2021,
ArXiv.
Shang-Wei Lin,
Brendan P. Mahony,
Zhe Hou,
2021
.