Research output per year
Research output per year
What are the theories which underlie the analysis and design of computer systems? How can these foundational theories be implemented and applied practically?
Person: Academic: Research Active
Person: Academic: Research Active
Person: Academic: Research Active
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Gorla, D. (Chair) & Libkin, L. (Chair)
Activity: Participating in or organising an event types › Participation in conference
Libkin, L. (Chair), Pichler, R. (Chair) & Guagliardo, P. (Chair)
Activity: Participating in or organising an event types › Participation in conference
Galpin, V. (Guest editor), Milazzo, P. (Guest editor) & Monreale, A. (Guest editor)
Activity: Publication peer-review and editorial work types › Editorial activity
David, C. (Recipient), Libkin, L. (Recipient) & Tan, T. (Recipient), 24 Mar 2011
Prize: Prize (including medals and awards)
Kashefi, E. (Principal Investigator), Heunen, C. (Co-investigator), Arapinis, M. (Co-investigator), Wallden, P. (Co-investigator) & Garcia-Patron Sanchez, R. (Co-Investigator (External))
1/04/23 → 31/03/26
Project: Research
Barbalace, A. (Principal Investigator), Shaikhha, A. (Co-investigator), Mai, L. (Co-investigator), Marina, M. (Co-investigator), O'Boyle, M. (Co-investigator) & Garcia-Patron Sanchez, R. (Co-investigator)
1/04/23 → 31/03/26
Project: Research
Kiayias, A. (Principal Investigator)
1/02/23 → 31/01/28
Project: Research
Parsert, J. (Creator) & Polgreen, E. (Creator), Zenodo, 14 Dec 2023
Dataset
Singh, P. (Creator), Barradas, D. (Creator), Elahi, T. (Creator) & Limam, N. (Creator), Zenodo, 9 Feb 2024
Dataset
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
Dataset
8/04/24 → 4/09/24
8 Media contributions
Press/Media: Research
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment