Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs. - Olaf Beyersdorff; Joshua Blinkhorn; Luke Hinde (Electron. Colloquium Comput. Complex., 2017)

Reasons for Hardness in QBF Proof Systems. - Olaf Beyersdorff; Luke Hinde; Ján Pich (Electron. Colloquium Comput. Complex., 2017)

Characterising tree-like Frege proofs for QBF. - Olaf Beyersdorff; Luke Hinde (Inf. Comput., 2019)

Reasons for hardness in QBF proof complexity. - Luke Hinde (2019)

Safety Case Templates for Autonomous Systems. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Luke Hinde; Philippa Ryan (CoRR, 2021)