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
-
Acceleration of Timing-Aware Gate-Level Logic Simulation Through One-Pass GPU Parallelism
Fang, W., Fu, Y., Gao, J., Guo, L., Gutin, G. & Zhang, X., 13 May 2025, (E-pub ahead of print) In: IEEE Transactions on Computers. p. 1-12 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile14 Downloads (Pure) -
A Conversation with A. Philip Dawid
Vovk, V. & Shafer, G., 2025, In: Statistical Science. 40, 1, p. 148-166 19 p.Research output: Contribution to journal › Article › peer-review
Open Access -
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
-
PhD industry scholarship on Machine Learning for Smart Transport
Nguyen, K. A. (PI) & Luo, Z. (CoI)
1/09/25 → 1/09/28
Project: Research
-
KTP between ROYAL HOLLOWAY AND BEDFORD NEW COLLEGE and DDM HEALTH LIMITED
Zhang, L. (PI) & Augustin, H. (CoI)
1/09/25 → 31/08/27
Project: Research
-
Revealing the secrets of neutron-star interiors with AI and the SKA
Graber, V. (Fellow), Colombo, N. (CoI), Cowan, B. (Mentor) & Saunders, J. (Mentor)
14/10/24 → 13/10/28
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.
Prizes
-
1st Prize in Cool Computing Competition
Nguyen, D. K. A. (Recipient), Mar 2009
Prize: Prize (including medals and awards)
-
1st Prize in National Programming Competition, Vietnam
Nguyen, D. K. A. (Recipient), Mar 2006
Prize: Prize (including medals and awards)
-
1st Prize in the XI National Software Competition, Vietnam
Nguyen, D. K. A. (Recipient), Aug 2005
Prize: Prize (including medals and awards)
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
-
OSTRICH: String Constraint Solver
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset