Safety Analysis in the NGAC Model. - Brian Tan; Ewan S. D. Davies; Indrakshi Ray; Mahmoud Abdelgawad (SACMAT, 2025)

On expectations and variances in the hard-core model on bounded degree graphs. - Ewan S. D. Davies; Juspreet Singh Sandhu; Brian Tan (CoRR, 2025)