City Research Online

Article

Montesano, G. ORCID: 0000-0002-9148-2804, Ometto, G. ORCID: 0000-0002-0900-4847, Cheloni, R. ORCID: 0000-0002-6871-9498 , Garway-Heath, D. F., Higgins, B. E., Crabb, D. P. ORCID: 0000-0001-8754-3902, King, A. J. ORCID: 0000-0002-3091-911X, King, A., Agrawal, P., Broadway, D. C., Strouthidis, N., Chew, S., Sng, C., Toth, M., Gazzard, G., Elkarmouty, A., Nikita, E., Triolo, G., Aguilar-Munoa, S., Goyal, S., Lim, S., Sung, V., Masood, I., Wride, N., Sandhu, A., Hill, E., Sparrow, J., Grey, F., Bourne, R., Nithyanandarajah, G., Willshire, C., Bloom, P., Ahmed, F., Cordeiro, F., Crawley, L., Normando, E., Ameen, S., Tryfinopoulou, J., Porteous, A., Jutley, G., Bessinis, D., Kirwan, J., Begum, S., Sepetis, A., Rule, E., Thornton, R., McNaught, A., Anand, N., Negi, A., Kousha, O., Hovan, M., Sanders, R., Agarwal, P. K., Tatham, A., Au, L., Nikita, E., Fenerty, C., Karaconji, T., Drury, B., Penmol, D., Ansari, E., Dardzhikova, A., Moosavi, R., Imonikhe, R., Kontovourikis, P., Membrey, L., Almeida, G., Tildsley, J., Azuara-Blanco, A., Knox, A., Rankin, S., Wilson, S., Prabhu, A., Mukherji, S., Datta, A., Fern, A., Liput, J., Manners, T., Pilling, J., Stemp, C., Martin, K., Nixon, T., Cobb, C., Rotchford, A., Sidiki, S., Bansal, A., Kousha, O., Auger, G. & Freeman, M.view all authors (2026). Longitudinal visual field and quality of life change in the Treatment for Advanced Glaucoma Study. Ophthalmology, S0161-6420(26)00291. doi: 10.1016/j.ophtha.2026.04.020

Wright, D. ORCID: 0000-0001-8948-3691, Wu, H. ORCID: 0000-0001-8377-3276, King, A. ORCID: 0000-0002-3091-911X , Montesano, G. ORCID: 0000-0002-9148-2804, Higgins, B. ORCID: 0000-0002-4530-6156, Gazzard, G. ORCID: 0000-0003-1982-5005, Morgan, J. ORCID: 0000-0002-8920-1065, McNaught, A. ORCID: 0000-0002-5425-751X, Sebastian, R. ORCID: 0009-0007-6516-9885, Ahmed, F. ORCID: 0000-0003-0015-6008, Dimitriou, C. ORCID: 0000-0002-1836-772X, Nagar, M. ORCID: 0009-0001-5863-073X, Scott, A. ORCID: 0000-0002-5764-1787, Rafiq, O. ORCID: 0009-0004-1770-9670, Harper, R. ORCID: 0000-0001-5437-2553, Crabb, D. ORCID: 0000-0001-8754-3902, Watson, V. ORCID: 0000-0002-3824-5076, Hernández, R. ORCID: 0000-0003-2619-8230, Cardwell, C. ORCID: 0000-0002-2689-4335, Takwoingi, Y. ORCID: 0000-0002-5828-9746 & Azuara-Blanco, A. ORCID: 0000-0002-4805-9322view all authors (2026). Validating and updating the OHTS-EGPS model predicting 5-year glaucoma risk among patients with ocular hypertension using electronic medical records: a cohort study. Health Technology Assessment, 30(25), article number 0514. doi: 10.3310/gjaa0514

Bryce, C. ORCID: 0000-0002-9856-7851 & King, A. (2025). Regulating Risk for Growth: The many faces of Janus. Journal of Risk Research, pp. 1-9. doi: 10.1080/13669877.2025.2565580

Wright, D. M. ORCID: 0000-0001-8948-3691, Azuara-Blanco, A. ORCID: 0000-0002-4805-9322, Cardwell, C. , Montesano, G., Crabb, D. P. ORCID: 0000-0001-8754-3902, Gazzard, G., King, A. J., Hernández, R. ORCID: 0000-0003-2619-8230, Morgan, J. E., Higgins, B., Takwoingi, Y. ORCID: 0000-0002-5828-9746, Booth, A., Rowlands, A., McNaught, A., Scott, A., King, A., Azuara-Blanco, A., Higgins, B., Cardwell, C., Dimitriou, C., Wright, D. M., Crabb, D. P., Ahmed, F., Montesano, G. ORCID: 0000-0002-9148-2804, Gazzard, G., Wu, H., Morgan, J. E., Weir, L., French, L., Nagar, M., Rafiq, O., Sebastian, R., Hernández, R., Watson, V. & Takwoingi, Y.view all authors (2025). Validating and updating the OHTS-EGPS model predicting 5-year glaucoma risk among ocular hypertension patients using electronic records. Ophthalmology Glaucoma, 8(2), pp. 143-151. doi: 10.1016/j.ogla.2024.10.009

Wu, H., Hernández, R., Crabb, D. P. ORCID: 0000-0001-8611-1155 , Gazzard, G., Harper, R. A., King, A., Morgan, J. E., Takwoingi, Y., Azuara-Blanco, A. & Watson, V.view all authors (2024). Patient preferences for ocular hypertension monitoring: a discrete choice experiment. BMJ Open Ophthalmology, 9(1), article number e001639. doi: 10.1136/bmjophth-2024-001639

Wu, H. ORCID: 0000-0001-8377-3276, Gazzard, G. ORCID: 0000-0003-1982-5005, King, A. ORCID: 0000-0002-3091-911X , Morgan, J. ORCID: 0000-0002-8920-1065, Wright, D. ORCID: 0000-0001-8948-3691, Crabb, D. P. ORCID: 0000-0001-8754-3902, Takwoingi, Y. ORCID: 0000-0002-5828-9746, Azuara-Blanco, A. ORCID: 0000-0002-4805-9322, Watson, V. ORCID: 0000-0002-3824-5076 & Hernández, R. ORCID: 0000-0003-2619-8230view all authors (2024). Cost-effectiveness of monitoring ocular hypertension based on a risk prediction tool. BMJ Open Ophthalmology, 9(1), article number e001741. doi: 10.1136/bmjophth-2024-001741

Montesano, G., Ometto, G. ORCID: 0000-0002-0900-4847, King, A. , Garway-Heath, D. F. & Crabb, D. P. ORCID: 0000-0001-8611-1155view all authors (2022). Two-year visual field outcomes of the treatment for advanced glaucoma study (TAGS). American Journal of Ophthalmology, 246, pp. 42-50. doi: 10.1016/j.ajo.2022.09.011

Robbins, E., King, A. & Howe, J. M. ORCID: 0000-0001-8013-6941 (2020). Backjumping is Exception Handling. Theory and Practice of Logic Programming, 21(2), pp. 125-144. doi: 10.1017/S1471068420000435

Howe, J. M. ORCID: 0000-0001-8013-6941, King, A. & Simon, A. (2019). Incremental closure for systems of two variables per inequality. Theoretical Computer Science, 768, pp. 1-42. doi: 10.1016/j.tcs.2018.12.001

Howe, J. M., Robbins, E. & King, A. (2017). Theory Learning with Symmetry Breaking. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Part F131196, pp. 85-96. doi: 10.1145/3131851.3131861

Chuang, J., King, A. & Leinster, T. (2016). On the magnitude of a finite dimensional algebra. Theory and Applications of Categories, 31(3), pp. 63-72.

Robbins, E., Howe, J. M. & King, A. (2015). Theory propagation and reification. Science of Computer Programming, 111(P1), pp. 3-22. doi: 10.1016/j.scico.2014.05.013

Robbins, E., Howe, J. M. & King, A. (2013). Theory propagation and rational-trees. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, pp. 193-204.

Howe, J. M. & King, A. (2012). A pearl on SAT and SMT solving in Prolog. Theoretical Computer Science, 435, pp. 43-55. doi: 10.1016/j.tcs.2012.02.024

Howe, J. M. & King, A. (2012). Polyhedral Analysis using Parametric Objectives. Lecture Notes on Computer Science, 7460, pp. 41-57. doi: 10.1007/978-3-642-33125-1_6

Howe, J. M. & King, A. (2011). A Pearl on SAT Solving in Prolog (extended abstract). ALP Newsletter(3),

Howe, J. M., King, A. & Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain. Electronic Notes Theoretical Computer Science, 267(1), pp. 89-100. doi: 10.1016/j.entcs.2010.09.008

Charles, P. J., Howe, J. M. & King, A. (2009). Integer polyhedra for program analysis. Algorithmic Aspects in Information and Management, Lecture Notes in Computer Science, 5564, pp. 85-99. doi: 10.1007/978-3-642-02158-9_9

Howe, J. M. & King, A. (2009). Logahedra: A new weakly relational domain. Lecture Notes in Computer Science, 5799, pp. 306-320. doi: 10.1007/978-3-642-04761-9_23

Howe, J. M. & King, A. (2003). Efficient groundness analysis in Prolog. Theory and Practice of Logic Programming, 3(1), pp. 95-124. doi: 10.1017/s1471068402001485

Simon, A., King, A. & Howe, J. M. (2003). Two variables per linear inequality as an abstract domain. Logic based program synthesis and transformation, 2664, pp. 71-89. doi: 10.1007/3-540-45013-0_7

Howe, J. M. & King, A. (2000). Abstracting Numeric Constraints with Boolean Functions. Information Processing Letters, 75(1-2), pp. 17-23. doi: 10.1016/s0020-0190(00)00081-8

Howe, J. M. & King, A. (2000). Implementing Groundness Analysis with Definite Boolean Functions. Lecture Notes in Computer Science, 1782, pp. 200-214.

Book Section

Howe, J. M. & King, A. (2010). A pearl on SAT solving in Prolog. In: International Symposium on Functional and Logic Programming, pages 165-174. Lecture Notes in Computer Science (6009). . Springer. doi: 10.1007/978-3-642-12251-4_13

Conference or Workshop Item

Howe, J. M. & King, A. (2001). Positive Boolean Functions as Multiheaded Clauses. In: Codognet, P (Ed.), LNCS. International Conference on Logic Programming, 26 Nov - 01 Dec 2001, Cyprus.

Howe, J. M. & King, A. (2000). Specialising finite domain programs with polyhedra. Paper presented at the Logic Programming Synthesis and Transformation 1999, 22 - 24 September 1999, Venezia, Italy.

Report

Howe, J. M., King, A. & Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain (TR_2010_DOC_01). .

Howe, J. M. & King, A. (2009). Closure Algorithms for Domains with Two Variables Per Inequality (TR/2009/DOC/01). .

Working Paper

Chuang, J. & King, A. (2012). Free resolutions of algebras. City, University of London.