Research output per year
Research output per year
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Adrian Johnstone
- Department of Computer Science - Professor of Computing
- Centre for Software Language Engineering
- Centre for Programming Languages and Systems
Person: Staff - Academic staff, Academic
-
Parikh's Theorem Made Symbolic
Hague, M., Jeż, A. & Lin, A., 5 Jan 2024, Principles of Programming Languages. p. 1945-1977 33 p. 65Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile19 Downloads (Pure) -
A model of actors and grey failures
Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 22 Nov 2023, In: Logical Methods in Computer Science. 19, 4Research output: Contribution to journal › Article › peer-review
Open Access -
A Reference GLL Implementation
Johnstone, A., 23 Oct 2023, Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’23), October 23–24, 2023, Cascais, Portugal. ACM, p. 43-55 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile61 Downloads (Pure)
Projects
- 6 Finished
-
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. & Hurley-Smith, D.
1/10/22 → 31/03/23
Project: Research
-
Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina
Engelmann, S., Kuenzel, S., Tisan, A., Fisher, R., Lowry, D., Nisbet-Jones, P., Adey, P., Clemitshaw, K., France, J. & Johnstone, A.
1/04/20 → 31/07/21
Project: Research
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC
6/01/20 → 30/11/23
Project: Research
-
ACM/IEEE Symposium on Logic in Computer Science
Matthew Hague (Member of programme committee)
2 Aug 2023 → 5 Aug 2023Activity: Participating in or organising an event › Participation in conference
-
Principles of Programming Languages
Matthew Hague (Member of programme committee)
16 Jan 2022 → 22 Jan 2022Activity: Participating in or organising an event › Participation in conference
-
Reachability Problems
Matthew Hague (Member of programme committee)
25 Oct 2021 → 27 Oct 2021Activity: Participating in or organising an event › Participation in conference
Datasets
-
A reference GLL implementation - code base
Johnstone, A. (Creator), Royal Holloway, University of London, 20 Oct 2023
https://github.com/AJohnstone2007/referenceImplementation
Dataset
-
A Reference GLL Implementation - language corpora repository
Johnstone, A. (Creator) & Scott, E. (Other), Royal Holloway, University of London, 23 Oct 2023
https://github.com/AJohnstone2007/referenceLanguageCorpora
Dataset