A Formal Framework for Composing Qualitative Models of Biological Systems. - Hanadi Alkhudhayr; Jason Steggles (TPNC, 2017)

Modelling and Analysing Qualitative Biological Models using Rewriting Logic. - Abdullah Alhumaidan; Jason Steggles (Fundam. Informaticae, 2017)

A compositional framework for Boolean networks. - Hanadi Alkhudhayr; Jason Steggles (Biosyst., 2019)

Developing Attractor Analysis Techniques for a Compositional Boolean Network Framework. - Hanin Abdulrahman; Jason Steggles (BIBM, 2021)

Compositional Techniques for Boolean Networks and Attractor Analysis. - Hanin Abdulrahman; Jason Steggles (Trans. Petri Nets Other Model. Concurr., 2023)

Compositional Techniques for Asynchronous Boolean Networks. - Maram Alshahrani; Jason Steggles (BIOSTEC (1), 2024)