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 | 27 | 2018 |

Automated theorem proving for assertions in separation logic with all connectives Z Hóu, R Goré, A Tiu International Conference on Automated Deduction, 501-516, 2015 | 22 | 2015 |

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 |

Towards dependable and explainable machine learning using automated reasoning H Bride, J Dong, JS Dong, Z Hóu International Conference on Formal Engineering Methods, 412-416, 2018 | 19 | 2018 |

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 | 18 | 2012 |

Csimpl: A rely-guarantee-based framework for verifying concurrent programs D Sanán, Y Zhao, Z Hou, F Zhang, A Tiu, Y Liu International Conference on Tools and Algorithms for the Construction and …, 2017 | 16 | 2017 |

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 International Symposium on Formal Methods, 388-405, 2016 | 14 | 2016 |

SMS2D designs as starting points for lens optimization Z Hou, M Nikolic, P Benitez, F Bociort Optics Express 26 (25), 32463-32474, 2018 | 9 | 2018 |

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 | 9 | 2018 |

One-dimensional searches for finding new lens design solutions efficiently Z Hou, I Livshits, F Bociort Applied Optics 55 (36), 10449-10456, 2016 | 9 | 2016 |

Modular labelled sequent calculi for abstract separation logics Z Hóu, R Clouston, R Goré, A Tiu ACM Transactions on Computational Logic (TOCL) 19 (2), 1-35, 2018 | 8 | 2018 |

Using saddle points for challenging optical design tasks I Livshits, Z Hou, P van Grol, Y Shao, M van Turnhout, P Urbach, F Bociort Current Developments in Lens Design and Optical Engineering XV 9192, 919204, 2014 | 8 | 2014 |

N-PAT: A Nested Model-Checker H Bride, CH Cai, JS Dong, R Gore, Z Hóu, B Mahony, J McCarthy International Joint Conference on Automated Reasoning, 369-377, 2020 | 7 | 2020 |

Proof tactics for assertions in separation logic Z Hóu, D Sanán, A Tiu, Y Liu International Conference on Interactive Theorem Proving, 285-303, 2017 | 7 | 2017 |

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 | 6 | 2021 |

An isabelle/hol formalisation of the SPARC instruction set architecture and the TSO memory model Z Hóu, D Sanan, A Tiu, Y Liu, KC Hoa, JS Dong Journal of Automated Reasoning 65 (4), 569-598, 2021 | 6 | 2021 |

Labelled sequent calculi and automated reasoning for assertions in separation logic Z Hóu Ph. D. Dissertation. Australian National University, 2015 | 6 | 2015 |

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 | 5 | 2020 |

Completeness for a first-order abstract separation logic Z Hóu, A Tiu Asian Symposium on Programming Languages and Systems, 444-463, 2016 | 5 | 2016 |

On embedding a hardware description language in Isabelle/HOL W Khan, D Sanan, Z Hou, L Yang Design Automation for Embedded Systems 23 (3), 123-151, 2019 | 4 | 2019 |