Research output per year
Research output per year
-
Applications of real number theorem proving in PVS
Gottliebsen, H., Hardy, R., Lightfoot, O. & Martin, U., Nov 2013, In: Formal Aspects of Computing. 25, 6, p. 993-1016 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
THE LAVA PROJECT: A SERVICE BASED APPROACH TO SUPPORTING EXPLORATORY LEARNING
Getchell, K., Miller, A. H. D., Allison, C., Hardy, R., Sweetman, R. & Crook, V., 1 Oct 2006, IADIS International Conference WWW/Internet. Murcia, SpainResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Small Steps, Big Impact: The Evolution of an Industrial Liaison Role
Ross, K. (Speaker) & Letham, R. (Speaker)
22 Jan 2026Activity: Talk or presentation types › Invited talk
-
Doors Open @ Computer Science 2025
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Ardati, A. A. (Participant), Dearle, A. (Participant), Connor, R. (Participant), Claydon, B. (Participant), Miller, A. (Participant), Sturdee, M. (Participant), Miguel, A. R. (Participant), Manataki, A. (Participant), Cassidy, C. A. (Participant), Pisani, S. (Participant), Brown, C. M. (Participant), Barwell, A. D. (Participant), Myles, C. G. G. (Participant), Harris-Birtill, D. C. C. (Participant), Morrison, D. (Participant), Balasubramaniam, D. (Participant), Dang, N. T. T. (Participant), Brady, E. C. (Participant), Terzic, K. (Participant), Kadi, H. A. (Participant), Oliver, I. A. (Participant), Kennedy, S. E. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Clarke, L. (Participant), Jacques, J. T. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Akgun, O. (Participant), Gent, I. P. (Participant), Jefferson, C. A. (Participant), Konovalov, O. (Participant), Loughney, J. P. (Participant), Letham, R. (Participant), Metcalfe, T. (Participant), Henderson, T. (Participant), Zhang, J. (Participant), Nguyen, R. (Participant), Halite, A. (Participant), Leal Teixeira Gondim Simao, A. (Participant), Ozkaya, A. (Participant), Powell, V. (Participant), Watson, H. (Participant), Nickson, M. (Participant), Sullivan, J. (Participant) & Michalovits, S. (Participant)
1 May 2025Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2024
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Halite, A. (Participant), Mann, A. (Participant), Dearle, A. (Participant), Banks, A. (Participant), Lin, A. (Participant), Boyce, A. (Participant), Manataki, A. (Participant), Singh, A. (Participant), Huang, A. (Participant), Eccles, B. J. (Participant), Claydon, B. (Participant), Varghese, B. (Participant), Clues, C. (Participant), Naughton, C. (Participant), Brown, C. M. (Participant), Myles, C. G. G. (Participant), Kennedy, D. (Participant), Morrison, D. (Participant), Saikumar, D. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Jenkins, E. (Participant), Spillane, E. (Participant), Leitner, F. (Participant), Haywood, G. T. (Participant), Rasheed, H. (Participant), Waller, J. (Participant), Herbert, J. (Participant), Espasa Arxer, J. (Participant), Williamson, J. (Participant), Loughney, J. (Participant), Zhang, J. (Participant), Wang, R. (Participant), Garriock, K. (Participant), Davies, K. (Participant), Clarke, L. (Participant), Laverty, L. (Participant), Andrei, M. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Martin, N. (Participant), Dewally, N. (Participant), Akgun, O. (Participant), Ng, P. (Participant), Connor, R. (Participant), Letham, R. (Participant), Kirkpatrick, R. (Participant), McQuistin, S. (Participant), Yuan, V. (Participant), Tronciu, V. (Participant), Law, Y. N. (Participant) & Zhang, Y. (Participant)
11 Apr 2024Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event