Browse by Person (creator, editor, contributor, etc.)

Article

Kettle, N. and King, A.M. (2008) Bit-Precise Reasoning with Affine Functions. Electronic Notes in Theoretical Computer Science . ISSN 1571-0661.

Preview

Fulop, N. and Protopsaltis, G. and King, A.M. and Allen, P. and Hutchings, A. and Normand, C. (2005) Changing organisations: a study of the context and processes of mergers of health care providers in England. Social Science and Medicine, 60 (1). pp. 119-130. ISSN 0277-9536. Access to this publication is restricted.

Hill, P.M. and King, A.M. (1997) Determinacy and determinacy analysis. Journal of Programming Languages, 5 (1). pp. 135-171. ISSN 0963-9306.

Preview Preview

Book section

Kettle, N. and King, A.M. and Strzemecki, T. (2006) Widening ROBDDs with Prime Implicants. In: Hermanns, H. and Palsberg, J., eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer-Verlag, Berlin, pp. 105-119. ISBN 978-3-540-33056-1.

Preview

Protopsaltis, G. and Fulop, N. and King, A.M. and Allen, P. and Hutchings, A. and Normand, C. and Walters, R. (2003) All pain and no gain? A study of mergers of NHS Trusts in London: Two-year post-merger findings on the drivers of mergers and processes of merging. In: Dopson, S. and Mark, L.M., eds. Leading health care organizations. Palgrave Macmillan, Basingstoke, pp. 214-231. ISBN 1 4039 0270 4.

Preview

Monograph

King, A.M. and Jenkins, L.M. (2011) Practice Nurse and Long Term Conditions - what are the training needs? Project report. Centre for Health Services Studies, Canterbury

Preview

Holdsworth, L.M. and King, A.M. (2010) Developing a Patient Preference Questionnaire for Place of Care When Dying Phase 2: Nursing home, primary care and secondary care settings. UNSPECIFIED. Centre for Health Services Studies

Preview

Holdsworth, L.M. and King, A.M. (2009) Developing a patient preference questionnaire for place of care when dying: Phase 1 Hospices. Project report. Centre for Health Services Studies, Canterbury

Preview

King, A.M. and Jenkins, L.M. (2009) GP training capacity in East Kent - a research study. Project report. Centre for Health Services Studies, University of Kent , Canterbury

Preview

Alaszewski, H.P. and King, A.M. and Alaszewski, A.M. and Potter, J. (2009) Communicating Information to Stroke Survivors. Executive Summary. Project report. Centre for Health Services Studies, Canterbury

Preview

Alaszewski, H.P. and King, A.M. and Alaszewski, A.M. and Potter, J. (2008) Communicating Information to Stroke Survivors. A pilot study. Project report. Centre for Health Services Studies, Canterbury

Preview

Kettle, N. and King, A.M. (2006) Proof of New Decompositional Results for Generalized Symmetries. Technical report. UKC, University of Kent, Canterbury, Kent, CT2 7NF

Preview

Kettle, N. and King, A.M. (2006) Proof of New Implicational Relationships between Generalized Symmetries. Technical report. Kent University, University of Kent, Canterbury, Kent, CT2 7NF

Preview

Conference or workshop item

King, A.M. and Sondergaard, H. (2008) Inferring Congruence Equations using SAT. In: Twentieth International Conference on Computer-Aided Verification, JUL 07, 2008, Princeton, NJ.

Preview

Kettle, N. and King, A.M. (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE pp. 243-248. ISBN 0-7803-9451-8 .

Preview

Heaton, A. and Hill, P.M. and King, A.M. (1998) Analysis of Logic Programs with Delay. In: Fuchs, N.E., ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1463. Springer-Verlag pp. 148-167. ISBN 978-3-540-65074-4.

Preview Preview

Martin, J.M. and King, A.M. (1997) Generating Efficient, Terminating Logic Programs. In: Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development. Lecture Notes in Computer Science, 1214 . Springer Verlag pp. 173-184. ISBN 3-540-62781-2 .

Preview Preview

Research report (external)