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
-
Francisco Ferreira Ruiz
- Department of Computer Science - Lecturer in Computer Science
- Centre for Programming Languages and Systems
Person: Staff - Academic staff
-
Adaptive Strategy Templates using Deep Reinforcement Learning for Multi-Issue Bilateral Negotiation
Bagga, P., Paoletti, N. & Stathis, K., 28 Mar 2025, In: Neurocomputing. 623, 16 p., 129381.Research output: Contribution to journal › Article › peer-review
Open Access -
A Formalisation of Aristotle’s Assertoric Syllogistic in Isabelle/HOL
Koutsoukou-Argyraki, A. & Wapniarski, K., 18 Apr 2025, In: Topoi: An International Review of Philosophy.Research output: Contribution to journal › Article › peer-review
Open Access -
Approximating Human Strategic Reasoning with LLM-Enhanced Recursive Reasoners Leveraging Multi-agent Hypergames
Trencsenyi, V., Mensfelt, A. & Stathis, K., 23 Mar 2025, (Accepted/In press) The 26th International Workshop on Multi-Agent-Based Simulation.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
REDONDA: A Next-generation Byzantine State-Machine Replication Protocol for Blockchain.
O'Keeffe, D. (PI)
Eng & Phys Sci Res Council EPSRC
1/03/24 → 28/02/27
Project: Research
-
iRealHAT-PEGA: Informed real-time human-agent teaming through patterns of eye gaze allocation
Durant, S. (PI) & Stathis, K. (CoPI)
Air Force Office of Scientific Research
1/11/22 → 31/10/25
Project: Research
-
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. (PI) & Hurley-Smith, D. (CoI)
1/10/22 → 31/03/23
Project: Research
Activities
-
International Colloquium on Automata, Languages and Programming and ACM Symposium on Principles of Distributed Computing and ACM Symposium on Parallelism in Algorithms and Architectures
Hague, M. (Organiser)
6 Jul 2026 → 10 Jul 2026Activity: Participating in or organising an event › Participation in a conference
-
Principles of Programming Languages
Hague, M. (Member of programme committee)
11 Jan 2026 → 17 Jan 2026Activity: Participating in or organising an event › Participation in a conference
-
Meeting on String Constraints and Applications
Hague, M. (Organiser), Lengál, O. (Organiser) & Day, J. (Organiser)
22 Jul 2025Activity: Participating in or organising an event › Workshop, seminar, course or webinar.
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