Browse by all authors Browse By Author Name - Kearney,+P

Browse Results (7 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Hamilton, N, Hazel, D, Kearney, P, Traynor, O and Wildman, L (1998). A complete formal development using Cogito. In: Proceedings of the 21st Australasian Computer Science Conference, Acsc'98. 21st Australasian Computer Science Conference (ACSC 98), Perth Australia, (319-330). Feb 04-06, 1998. 36   0
Buckley, C. M., Kearney, P. M., Bhuachalla, C. Ni, Casey, C., Ali, F., Roberts, G., Perry, I. J. and Bradley, C. P. (2013). A concordance study between hospital discharge data and medical records for the recording of lower extremity amputation and diabetes in the Republic of Ireland. In: Diabetic Medicine. , , (139-139). . 17   0
Robinson, N. J., Barney, D., Kearney, P. F., Nikandros, G. and Tombs, D. J. (2001). Automatic generation and verification of design specifications. In: H. Rochecouste and D. Cropley, 11th Annual International Symposium of the International Council on Systems Engineering. INCOSE 2001, Melbourne, Australia, (). 1-5 July 2001. 65  
Hawkins, NJ, Lees, J, Kearney, P, Clark, MA, Golovsky, D and Ward, RL (1996) Biological properties of renal oncocytoma cells in culture. Urologia Internationalis, 56 2: 69-74. 9   1
Casey, C., Buckley, C., Kearney, P., Ali, F., Ni Bhuachalla, C., Roberts, G., Perry, I and Bradley, C. (2014). Concordance studies between hospital discharge data (HIPE) and medical records. In: Proceedings of the RAMI Intern Section Meeting, Dublin, Ireland, (S194-S194). 18th January 2014. doi:10.1007/s11845-014-1153-9 11   0 0
Lawler, S., Owen, N., Spathonis, K., Eakin, E., Gallois, C., Leslie, E. and Kearney, P. (2006). Findings from the Physical Activity, Sun Protection and Sport (PASS) Project. In: Proceedings of the 8th Behavioural Research in Cancer Control Conference. 8th Behavioural Research in Cancer Control Conference, Brisbane, Qld, Australia, (). 27-29 September, 2006. 77  
Kearney, P. F. and Wildman, L. P. (1999). From formal specifications to Ada Programs. In: J. Edwards, Australian Computer Science Communications: 22nd Australasian Computer Science Conference (ACSC'99). ACSC'99, Auckland, NZ, (193-204). 18 - 21 Jan, 1999. 23