Zhé Hóu

22 papers B 4C 3Misc 2Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A graph neural network approach to cluster user behaviours in decentralized finance.
Appl. Soft Comput.
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
2024 J jnl
Unified Feature Engineering for Detection of Malicious Entities in Blockchain Networks.
IEEE Trans. Inf. Forensics Secur.
Jeyakumar Samantha Tharani, Zhé Hóu, Eugene Yugarajah Andrew Charles, Punit Rathore, Marimuthu Palaniswami, Vallipuram Muthukkumarasamy
2023 Misc conf
A privacy awareness framework for NFT avatars in the metaverse.
ICNC
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
2023 — conf
An Analysis of Zero-knowledge Proof-based Privacy-preserving Techniques for Non-fungible Tokens in the Metaverse.
MetaCom
Dorottya Zelenyanszki, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
2023 J jnl
Extracting optimal explanations for ensemble trees via automated reasoning.
Appl. Intell.
Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
2023 C conf
Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.
ICFEM
Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy
2022 B conf
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks.
ICECCS
Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza
2022 Misc conf
Blockchain Interoperability: Performance and Security Trade-Offs.
SenSys
Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vinh Bui, Vallipuram Muthukkumarasamy
2022 J jnl
Cross-Blockchain Technology: Integration Framework and Security Assumptions.
IEEE Access
Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy
2022 J jnl
Editorial.
Innov. Syst. Softw. Eng.
Zhé Hóu, Vijay Ganesh, Jing Sun
2022 J jnl
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
2021 J jnl
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.
J. Autom. Reason.
Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong
2021 J jnl
Burn-to-Claim: An asset transfer protocol for blockchain interoperability.
Comput. Networks
Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy
2021 J jnl
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems.
Eng. Appl. Artif. Intell.
Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
2021 B conf
Graph Based Visualisation Techniques for Analysis of Blockchain Transactions.
LCN
Jeyakumar Samantha Tharani, Eugene Yougarajah Andrew Charles, Zhé Hóu, Marimuthu Palaniswami, Vallipuram Muthukkumarasamy
2021 J jnl
Silas: A high-performance machine learning foundation for logical reasoning and verification.
Expert Syst. Appl.
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
2020 — conf
N-PAT: A Nested Model-Checker - (System Description).
IJCAR (2)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020 J jnl
N-PAT: A Nested Model-Checker.
CoRR
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020 B conf
RL: a Language for Formal Engineering.
ICECCS
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020 B conf
The Burn-to-Claim cross-blockchain asset transfer protocol.
ICECCS
Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy
2018 C conf
Towards Dependable and Explainable Machine Learning Using Automated Reasoning.
ICFEM
Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
2018 C conf
Towards Trustworthy AI for Autonomous Systems.
ICFEM
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham