| Cross-blockchain technology: integration framework and security assumptions B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy IEEE access 10, 41239-41259, 2022 | 38 | 2022 |
| A labelled sequent calculus for BBI: proof theory and proof search Z Hóu, R Goré, A Tiu Journal of Logic and Computation 28 (4), 809-872, 2018 | 33 | 2018 |
| Adversarial robustness of deep neural networks: A survey from a formal verification perspective MH Meng, G Bai, SG Teo, Z Hou, Y Xiao, Y Lin, JS Dong IEEE Transactions on Dependable and Secure Computing, 2022 | 31 | 2022 |
| Burn-to-claim: An asset transfer protocol for blockchain interoperability B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy Computer Networks 200, 108495, 2021 | 29 | 2021 |
| Silas: A high-performance machine learning foundation for logical reasoning and verification H Bride, CH Cai, J Dong, JS Dong, Z Hóu, S Mirjalili, J Sun Expert Systems with Applications 176, 114806, 2021 | 25 | 2021 |
| Towards dependable and explainable machine learning using automated reasoning H Bride, J Dong, JS Dong, Z Hóu Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 25 | 2018 |
| Csimpl: A rely-guarantee-based framework for verifying concurrent programs D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 24 | 2017 |
| Automated theorem proving for assertions in separation logic with all connectives Z Hóu, R Goré, A Tiu Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 23 | 2015 |
| Graph based visualisation techniques for analysis of blockchain transactions JS Tharani, EYA Charles, Z Hóu, M Palaniswami, V Muthukkumarasamy 2021 IEEE 46th Conference on Local Computer Networks (LCN), 427-430, 2021 | 22 | 2021 |
| Proof search for propositional abstract separation logics via labelled sequents Z Hóu, R Clouston, R Goré, A Tiu Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 21 | 2014 |
| An iterative approach to synthesize business process templates from compliance rules A Awad, R Goré, Z Hou, J Thomson, M Weidlich Information Systems 37 (8), 714-736, 2012 | 20 | 2012 |
| The burn-to-claim cross-blockchain asset transfer protocol B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 18 | 2020 |
| An executable formalisation of the SPARCv8 instruction set architecture: a case study for the LEON3 processor Z Hou, D Sanan, A Tiu, Y Liu, KC Hoa FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 18 | 2016 |
| SMS2D designs as starting points for lens optimization Z Hou, M Nikolic, P Benitez, F Bociort Optics Express 26 (25), 32463-32474, 2018 | 17 | 2018 |
| Level of conceptual interoperability model for blockchain based systems B Pillai, K Biswas, Z Hóu, V Muthukkumarasamy 2022 IEEE Crosschain Workshop (ICBC-CROSS), 1-7, 2022 | 16 | 2022 |
| A CNN based encrypted network traffic classifier Z Okonkwo, E Foo, Q Li, Z Hou Proceedings of the 2022 Australasian Computer Science Week, 74-83, 2022 | 14 | 2022 |
| Development of a novel 20 kV 0.1 Hz very low frequency cosine‐rectangular voltage generator for multi‐functional insulation testing of MV power cables Z Hou, H Li, S Chen, B Li, Y Lu, S Ji IET Generation, Transmission & Distribution 12 (1), 1-8, 2018 | 12 | 2018 |
| One-dimensional searches for finding new lens design solutions efficiently Z Hou, I Livshits, F Bociort Applied Optics 55 (36), 10449-10456, 2016 | 12 | 2016 |
| A digital twin runtime verification framework for protecting satellites systems from cyber attacks Z Hóu, Q Li, E Foo, JS Dong, P de Souza 2022 26th International Conference on Engineering of Complex Computer …, 2022 | 11 | 2022 |
| A formal method for evaluating the performance of tsn traffic shapers using uppaal W Guo, Y Huang, J Shi, Z Hou, Y Yang 2021 IEEE 46th Conference on Local Computer Networks (LCN), 241-248, 2021 | 10 | 2021 |
