Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
An information security model for an IoT-enabled smart grid
Abeer Akkad, Gary Wills & Abdolbaghi Rezazadeh, 2022
DOI: 10.5220/0011042200003194
Type: conference
Developing the UML-B modelling tools
Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi & Dana Dghaym, 2022
Type: conference
Generating SPARK from Event-B, providing fundamental safety and security
Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler & Colin Snook, 2022
Type: conference
Open licensed AAC in a collaborative ecosystem
2022
DOI: 10.1007/978-3-031-08648-9_56
Type: conference
Coupling bulk phase separation of disordered proteins to membrane domain formation in molecular simulations on a bespoke compute fabric
Andrew Brown, Mark Vousden, Graeme McLachlan Bragg, Julian Shillcock, Jonathan Beaumont & David Barrie Thomas, 2021, Membranes, 12(1)
DOI: 10.3390/membranes12010017
Type: article
Similarity-aware CNN for efficient video recognition at the Edge
Mohammadamin Sabetsarvestani, Jonathon Hare, Bashir Al-Hashimi & Geoff Merrett, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11)
DOI: 10.1109/TCAD.2021.3136815
Type: article
GhostShiftAddNet: More Features from Energy-Efficient Operations
Jia Bi, Jonathon Hare & Geoff Merrett, 2021
Type: conference