Minimal Unsatisfiability and Minimal Strongly Connected Digraphs. - Hoda Abbasizanjani; Oliver Kullmann (SAT, 2018)

Classification of minimally unsatisfiable 2-CNFs. - Hoda Abbasizanjani; Oliver Kullmann (CoRR, 2020)

Harmonising electronic health records for reproducible research: challenges, solutions and recommendations from a UK-wide COVID-19 research collaboration. - Hoda Abbasizanjani; Fatemeh Torabi; Stuart Bedston; Thomas Bolton 002; Gareth Davies 005; Spiros C. Denaxas; Rowena Griffiths; Laura Herbert; Sam Hollings; Spencer Keene; Kamlesh Khunti; Emily Lowthian; et al. (BMC Medical Informatics Decis. Mak., 2023)