Edinburgh Research Explorer

Deputy Secretary Strategic Planning

Organisational unit: Support Group Dept

  1. 2020
  2. Effects of a high-dose 24-h infusion of tranexamic acid on death and thromboembolic events in patients with acute gastrointestinal bleeding (HALT-IT): an international randomised, double-blind, placebo-controlled trial

    Roberts, I., Shakur-Still, H., Afolabi, A., Akere, A., Arribas, M., Brenner, A., Chaudhri, R., Gilmore, I., Halligan, K., Hussain, I., Jairath, V., Javaid, K., Kayani, A., Lisman, T., Mansukhani, R., Mutti, M., Arif Nadeem, M., Pollok, R., Simmons, J., Soomro, M. & 443 others, Stanworth, S., Veitch, A., Hawkey, C., Cuzick, J., Henry, D., Metcalfe, C., Gray, R., Barkun, A., David, S., Devereaux, P., Brady, T., Coats, T., Edwards, P., Ker, K., Manno, D., Austin, E., Bal, K., Balogun, E., Barrow, C., Beaumont, D., Benyahia, M., Brooks, I., Cargill, M., Carrington, L., Frimley, L., Geer, A., Gilbert, D., Gilliam, C., Gil Onandia, J., Golfi, N., Hetherington, D., Howe, C., Hughes, C., I'anson, D., Jackson, R., Joshi, M., Kansagra, S., Kawahara, T., Kostrov, S., Miah, H., Ndungu, B., Needham, K., Outtandy, A., Pearson, D., Pepple, T., Prowse, D., Quashi, N., Quinn, A., Ramos, M., Ranopa, L., Reid, M., Roukas, C., Squires, C., Tanner, J., Thayne, A., Uddin, R., Fawole, B., Bello, F. A., Olayemi, O., Okunade, O., Adetayo, O., Khamis, H., Shukri Bin Jahit, M., Gogichaishvili, T., Mateescu, R. B., Adhikaree, A., Abdo, A. E., Zaher, M., Deasy, C., Alvarez Gregori, J., Wellsh, B., Lawton, L., Kamath, R., Barry, A., Carpio, R., Finney, K., Maguire, H., James, M., Coffey, F., Gough, C., Sawers, L., Thi, A-A., Burnett, C., Jacques, N., Murray, V., Jarman, H., Lambe, C., Rounding, S., Tucker, S., Al-Idari, R., Guest, S., Stoddard, E., Yeo, D., Bergin, C., Hardy, E., Thunder, J., Jhalli, P., Hartley, E., Jarvis, C., Swann, C., Reed, M., Gallagher, B., Grahamslaw, J., O'Brien, R., Harris, T., Bellhouse, G., Boulton, O., Skene, I., Stanley, A., Johnstone, J., Maguire, D., Thornton, S., Banks, M., Bercades, G., Marks, D., Ryu, J., Dowty, C., Pott, J., East, J., Bailey, A., Beer, S., Davies, S., Appelboam, A., Mackle, D., Small, J., Vorwerk, C., Atkins, R., Bradbury, I., Bryceland, C., McClelland, L., Thomas, M., Clayton, K., Michael, A., Haig, S., Al-Nahhas, S., Godfrey, T., Boger, P., Comer, R., Watkins, B., Afolabi, O., Afzal, S., Cowton, A., Everett, S., Fazakerley, R., Onoviran, F., Snook, J., Berry, J., Simpson, D., Keep, J., Cotton, H., Helyar, S., Rutter, M., Johnston, T., O'Rourke, L., Chan, L., Tambellini, J., Trodd, D., Shutt, J., Moreton, S., Oglesby, A., Boyle, A., Haeger, N., Hardwick, S., Kendall, J., Faulkner, B., Worner, R., Hearnshaw, S., Doona, M., Price, M., Hunter, L., Bell, M., Loureiro, V., Kehoe, A., Jefferey, A., Squire, R., Hartin, D., Bell, S., Newman, A., Gagg, J., Foot, J., Wakeford, S., May, G., Bartram, T., Cumpstay, P., Parker, L., Das, R., Pahary, S., Wright, G., Butt, G., Christmas, N., Wilson, S., Ashfaq, M., Chandler, L., Demetriou, C., Kaye, P., Carley, S., Brown, A., Jones, L., Whileman, A., Greenaway, J., Tregonning, J., Kuhrt, A., Goodacre, S., Jones, J., Owen, C., Mitra, A., Harper-Payne, A., Trudgill, N., Hayes, A., Butt, F., Clifford, G., Kinnon, A., Fowler, S., Pillay, K., Gidwani, S., McNair, A., Omer, O., de Weymarn, T., Amin, A., Martin, J., Mathieu, N., Barnes, S., Turvill, J., Sweeting, H., Draegebo, M., McNaught, M., Grocutt, M., Margalef, J., Humphrey, J., Jackson, R., Bellis, F., Hunt, J., Stevenson, A., Watson, N., Barden, S., Paterson, S., Macdonald, C., Hobday, D., Orugun, O., Allison, A., Dyer, T., McBride, S., Sawicki, W., Rayner, B., Flowerdew, L., Barbour, J., Klein, J., Hood, S., Palmer, N., de Wolff, J., Shenoy, A., Swallow, P., Srirajaskanthan, R., Arshad, S., Aslam, N., Bangash, A., Qamar, M., Zahoor, H., Arshad, S., ain Ghalib, Q., Hameed, T., Saif, T., Shafi, W., Ali, A., Khan, S., Muaaz, M., Taj, A., Ghafoor, A., Afridi, A., Ahmad, M., Aslam, M., Kumar, S., Ali, M., Bughio, U., Chang, A., Shaikh, S., Ahmad, S., Ali, Z., Waqar, M., Mushir, A., Sattar, S., Goraya, S., Aslam, S., Fatima, N., Noreen, S., Saleem, S., Rahman, F., Iqbal, N., Khalid, M., Riaz, U., Umar, M., Akhter, T., Khan, J., Misbah, N., Afzal, M., Kayani, M., Shah, S., Tarar, S., Khan, S., Iqbal, Y., Khan, E., Reki, M., Hussain, T., Iqbal, S., Khurram, M., Shafi, M., Shaikh, A., Ahmed, A., Kumar, A., Sachdev, P., Nasir, K. M., Chaudhry, Z. I., Zubair, M., Tayyab, G., Mushtaq, J., Nasir, M., Khan, A., Ali, A., Ali, S., Uddin, W., Ahmed, S., Kazmi, T., Channa, S., Aman, A., Shaikh, M., Rizvi, T., Hussain, A., Baqai, H. Z., Rasheed, Z., Khan, A., Irfan, A., Husain, A., Aslam, A., Yahya, K., Azhar, S., Ul Haq, M., Afzal, A., Imran, M., Saeed, I., Yusuf, A., Hassan, M., Marwat, M., Ishfaq, M., Bashir, T., Kumar, S., Yaqoob, S., Wahid, A., Fakoya, T., Oke, T., Tejan, E., Olaomi, O., Badejo, O., Nnaemaka, O., Ukwu, N., Arowolo, O., Aderounmu, A., Wuraola, F., Ugiagbe, R., Atiri, A., Eghaghe, E., Adekoya, A., Tade, A. O., Shonoiki, O., Olatoke, S., Raji, T., Ekwunife, C., Onyekpere, C., Ahmed, A., Muhammad, D., Odeghe, E., Lesi, O., Osueni, A., Samaila, A., Nahuche, A., Ajayi, A., Dongo, A., Ijoma, U., Adebanjo, A. T., Igetei, R., Yilkudi, M., Osisanya, K., Okeke, E. N., Enwere, O. O., Esmat, S., Ashoush, O., Naga, M., Nagy, F., Saiid, M., Shaker, A., Helmy, A., Saafan, S., Abdel Monem, M., Din, J., Azis, K., Brukan, M., Singh, S., Zakaria, A., Farid, S., Hashim, N., Mafauzy, M., Najmi, W., Amri, N., Yi, X., Hisyam, M., Ng, E., Ramli, Z., Yee Lim, S., Voon, K., Young Yam, S., Jahit, M., Joon, L., Melikidze, B., Kazaishvili, D., Grubelashvili, N., Mosidze, B., Tomadze, G., Megreladze, A., Oprita, R., Pestroiu Calescu, D., Chioncel, C., Ragea, A., Mateescu, B., Busuioc, B., Voiosu, A., Cotirlet, A., Pintilie, I., Jinga, M., Balaban, D., Tanău, M., Negreanu, L., Bataga, S., Priya, K., Baral, S., Anuj, K. C. A., Sah, V., Yadav, V., Abdo, A., Ahmed, D., Al Anazi, M., Al Balkhi, A., Álvarez Gregori, J., Fornieles Pérez, H. & Beqiri, A., 20 Jun 2020, In: The Lancet.

    Research output: Contribution to journalArticlepeer-review

  3. 'They only smoke in the house when I'm not in': understanding the limited effectiveness of a smoke-free homes intervention

    O'Donnell, R., Amos, A., Turner, S. W., Adams, L., Henderson, T., Lyttle, S., Mitchell, S. & Semple, S., 23 Apr 2020, In: Journal of Public Health.

    Research output: Contribution to journalArticlepeer-review

  4. 2019
  5. Achieving Self-Directed Integrated Cancer Aftercare (ASICA) in melanoma: protocol for a randomised patient-focused pilot trial of delivering the ASICA intervention as a means to earlier detection of recurrent and second primary melanoma

    Murchie, P., Masthoff, J., Walter, F. M., Rahman, K., Allan, J. L., Burrows, N., Proby, C., Lee, A. J., Johnston, M., Durrani, A., Depasquale, I., Brant, B., Neilson, A., Meredith, F., Treweek, S., Hall, S. & McDonald, A., 3 Jun 2019, In: Trials. 20, 1, p. 318

    Research output: Contribution to journalArticlepeer-review

  6. Who lives in Scotland’s care homes? Descriptive analysis using routinely collected social care data 2012–16

    Burton, J. K., Lynch, E., Love, S., Rintoul, J., Starr, J. M. & Shenkin, S. D., Mar 2019, In: Journal of the Royal College of Physicians of Edinburgh. 49, 1, p. 12-22

    Research output: Contribution to journalArticlepeer-review

  7. 2017
  8. The Tinker tool for graphical tactic development

    Grov, G. & Lin, Y., 17 Mar 2017, In: International Journal on Software Tools for Technology Transfer. p. 1-17 17 p.

    Research output: Contribution to journalArticlepeer-review

  9. 2016
  10. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

    Lin, Y., Grov, G. & Arthan, R., 15 Dec 2016, In: Journal of Formalized Reasoning. 9, 2, p. 69-130 62 p.

    Research output: Contribution to journalArticlepeer-review

  11. Mechanised Verification Patterns for Dafny

    Grov, G., Lin, Y. & Tumas, V., 8 Nov 2016, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, p. 326-343 18 p. (Lecture Notes in Computer Science ; vol. 9995).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 'The Tinker' for Rodin

    Liang, Y., Lin, Y. & Grov, G., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 262-268 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. A Super Industrial Application of PSGraph

    Lin, Y., Grov, G., O'Halloran, C. & G., P., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 319-325 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Developing and Debugging Proof Strategies by Tinkering

    Lin, Y., Bras, P. L. & Grov, G., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next