| 2024 | SGAI | Formalise Regulations for Autonomous Vehicles with Right-Open Temporal Deontic Defeasible Logic. | Pak Yin Chan, Xue Li, Yiwei Lu, Yuhui Lin, Alan Bundy |
| 2023 | JURIX | A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts. | Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart |
| 2022 | JURIX | An Argumentation and Ontology Based Legal Support System for AI Vehicle Design. | Yiwei Lu, Zhe Yu, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart |
| 2021 | UCC | Adaptive brokerage framework for the cloud with functional testing. | Sheriffo Ceesay, Yuhui Lin, Adam Barker |
| 2020 | VTC | Network Selection in Heterogeneous Vehicular Network: A One-to-Many Matching Approach. | Qi Si, Zhipeng Cheng, Yuhui Lin, Lianfen Huang, Yuliang Tang |
| 2020 | UCC | FIFE: an Infrastructure-as-Code Based Framework for Evaluating VM Instances from Multiple Clouds. | Yuhui Lin, Jack Briggs, Adam Barker |
| 2019 | CCGRID | A Framework for SLO-driven Cloud Specification and Brokerage. | Abdessalam Elhabbash, Yehia Elkhatib, Gordon S. Blair, Yuhui Lin, Adam Barker |
| 2019 | CloudCom | Benchmarking and Performance Modelling of MapReduce Communication Pattern. | Sheriffo Ceesay, Adam Barker, Yuhui Lin |
| 2019 | UCC | Envisioning SLO-driven Service Selection in Multi-cloud Applications. | Abdessalam Elhabbash, Yehia Elkhatib, Gordon S. Blair, Yuhui Lin, Adam Barker, John Thomson |
| 2018 | SEC | Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. | Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall |
| 2016 | FM | Mechanised Verification Patterns for Dafny. | Gudmund Grov, Yuhui Lin, Vytautas Tumas |
| 2016 | TACAS | Developing and Debugging Proof Strategies by Tinkering. | Yuhui Lin, Pierre Le Bras, Gudmund Grov |
| 2013 | LPAR | A Graphical Language for Proof Strategies. | Gudmund Grov, Aleks Kissinger, Yuhui Lin |